lrwxrwxrwx | 23 | root |
root |
/usr/include/FLINT
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/flint
|
-rw-r--r-- | 1532 | root |
root |
/usr/include/flint/F_mpn_mul-tuning.h
|
-rw-r--r-- | 14892 | root |
root |
/usr/include/flint/F_mpz.h
|
-rw-r--r-- | 2145 | 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-- | 1007 | root |
root |
/usr/include/flint/d_mat.h
|
-rw-r--r-- | 4991 | root |
root |
/usr/include/flint/flint.h
|
-rw-r--r-- | 9944 | root |
root |
/usr/include/flint/fmpz.h
|
-rw-r--r-- | 2318 | root |
root |
/usr/include/flint/fmpz_montgomery.h
|
-rw-r--r-- | 48147 | root |
root |
/usr/include/flint/fmpz_poly.h
|
-rw-r--r-- | 9450 | root |
root |
/usr/include/flint/long_extras.h
|
-rw-r--r-- | 67923 | root |
root |
/usr/include/flint/longlong.h
|
-rw-r--r-- | 1637 | root |
root |
/usr/include/flint/longlong_wrapper.h
|
-rw-r--r-- | 1792 | root |
root |
/usr/include/flint/memory-manager.h
|
-rw-r--r-- | 6781 | root |
root |
/usr/include/flint/mpn_extras.h
|
-rw-r--r-- | 3635 | root |
root |
/usr/include/flint/mpz_extras.h
|
-rw-r--r-- | 2297 | root |
root |
/usr/include/flint/mpz_mat.h
|
-rw-r--r-- | 1657 | root |
root |
/usr/include/flint/mpz_poly-tuning.h
|
-rw-r--r-- | 12229 | root |
root |
/usr/include/flint/mpz_poly.h
|
-rw-r--r-- | 14075 | root |
root |
/usr/include/flint/packed_vec.h
|
-rw-r--r-- | 3006 | root |
root |
/usr/include/flint/profiler-main.h
|
-rw-r--r-- | 5306 | root |
root |
/usr/include/flint/profiler.h
|
-rw-r--r-- | 2743 | root |
root |
/usr/include/flint/test-support.h
|
-rw-r--r-- | 2664 | root |
root |
/usr/include/flint/theta.h
|
-rw-r--r-- | 5220 | root |
root |
/usr/include/flint/zmod_mat.h
|
-rw-r--r-- | 24095 | root |
root |
/usr/include/flint/zmod_poly.h
|
lrwxrwxrwx | 17 | root |
root |
/usr/lib/libflint.so
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/libflint-devel
|
-rw-r--r-- | 11789 | root |
root |
/usr/share/doc/libflint-devel/CHANGES.txt
|