| drwxr-xr-x | 4096 | root |
root |
/usr/share/flint
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/flint
|
| -rw-r--r-- | 368142 | root |
root |
/usr/share/doc/flint/flint-1.3.0.pdf
|
| -rw-r--r-- | 122397 | root |
root |
/usr/share/doc/flint/flint-1.3.0.tex
|
| -rw-r--r-- | 6231 | root |
root |
/usr/share/doc/flint/flint-1.3.0.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 | 9936 | root |
root |
/usr/share/flint/bin/BPTJCubes
|
| -rwxr-xr-x | 38836 | root |
root |
/usr/share/flint/bin/F_mpz-test
|
| -rwxr-xr-x | 24984 | root |
root |
/usr/share/flint/bin/ZmodF-test
|
| -rwxr-xr-x | 14208 | root |
root |
/usr/share/flint/bin/ZmodF_mul-profile
|
| -rwxr-xr-x | 16804 | root |
root |
/usr/share/flint/bin/ZmodF_mul-test
|
| -rwxr-xr-x | 11664 | root |
root |
/usr/share/flint/bin/ZmodF_mul-tune
|
| -rwxr-xr-x | 14144 | root |
root |
/usr/share/flint/bin/ZmodF_poly-profile
|
| -rwxr-xr-x | 23060 | root |
root |
/usr/share/flint/bin/ZmodF_poly-test
|
| -rwxr-xr-x | 4968 | root |
root |
/usr/share/flint/bin/Zmul
|
| -rwxr-xr-x | 6700 | root |
root |
/usr/share/flint/bin/bernoulli_zmod
|
| -rwxr-xr-x | 5128 | root |
root |
/usr/share/flint/bin/delta_qexp
|
| -rwxr-xr-x | 4032 | root |
root |
/usr/share/flint/bin/expmod
|
| -rwxr-xr-x | 52692 | root |
root |
/usr/share/flint/bin/fmpz-test
|
| -rwxr-xr-x | 31180 | root |
root |
/usr/share/flint/bin/fmpz_poly-profile
|
| -rwxr-xr-x | 256512 | root |
root |
/usr/share/flint/bin/fmpz_poly-test
|
| -rwxr-xr-x | 8344 | root |
root |
/usr/share/flint/bin/kara-profile
|
| -rwxr-xr-x | 42968 | root |
root |
/usr/share/flint/bin/long_extras-test
|
| -rwxr-xr-x | 33836 | root |
root |
/usr/share/flint/bin/mpQS
|
| -rwxr-xr-x | 11584 | root |
root |
/usr/share/flint/bin/mpn_extras-test
|
| -rwxr-xr-x | 14252 | root |
root |
/usr/share/flint/bin/mpz_poly-profile
|
| -rwxr-xr-x | 20316 | root |
root |
/usr/share/flint/bin/mpz_poly-test
|
| -rwxr-xr-x | 8532 | root |
root |
/usr/share/flint/bin/mpz_poly-tune
|
| -rwxr-xr-x | 6908 | root |
root |
/usr/share/flint/bin/zmod_mat-test
|
| -rwxr-xr-x | 109116 | root |
root |
/usr/share/flint/bin/zmod_poly-test
|
| -rw-r--r-- | 3989 | root |
root |
/usr/share/flint/graphing/compare1d.py
|
| -rw-r--r-- | 2128 | root |
root |
/usr/share/flint/graphing/compare1d_config.py
|
| -rw-r--r-- | 5594 | root |
root |
/usr/share/flint/graphing/compare2d.py
|
| -rw-r--r-- | 3003 | root |
root |
/usr/share/flint/graphing/compare2d_config.py
|
| -rw-r--r-- | 4472 | root |
root |
/usr/share/flint/pari-profiles/pari-profile-factor.txt
|
| -rw-r--r-- | 4640 | root |
root |
/usr/share/flint/pari-profiles/pari-profile.p
|
