| drwxr-xr-x | 4096 | root |
root |
/usr/include/4ti2
|
| drwxr-xr-x | 4096 | root |
root |
/usr/include/4ti2/4ti2
|
| drwxr-xr-x | 4096 | root |
root |
/usr/include/4ti2/groebner
|
| drwxr-xr-x | 4096 | root |
root |
/usr/include/4ti2/util
|
| drwxr-xr-x | 4096 | root |
root |
/usr/include/4ti2/zsolve
|
| -rw-r--r-- | 4953 | root |
root |
/usr/include/4ti2/4ti2/4ti2.h
|
| -rw-r--r-- | 533 | root |
root |
/usr/include/4ti2/4ti2/4ti2_config.h
|
| -rw-r--r-- | 2451 | root |
root |
/usr/include/4ti2/4ti2/4ti2xx.h
|
| -rw-r--r-- | 1326 | root |
root |
/usr/include/4ti2/groebner/Algorithm.h
|
| -rw-r--r-- | 1344 | root |
root |
/usr/include/4ti2/groebner/BasicCompletion.h
|
| -rw-r--r-- | 1442 | root |
root |
/usr/include/4ti2/groebner/BasicGeneration.h
|
| -rw-r--r-- | 1338 | root |
root |
/usr/include/4ti2/groebner/BasicOptions.h
|
| -rw-r--r-- | 1504 | root |
root |
/usr/include/4ti2/groebner/BasicReduction.h
|
| -rw-r--r-- | 15551 | root |
root |
/usr/include/4ti2/groebner/Binomial.h
|
| -rw-r--r-- | 2708 | root |
root |
/usr/include/4ti2/groebner/BinomialArray.h
|
| -rw-r--r-- | 1096 | root |
root |
/usr/include/4ti2/groebner/BinomialArrayStream.h
|
| -rw-r--r-- | 1336 | root |
root |
/usr/include/4ti2/groebner/BinomialCollection.h
|
| -rw-r--r-- | 3199 | root |
root |
/usr/include/4ti2/groebner/BinomialFactory.h
|
| -rw-r--r-- | 4037 | root |
root |
/usr/include/4ti2/groebner/BinomialSet.h
|
| -rw-r--r-- | 1088 | root |
root |
/usr/include/4ti2/groebner/BinomialSetStream.h
|
| -rw-r--r-- | 1093 | root |
root |
/usr/include/4ti2/groebner/BinomialStream.h
|
| -rw-r--r-- | 1118 | root |
root |
/usr/include/4ti2/groebner/BitSet.h
|
| -rw-r--r-- | 1196 | root |
root |
/usr/include/4ti2/groebner/BitSetStream.h
|
| -rw-r--r-- | 2649 | root |
root |
/usr/include/4ti2/groebner/Bounded.h
|
| -rw-r--r-- | 3649 | root |
root |
/usr/include/4ti2/groebner/CircuitImplementation.h
|
| -rw-r--r-- | 10231 | root |
root |
/usr/include/4ti2/groebner/CircuitImplementation.tpp
|
| -rw-r--r-- | 3162 | root |
root |
/usr/include/4ti2/groebner/CircuitMatrixAlgorithm.h
|
| -rw-r--r-- | 21922 | root |
root |
/usr/include/4ti2/groebner/CircuitMatrixAlgorithm.tpp
|
| -rw-r--r-- | 1510 | root |
root |
/usr/include/4ti2/groebner/CircuitOptions.h
|
| -rw-r--r-- | 2654 | root |
root |
/usr/include/4ti2/groebner/CircuitSupportAlgorithm.h
|
| -rw-r--r-- | 21425 | root |
root |
/usr/include/4ti2/groebner/CircuitSupportAlgorithm.tpp
|
| -rw-r--r-- | 1299 | root |
root |
/usr/include/4ti2/groebner/CircuitsAPI.h
|
| -rw-r--r-- | 2707 | root |
root |
/usr/include/4ti2/groebner/Completion.h
|
| -rw-r--r-- | 1377 | root |
root |
/usr/include/4ti2/groebner/DataType.h
|
| -rw-r--r-- | 970 | root |
root |
/usr/include/4ti2/groebner/Debug.h
|
| -rw-r--r-- | 1475 | root |
root |
/usr/include/4ti2/groebner/DiagonalAlgorithm.h
|
| -rw-r--r-- | 2921 | root |
root |
/usr/include/4ti2/groebner/DiagonalAlgorithm.tpp
|
| -rw-r--r-- | 1203 | root |
root |
/usr/include/4ti2/groebner/EliminateAlgorithm.h
|
| -rw-r--r-- | 1696 | root |
root |
/usr/include/4ti2/groebner/Euclidean.h
|
| -rw-r--r-- | 1285 | root |
root |
/usr/include/4ti2/groebner/Extract.h
|
| -rw-r--r-- | 3290 | root |
root |
/usr/include/4ti2/groebner/Feasible.h
|
| -rw-r--r-- | 1143 | root |
root |
/usr/include/4ti2/groebner/FeasibleStream.h
|
| -rw-r--r-- | 972 | root |
root |
/usr/include/4ti2/groebner/Filter.h
|
| -rw-r--r-- | 2166 | root |
root |
/usr/include/4ti2/groebner/FilterReduction.h
|
| -rw-r--r-- | 1150 | root |
root |
/usr/include/4ti2/groebner/FlipCompletion.h
|
| -rw-r--r-- | 1384 | root |
root |
/usr/include/4ti2/groebner/GeneratingSet.h
|
| -rw-r--r-- | 1452 | root |
root |
/usr/include/4ti2/groebner/Generation.h
|
| -rw-r--r-- | 1627 | root |
root |
/usr/include/4ti2/groebner/Globals.h
|
| -rw-r--r-- | 1055 | root |
root |
/usr/include/4ti2/groebner/Grading.h
|
| -rw-r--r-- | 1592 | root |
root |
/usr/include/4ti2/groebner/GroebnerBasis.h
|
| -rw-r--r-- | 2416 | root |
root |
/usr/include/4ti2/groebner/HermiteAlgorithm.h
|
| -rw-r--r-- | 5357 | root |
root |
/usr/include/4ti2/groebner/HermiteAlgorithm.tpp
|
| -rw-r--r-- | 1796 | root |
root |
/usr/include/4ti2/groebner/HybridGenSet.h
|
| -rw-r--r-- | 960 | root |
root |
/usr/include/4ti2/groebner/Index.h
|
| -rw-r--r-- | 1082 | root |
root |
/usr/include/4ti2/groebner/IndexBinomialSet.h
|
| -rw-r--r-- | 1280 | root |
root |
/usr/include/4ti2/groebner/IndexSetConverter.h
|
| -rw-r--r-- | 1592 | root |
root |
/usr/include/4ti2/groebner/LatticeBasis.h
|
| -rw-r--r-- | 17686 | root |
root |
/usr/include/4ti2/groebner/LongDenseIndexSet.h
|
| -rw-r--r-- | 1505 | root |
root |
/usr/include/4ti2/groebner/LongDenseIndexSetStream.h
|
| -rw-r--r-- | 1807 | root |
root |
/usr/include/4ti2/groebner/Markov.h
|
| -rw-r--r-- | 2667 | root |
root |
/usr/include/4ti2/groebner/MaxMinGenSet.h
|
| -rw-r--r-- | 1609 | root |
root |
/usr/include/4ti2/groebner/Minimize.h
|
| -rw-r--r-- | 1356 | root |
root |
/usr/include/4ti2/groebner/MinimizeOptions.h
|
| -rw-r--r-- | 1851 | root |
root |
/usr/include/4ti2/groebner/OnesReduction.h
|
| -rw-r--r-- | 3912 | root |
root |
/usr/include/4ti2/groebner/OnesTree.h
|
| -rw-r--r-- | 8973 | root |
root |
/usr/include/4ti2/groebner/OnesTree.tpp
|
| -rw-r--r-- | 2433 | root |
root |
/usr/include/4ti2/groebner/Optimise.h
|
| -rw-r--r-- | 1308 | root |
root |
/usr/include/4ti2/groebner/Options.h
|
| -rw-r--r-- | 1550 | root |
root |
/usr/include/4ti2/groebner/OrderedCompletion.h
|
| -rw-r--r-- | 1030 | root |
root |
/usr/include/4ti2/groebner/Permutation.h
|
| -rw-r--r-- | 2628 | root |
root |
/usr/include/4ti2/groebner/ProjectLiftGenSet.h
|
| -rw-r--r-- | 2115 | root |
root |
/usr/include/4ti2/groebner/QSolveAPI.h
|
| -rw-r--r-- | 3403 | root |
root |
/usr/include/4ti2/groebner/QSolveAlgorithm.h
|
| -rw-r--r-- | 1045 | root |
root |
/usr/include/4ti2/groebner/QSolveConsOrder.h
|
| -rw-r--r-- | 1015 | root |
root |
/usr/include/4ti2/groebner/QSolveVariant.h
|
| -rw-r--r-- | 1455 | root |
root |
/usr/include/4ti2/groebner/RayAlgorithm.h
|
| -rw-r--r-- | 4846 | root |
root |
/usr/include/4ti2/groebner/RayImplementation.h
|
| -rw-r--r-- | 10110 | root |
root |
/usr/include/4ti2/groebner/RayImplementation.tpp
|
| -rw-r--r-- | 3364 | root |
root |
/usr/include/4ti2/groebner/RayMatrixAlgorithm.h
|
| -rw-r--r-- | 33413 | root |
root |
/usr/include/4ti2/groebner/RayMatrixAlgorithm.tpp
|
| -rw-r--r-- | 2676 | root |
root |
/usr/include/4ti2/groebner/RaySupportAlgorithm.h
|
| -rw-r--r-- | 47532 | root |
root |
/usr/include/4ti2/groebner/RaySupportAlgorithm.tpp
|
| -rw-r--r-- | 1279 | root |
root |
/usr/include/4ti2/groebner/RaysAPI.h
|
| -rw-r--r-- | 1266 | root |
root |
/usr/include/4ti2/groebner/Reduction.h
|
| -rw-r--r-- | 2876 | root |
root |
/usr/include/4ti2/groebner/SaturationGenSet.h
|
| -rw-r--r-- | 12624 | root |
root |
/usr/include/4ti2/groebner/ShortDenseIndexSet.h
|
| -rw-r--r-- | 1514 | root |
root |
/usr/include/4ti2/groebner/ShortDenseIndexSetStream.h
|
| -rw-r--r-- | 992 | root |
root |
/usr/include/4ti2/groebner/SignPattern.h
|
| -rw-r--r-- | 957 | root |
root |
/usr/include/4ti2/groebner/Size.h
|
| -rw-r--r-- | 3307 | root |
root |
/usr/include/4ti2/groebner/Statistics.h
|
| -rw-r--r-- | 4504 | root |
root |
/usr/include/4ti2/groebner/SupportTree.h
|
| -rw-r--r-- | 8723 | root |
root |
/usr/include/4ti2/groebner/SupportTree.tpp
|
| -rw-r--r-- | 1627 | root |
root |
/usr/include/4ti2/groebner/SyzygyCompletion.h
|
| -rw-r--r-- | 1900 | root |
root |
/usr/include/4ti2/groebner/SyzygyGeneration.h
|
| -rw-r--r-- | 2360 | root |
root |
/usr/include/4ti2/groebner/TermOrder.h
|
| -rw-r--r-- | 1229 | root |
root |
/usr/include/4ti2/groebner/Timer.h
|
| -rw-r--r-- | 1085 | root |
root |
/usr/include/4ti2/groebner/Truncate.h
|
| -rw-r--r-- | 15910 | root |
root |
/usr/include/4ti2/groebner/Vector.h
|
| -rw-r--r-- | 7085 | root |
root |
/usr/include/4ti2/groebner/VectorArray.h
|
| -rw-r--r-- | 3851 | root |
root |
/usr/include/4ti2/groebner/VectorArrayAPI.h
|
| -rw-r--r-- | 1524 | root |
root |
/usr/include/4ti2/groebner/VectorArrayStream.h
|
| -rw-r--r-- | 1490 | root |
root |
/usr/include/4ti2/groebner/VectorStream.h
|
| -rw-r--r-- | 1857 | root |
root |
/usr/include/4ti2/groebner/WalkAlgorithm.h
|
| -rw-r--r-- | 1332 | root |
root |
/usr/include/4ti2/groebner/WalkOptions.h
|
| -rw-r--r-- | 1025 | root |
root |
/usr/include/4ti2/groebner/Weight.h
|
| -rw-r--r-- | 2244 | root |
root |
/usr/include/4ti2/groebner/WeightAlgorithm.h
|
| -rw-r--r-- | 2071 | root |
root |
/usr/include/4ti2/groebner/WeightedBinomialSet.h
|
| -rw-r--r-- | 1981 | root |
root |
/usr/include/4ti2/groebner/WeightedReduction.h
|
| -rw-r--r-- | 32 | root |
root |
/usr/include/4ti2/util/genmodel.h
|
| -rw-r--r-- | 31 | root |
root |
/usr/include/4ti2/util/gensymm.h
|
| -rw-r--r-- | 3154 | root |
root |
/usr/include/4ti2/util/myheader.h
|
| -rw-r--r-- | 1865 | root |
root |
/usr/include/4ti2/util/orbit.h
|
| -rw-r--r-- | 142 | root |
root |
/usr/include/4ti2/util/output.h
|
| -rw-r--r-- | 2531 | root |
root |
/usr/include/4ti2/util/print.h
|
| -rw-r--r-- | 5054 | root |
root |
/usr/include/4ti2/util/vector.h
|
| -rw-r--r-- | 35366 | root |
root |
/usr/include/4ti2/zsolve/Algorithm.hpp
|
| -rw-r--r-- | 1876 | root |
root |
/usr/include/4ti2/zsolve/BitSet.h
|
| -rw-r--r-- | 2189 | root |
root |
/usr/include/4ti2/zsolve/BoundAPI.hpp
|
| -rw-r--r-- | 2582 | root |
root |
/usr/include/4ti2/zsolve/Controller.hpp
|
| -rw-r--r-- | 15063 | root |
root |
/usr/include/4ti2/zsolve/DefaultController.hpp
|
| -rw-r--r-- | 1706 | root |
root |
/usr/include/4ti2/zsolve/Exception.h
|
| -rw-r--r-- | 2731 | root |
root |
/usr/include/4ti2/zsolve/GraverAPI.hpp
|
| -rw-r--r-- | 4741 | root |
root |
/usr/include/4ti2/zsolve/Heuristics.hpp
|
| -rw-r--r-- | 3191 | root |
root |
/usr/include/4ti2/zsolve/HilbertAPI.hpp
|
| -rw-r--r-- | 3177 | root |
root |
/usr/include/4ti2/zsolve/Integer.h
|
| -rw-r--r-- | 13279 | root |
root |
/usr/include/4ti2/zsolve/Lattice.hpp
|
| -rw-r--r-- | 9335 | root |
root |
/usr/include/4ti2/zsolve/LinearSystem.hpp
|
| -rw-r--r-- | 2150 | root |
root |
/usr/include/4ti2/zsolve/Norms.hpp
|
| -rw-r--r-- | 1984 | root |
root |
/usr/include/4ti2/zsolve/Options.h
|
| -rw-r--r-- | 1141 | root |
root |
/usr/include/4ti2/zsolve/RelAPI.h
|
| -rw-r--r-- | 3460 | root |
root |
/usr/include/4ti2/zsolve/Relation.hpp
|
| -rw-r--r-- | 1145 | root |
root |
/usr/include/4ti2/zsolve/SignAPI.h
|
| -rw-r--r-- | 1369 | root |
root |
/usr/include/4ti2/zsolve/Timer.h
|
| -rw-r--r-- | 7087 | root |
root |
/usr/include/4ti2/zsolve/Variables.hpp
|
| -rw-r--r-- | 4415 | root |
root |
/usr/include/4ti2/zsolve/Vector.hpp
|
| -rw-r--r-- | 6898 | root |
root |
/usr/include/4ti2/zsolve/VectorArray.hpp
|
| -rw-r--r-- | 4965 | root |
root |
/usr/include/4ti2/zsolve/VectorArrayAPI.hpp
|
| -rw-r--r-- | 13608 | root |
root |
/usr/include/4ti2/zsolve/ZSolveAPI.hpp
|
| -rw-r--r-- | 3511 | root |
root |
/usr/include/4ti2/zsolve/zsolve.h
|
| lrwxrwxrwx | 22 | root |
root |
/usr/lib/lib4ti2common.so
|
| lrwxrwxrwx | 19 | root |
root |
/usr/lib/lib4ti2gmp.so
|
| lrwxrwxrwx | 21 | root |
root |
/usr/lib/lib4ti2int32.so
|
| lrwxrwxrwx | 21 | root |
root |
/usr/lib/lib4ti2int64.so
|
| lrwxrwxrwx | 20 | root |
root |
/usr/lib/lib4ti2util.so
|
| lrwxrwxrwx | 18 | root |
root |
/usr/lib/libzsolve.so
|
