drwxr-xr-x | 4096 | root |
root |
/usr/share/flint
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/flint
|
-rw-r--r-- | 304848 | root |
root |
/usr/share/doc/flint/flint-1.0.21.pdf
|
-rw-r--r-- | 94882 | root |
root |
/usr/share/doc/flint/flint-1.0.21.tex
|
-rw-r--r-- | 5616 | root |
root |
/usr/share/doc/flint/flint-1.0.21.toc
|
-rw-r--r-- | 17611 | root |
root |
/usr/share/doc/flint/flint-roadmap.tex
|
-rw-r--r-- | 29849 | root |
root |
/usr/share/doc/flint/mpz_poly.tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/flint/bin
|
lrwxrwxrwx | 28 | root |
root |
/usr/share/flint/doc
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/flint/graphing
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/flint/pari-profiles
|
-rwxr-xr-x | 32480 | root |
root |
/usr/share/flint/bin/BPTJCubes
|
-rwxr-xr-x | 27488 | root |
root |
/usr/share/flint/bin/ZmodF-test
|
-rwxr-xr-x | 19600 | root |
root |
/usr/share/flint/bin/ZmodF_mul-profile
|
-rwxr-xr-x | 16528 | root |
root |
/usr/share/flint/bin/ZmodF_mul-test
|
-rwxr-xr-x | 15176 | root |
root |
/usr/share/flint/bin/ZmodF_mul-tune
|
-rwxr-xr-x | 15328 | root |
root |
/usr/share/flint/bin/ZmodF_poly-profile
|
-rwxr-xr-x | 24896 | root |
root |
/usr/share/flint/bin/ZmodF_poly-test
|
-rwxr-xr-x | 286688 | root |
root |
/usr/share/flint/bin/Zmul
|
-rwxr-xr-x | 8296 | root |
root |
/usr/share/flint/bin/bernoulli_zmod
|
-rwxr-xr-x | 6872 | root |
root |
/usr/share/flint/bin/delta_qexp
|
-rwxr-xr-x | 5472 | root |
root |
/usr/share/flint/bin/expmod
|
-rwxr-xr-x | 30312 | root |
root |
/usr/share/flint/bin/fmpz-test
|
-rwxr-xr-x | 32536 | root |
root |
/usr/share/flint/bin/fmpz_poly-profile
|
-rwxr-xr-x | 160568 | root |
root |
/usr/share/flint/bin/fmpz_poly-test
|
-rwxr-xr-x | 11024 | root |
root |
/usr/share/flint/bin/kara-profile
|
-rwxr-xr-x | 42504 | root |
root |
/usr/share/flint/bin/long_extras-test
|
-rwxr-xr-x | 68848 | root |
root |
/usr/share/flint/bin/mpQS
|
-rwxr-xr-x | 12864 | root |
root |
/usr/share/flint/bin/mpn_extras-test
|
-rwxr-xr-x | 19504 | root |
root |
/usr/share/flint/bin/mpz_poly-profile
|
-rwxr-xr-x | 23376 | root |
root |
/usr/share/flint/bin/mpz_poly-test
|
-rwxr-xr-x | 10984 | root |
root |
/usr/share/flint/bin/mpz_poly-tune
|
-rwxr-xr-x | 29568 | root |
root |
/usr/share/flint/bin/zmod_poly-test
|
-rw-r--r-- | 4136 | root |
root |
/usr/share/flint/graphing/compare1d.py
|
-rw-r--r-- | 2193 | root |
root |
/usr/share/flint/graphing/compare1d_config.py
|
-rw-r--r-- | 5789 | root |
root |
/usr/share/flint/graphing/compare2d.py
|
-rw-r--r-- | 3092 | root |
root |
/usr/share/flint/graphing/compare2d_config.py
|
-rw-r--r-- | 4849 | root |
root |
/usr/share/flint/pari-profiles/pari-profile.p
|