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-- | 1947 | root |
root |
/usr/include/flint/NTL-interface.h
|
-rw-r--r-- | 13223 | root |
root |
/usr/include/flint/ZmodF.h
|
-rw-r--r-- | 1957 | root |
root |
/usr/include/flint/ZmodF_mul-tuning.h
|
-rw-r--r-- | 6472 | root |
root |
/usr/include/flint/ZmodF_mul.h
|
-rw-r--r-- | 11671 | root |
root |
/usr/include/flint/ZmodF_poly.h
|
-rw-r--r-- | 4596 | root |
root |
/usr/include/flint/flint.h
|
-rw-r--r-- | 8152 | root |
root |
/usr/include/flint/fmpz.h
|
-rw-r--r-- | 44252 | root |
root |
/usr/include/flint/fmpz_poly.h
|
-rw-r--r-- | 8690 | root |
root |
/usr/include/flint/long_extras.h
|
-rw-r--r-- | 69782 | root |
root |
/usr/include/flint/longlong.h
|
-rw-r--r-- | 1692 | root |
root |
/usr/include/flint/longlong_wrapper.h
|
-rw-r--r-- | 1853 | root |
root |
/usr/include/flint/memory-manager.h
|
-rw-r--r-- | 6904 | root |
root |
/usr/include/flint/mpn_extras.h
|
-rw-r--r-- | 3762 | root |
root |
/usr/include/flint/mpz_extras.h
|
-rw-r--r-- | 1709 | root |
root |
/usr/include/flint/mpz_poly-tuning.h
|
-rw-r--r-- | 12629 | root |
root |
/usr/include/flint/mpz_poly.h
|
-rw-r--r-- | 3099 | root |
root |
/usr/include/flint/profiler-main.h
|
-rw-r--r-- | 4618 | root |
root |
/usr/include/flint/profiler.h
|
-rw-r--r-- | 2332 | root |
root |
/usr/include/flint/test-support.h
|
-rw-r--r-- | 15617 | root |
root |
/usr/include/flint/zmod_poly.h
|
lrwxrwxrwx | 18 | root |
root |
/usr/lib64/libflint.so
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/libflint-devel
|
-rw-r--r-- | 4466 | root |
root |
/usr/share/doc/libflint-devel/CHANGES.txt
|