lrwxrwxrwx | 5 | root |
root |
/usr/include/FLINT
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/flint
|
-rw-r--r-- | 1583 | root |
root |
/usr/include/flint/F_mpn_mul-tuning.h
|
-rw-r--r-- | 20028 | root |
root |
/usr/include/flint/F_mpz.h
|
-rw-r--r-- | 2237 | root |
root |
/usr/include/flint/NTL-interface.h
|
-rw-r--r-- | 12662 | root |
root |
/usr/include/flint/ZmodF.h
|
-rw-r--r-- | 1899 | root |
root |
/usr/include/flint/ZmodF_mul-tuning.h
|
-rw-r--r-- | 6278 | root |
root |
/usr/include/flint/ZmodF_mul.h
|
-rw-r--r-- | 11303 | root |
root |
/usr/include/flint/ZmodF_poly.h
|
-rw-r--r-- | 5148 | root |
root |
/usr/include/flint/flint.h
|
-rw-r--r-- | 10110 | root |
root |
/usr/include/flint/fmpz.h
|
-rw-r--r-- | 2386 | root |
root |
/usr/include/flint/fmpz_montgomery.h
|
-rw-r--r-- | 48156 | root |
root |
/usr/include/flint/fmpz_poly.h
|
-rw-r--r-- | 9572 | root |
root |
/usr/include/flint/long_extras.h
|
-rw-r--r-- | 69782 | root |
root |
/usr/include/flint/longlong.h
|
-rw-r--r-- | 1637 | root |
root |
/usr/include/flint/longlong_wrapper.h
|
-rw-r--r-- | 1853 | root |
root |
/usr/include/flint/memory-manager.h
|
-rw-r--r-- | 6983 | root |
root |
/usr/include/flint/mpn_extras.h
|
-rw-r--r-- | 3762 | root |
root |
/usr/include/flint/mpz_extras.h
|
-rw-r--r-- | 1657 | root |
root |
/usr/include/flint/mpz_poly-tuning.h
|
-rw-r--r-- | 12261 | root |
root |
/usr/include/flint/mpz_poly.h
|
-rw-r--r-- | 3006 | root |
root |
/usr/include/flint/profiler-main.h
|
-rw-r--r-- | 5526 | root |
root |
/usr/include/flint/profiler.h
|
-rw-r--r-- | 2833 | root |
root |
/usr/include/flint/test-support.h
|
-rw-r--r-- | 2742 | root |
root |
/usr/include/flint/theta.h
|
-rw-r--r-- | 5386 | root |
root |
/usr/include/flint/zmod_mat.h
|
-rw-r--r-- | 28208 | root |
root |
/usr/include/flint/zmod_poly.h
|
lrwxrwxrwx | 13 | root |
root |
/usr/lib/libflint.so
|