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 |