Package 4ti2-devel: Files
Permissions | Path | Size | Date |
|---|---|---|---|
| drwxr-xr-x | /usr/include/4ti2 | - | Sep 18, 2020, 07:03 PM |
| drwxr-xr-x | /usr/include/4ti2/4ti2 | - | Sep 18, 2020, 07:03 PM |
| -rw-r--r-- | /usr/include/4ti2/4ti2/4ti2.h | 4.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/4ti2/4ti2_config.h | 530.0 B | Sep 18, 2020, 07:03 PM |
| -rw-r--r-- | /usr/include/4ti2/4ti2/4ti2xx.h | 2.4 KB | Aug 19, 2018, 06:37 PM |
| drwxr-xr-x | /usr/include/4ti2/groebner | - | Sep 18, 2020, 07:03 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Algorithm.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BasicCompletion.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BasicGeneration.h | 1.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BasicOptions.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BasicReduction.h | 1.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Binomial.h | 15.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BinomialArray.h | 2.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BinomialArrayStream.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BinomialCollection.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BinomialFactory.h | 3.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BinomialSet.h | 3.9 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BinomialSetStream.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BinomialStream.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BitSet.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/BitSetStream.h | 1.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Bounded.h | 2.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitImplementation.h | 3.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitImplementation.tpp | 10.0 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitMatrixAlgorithm.h | 3.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitMatrixAlgorithm.tpp | 21.4 KB | Aug 28, 2018, 01:57 AM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitOptions.h | 1.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitSupportAlgorithm.h | 2.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitSupportAlgorithm.tpp | 20.9 KB | Aug 28, 2018, 01:57 AM |
| -rw-r--r-- | /usr/include/4ti2/groebner/CircuitsAPI.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Completion.h | 2.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/DataType.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Debug.h | 970.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/DiagonalAlgorithm.h | 1.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/DiagonalAlgorithm.tpp | 2.9 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/EliminateAlgorithm.h | 1.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Euclidean.h | 1.7 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Extract.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Feasible.h | 3.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/FeasibleStream.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Filter.h | 972.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/FilterReduction.h | 2.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/FlipCompletion.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/GeneratingSet.h | 1.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Generation.h | 1.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Globals.h | 1.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Grading.h | 1.0 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/GroebnerBasis.h | 1.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/HermiteAlgorithm.h | 2.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/HermiteAlgorithm.tpp | 5.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/HybridGenSet.h | 1.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Index.h | 960.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/IndexBinomialSet.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/IndexSetConverter.h | 1.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/LatticeBasis.h | 1.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/LongDenseIndexSet.h | 17.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/LongDenseIndexSetStream.h | 1.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Markov.h | 1.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/MaxMinGenSet.h | 2.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Minimize.h | 1.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/MinimizeOptions.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/OnesReduction.h | 1.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/OnesTree.h | 3.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/OnesTree.tpp | 8.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Optimise.h | 2.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Options.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/OrderedCompletion.h | 1.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Permutation.h | 1.0 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/ProjectLiftGenSet.h | 2.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/QSolveAPI.h | 2.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/QSolveAlgorithm.h | 3.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/QSolveConsOrder.h | 1.0 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/QSolveVariant.h | 1015.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RayAlgorithm.h | 1.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RayImplementation.h | 4.7 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RayImplementation.tpp | 9.9 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RayMatrixAlgorithm.h | 3.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RayMatrixAlgorithm.tpp | 32.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RaySupportAlgorithm.h | 2.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RaySupportAlgorithm.tpp | 46.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/RaysAPI.h | 1.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Reduction.h | 1.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/SaturationGenSet.h | 2.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/ShortDenseIndexSet.h | 12.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/ShortDenseIndexSetStream.h | 1.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/SignPattern.h | 992.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Size.h | 957.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Statistics.h | 3.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/SupportTree.h | 4.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/SupportTree.tpp | 8.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/SyzygyCompletion.h | 1.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/SyzygyGeneration.h | 1.9 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/TermOrder.h | 2.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Timer.h | 1.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Truncate.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Vector.h | 15.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/VectorArray.h | 6.9 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/VectorArrayAPI.h | 3.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/VectorArrayStream.h | 1.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/VectorStream.h | 1.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/WalkAlgorithm.h | 1.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/WalkOptions.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/Weight.h | 1.0 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/WeightAlgorithm.h | 2.2 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/WeightedBinomialSet.h | 2.0 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/groebner/WeightedReduction.h | 1.9 KB | Aug 19, 2018, 06:37 PM |
| drwxr-xr-x | /usr/include/4ti2/util | - | Sep 18, 2020, 07:03 PM |
| -rw-r--r-- | /usr/include/4ti2/util/genmodel.h | 32.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/util/gensymm.h | 31.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/util/myheader.h | 3.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/util/orbit.h | 1.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/util/output.h | 142.0 B | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/util/print.h | 2.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/util/vector.h | 4.9 KB | Aug 19, 2018, 06:37 PM |
| drwxr-xr-x | /usr/include/4ti2/zsolve | - | Sep 18, 2020, 07:03 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Algorithm.hpp | 34.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/BitSet.h | 1.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/BoundAPI.hpp | 2.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Controller.hpp | 2.5 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/DefaultController.hpp | 14.7 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Exception.h | 1.7 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/GraverAPI.hpp | 2.7 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Heuristics.hpp | 4.6 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/HilbertAPI.hpp | 3.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Integer.h | 3.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Lattice.hpp | 13.0 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/LinearSystem.hpp | 9.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Norms.hpp | 2.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Options.h | 1.9 KB | Sep 18, 2020, 07:03 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/RelAPI.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Relation.hpp | 3.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/SignAPI.h | 1.1 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Timer.h | 1.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Variables.hpp | 6.9 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/Vector.hpp | 4.4 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/VectorArray.hpp | 6.9 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/VectorArrayAPI.hpp | 4.8 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/ZSolveAPI.hpp | 13.3 KB | Aug 19, 2018, 06:37 PM |
| -rw-r--r-- | /usr/include/4ti2/zsolve/zsolve.h | 3.4 KB | Aug 19, 2018, 06:37 PM |
| lrwxrwxrwx | /usr/lib64/lib4ti2common.so —> lib4ti2common.so.0.0.0 | 22.0 B | Sep 18, 2020, 07:03 PM |
| lrwxrwxrwx | /usr/lib64/lib4ti2gmp.so —> lib4ti2gmp.so.0.0.0 | 19.0 B | Sep 18, 2020, 07:03 PM |
| lrwxrwxrwx | /usr/lib64/lib4ti2int32.so —> lib4ti2int32.so.0.0.0 | 21.0 B | Sep 18, 2020, 07:03 PM |
| lrwxrwxrwx | /usr/lib64/lib4ti2int64.so —> lib4ti2int64.so.0.0.0 | 21.0 B | Sep 18, 2020, 07:03 PM |
| lrwxrwxrwx | /usr/lib64/lib4ti2util.so —> lib4ti2util.so.0.0.0 | 20.0 B | Sep 18, 2020, 07:03 PM |
| lrwxrwxrwx | /usr/lib64/libzsolve.so —> libzsolve.so.0.0.0 | 18.0 B | Sep 18, 2020, 07:03 PM |