drwxr-xr-x | 4096 | root |
root |
/usr/lib64/4ti2
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/4ti2/bin
|
-rwxr-xr-x | 28800 | root |
root |
/usr/lib64/4ti2/bin/4ti2gmp
|
-rwxr-xr-x | 28800 | root |
root |
/usr/lib64/4ti2/bin/4ti2int32
|
-rwxr-xr-x | 28800 | root |
root |
/usr/lib64/4ti2/bin/4ti2int64
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/circuits
|
-rwxr-xr-x | 7160 | root |
root |
/usr/lib64/4ti2/bin/genmodel
|
-rwxr-xr-x | 7160 | root |
root |
/usr/lib64/4ti2/bin/gensymm
|
-rwxr-xr-x | 465 | root |
root |
/usr/lib64/4ti2/bin/graver
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/groebner
|
-rwxr-xr-x | 465 | root |
root |
/usr/lib64/4ti2/bin/hilbert
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/markov
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/minimize
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/normalform
|
-rwxr-xr-x | 7168 | root |
root |
/usr/lib64/4ti2/bin/output
|
-rwxr-xr-x | 36792 | root |
root |
/usr/lib64/4ti2/bin/ppi
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/qsolve
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/rays
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/walk
|
-rwxr-xr-x | 2369 | root |
root |
/usr/lib64/4ti2/bin/zbasis
|
-rwxr-xr-x | 11648 | root |
root |
/usr/lib64/4ti2/bin/zsolve
|
-rw-r--r-- | 119 | root |
root |
/usr/share/Modules/modulefiles/4ti2-x86_64
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/4ti2-1.5
|
-rw-rw-r-- | 180189 | root |
root |
/usr/share/doc/4ti2-1.5/4ti2_manual.pdf
|