4ti2 1.6.13-1 File List

Package has 172 files and 11 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/4ti2gmp
  • usr/bin/4ti2int32
  • usr/bin/4ti2int64
  • usr/bin/circuits
  • usr/bin/genmodel
  • usr/bin/gensymm
  • usr/bin/graver
  • usr/bin/groebner
  • usr/bin/hilbert
  • usr/bin/markov
  • usr/bin/minimize
  • usr/bin/normalform
  • usr/bin/output
  • usr/bin/ppi
  • usr/bin/qsolve
  • usr/bin/rays
  • usr/bin/walk
  • usr/bin/zbasis
  • usr/bin/zsolve
  • usr/include/
  • usr/include/4ti2/
  • usr/include/4ti2/4ti2.h
  • usr/include/4ti2/4ti2_config.h
  • usr/include/4ti2/4ti2xx.h
  • usr/include/groebner/
  • usr/include/groebner/Algorithm.h
  • usr/include/groebner/BasicCompletion.h
  • usr/include/groebner/BasicGeneration.h
  • usr/include/groebner/BasicOptions.h
  • usr/include/groebner/BasicReduction.h
  • usr/include/groebner/Binomial.h
  • usr/include/groebner/BinomialArray.h
  • usr/include/groebner/BinomialArrayStream.h
  • usr/include/groebner/BinomialCollection.h
  • usr/include/groebner/BinomialFactory.h
  • usr/include/groebner/BinomialSet.h
  • usr/include/groebner/BinomialSetStream.h
  • usr/include/groebner/BinomialStream.h
  • usr/include/groebner/BitSet.h
  • usr/include/groebner/BitSetStream.h
  • usr/include/groebner/Bounded.h
  • usr/include/groebner/CircuitImplementation.h
  • usr/include/groebner/CircuitImplementation.tpp
  • usr/include/groebner/CircuitMatrixAlgorithm.h
  • usr/include/groebner/CircuitMatrixAlgorithm.tpp
  • usr/include/groebner/CircuitOptions.h
  • usr/include/groebner/CircuitSupportAlgorithm.h
  • usr/include/groebner/CircuitSupportAlgorithm.tpp
  • usr/include/groebner/CircuitsAPI.h
  • usr/include/groebner/Completion.h
  • usr/include/groebner/DataType.h
  • usr/include/groebner/Debug.h
  • usr/include/groebner/DiagonalAlgorithm.h
  • usr/include/groebner/DiagonalAlgorithm.tpp
  • usr/include/groebner/EliminateAlgorithm.h
  • usr/include/groebner/Euclidean.h
  • usr/include/groebner/Extract.h
  • usr/include/groebner/Feasible.h
  • usr/include/groebner/FeasibleStream.h
  • usr/include/groebner/Filter.h
  • usr/include/groebner/FilterReduction.h
  • usr/include/groebner/FlipCompletion.h
  • usr/include/groebner/GeneratingSet.h
  • usr/include/groebner/Generation.h
  • usr/include/groebner/Globals.h
  • usr/include/groebner/Grading.h
  • usr/include/groebner/GroebnerBasis.h
  • usr/include/groebner/HermiteAlgorithm.h
  • usr/include/groebner/HermiteAlgorithm.tpp
  • usr/include/groebner/HybridGenSet.h
  • usr/include/groebner/Index.h
  • usr/include/groebner/IndexBinomialSet.h
  • usr/include/groebner/IndexSetConverter.h
  • usr/include/groebner/LatticeBasis.h
  • usr/include/groebner/LongDenseIndexSet.h
  • usr/include/groebner/LongDenseIndexSetStream.h
  • usr/include/groebner/Markov.h
  • usr/include/groebner/MaxMinGenSet.h
  • usr/include/groebner/Minimize.h
  • usr/include/groebner/MinimizeOptions.h
  • usr/include/groebner/OnesReduction.h
  • usr/include/groebner/OnesTree.h
  • usr/include/groebner/OnesTree.tpp
  • usr/include/groebner/Optimise.h
  • usr/include/groebner/Options.h
  • usr/include/groebner/OrderedCompletion.h
  • usr/include/groebner/Permutation.h
  • usr/include/groebner/ProjectLiftGenSet.h
  • usr/include/groebner/QSolveAPI.h
  • usr/include/groebner/QSolveAlgorithm.h
  • usr/include/groebner/QSolveConsOrder.h
  • usr/include/groebner/QSolveVariant.h
  • usr/include/groebner/RayAlgorithm.h
  • usr/include/groebner/RayImplementation.h
  • usr/include/groebner/RayImplementation.tpp
  • usr/include/groebner/RayMatrixAlgorithm.h
  • usr/include/groebner/RayMatrixAlgorithm.tpp
  • usr/include/groebner/RaySupportAlgorithm.h
  • usr/include/groebner/RaySupportAlgorithm.tpp
  • usr/include/groebner/RaysAPI.h
  • usr/include/groebner/Reduction.h
  • usr/include/groebner/SaturationGenSet.h
  • usr/include/groebner/ShortDenseIndexSet.h
  • usr/include/groebner/ShortDenseIndexSetStream.h
  • usr/include/groebner/SignPattern.h
  • usr/include/groebner/Size.h
  • usr/include/groebner/Statistics.h
  • usr/include/groebner/SupportTree.h
  • usr/include/groebner/SupportTree.tpp
  • usr/include/groebner/SyzygyCompletion.h
  • usr/include/groebner/SyzygyGeneration.h
  • usr/include/groebner/TermOrder.h
  • usr/include/groebner/Timer.h
  • usr/include/groebner/Truncate.h
  • usr/include/groebner/Vector.h
  • usr/include/groebner/VectorArray.h
  • usr/include/groebner/VectorArrayAPI.h
  • usr/include/groebner/VectorArrayStream.h
  • usr/include/groebner/VectorStream.h
  • usr/include/groebner/WalkAlgorithm.h
  • usr/include/groebner/WalkOptions.h
  • usr/include/groebner/Weight.h
  • usr/include/groebner/WeightAlgorithm.h
  • usr/include/groebner/WeightedBinomialSet.h
  • usr/include/groebner/WeightedReduction.h
  • usr/include/util/
  • usr/include/util/genmodel.h
  • usr/include/util/gensymm.h
  • usr/include/util/myheader.h
  • usr/include/util/orbit.h
  • usr/include/util/output.h
  • usr/include/util/print.h
  • usr/include/util/vector.h
  • usr/include/zsolve/
  • usr/include/zsolve/Algorithm.hpp
  • usr/include/zsolve/BitSet.h
  • usr/include/zsolve/BoundAPI.hpp
  • usr/include/zsolve/Controller.hpp
  • usr/include/zsolve/DefaultController.hpp
  • usr/include/zsolve/Exception.h
  • usr/include/zsolve/GraverAPI.hpp
  • usr/include/zsolve/Heuristics.hpp
  • usr/include/zsolve/HilbertAPI.hpp
  • usr/include/zsolve/Integer.h
  • usr/include/zsolve/Lattice.hpp
  • usr/include/zsolve/LinearSystem.hpp
  • usr/include/zsolve/Norms.hpp
  • usr/include/zsolve/Options.h
  • usr/include/zsolve/RelAPI.h
  • usr/include/zsolve/Relation.hpp
  • usr/include/zsolve/SignAPI.h
  • usr/include/zsolve/Timer.h
  • usr/include/zsolve/Variables.hpp
  • usr/include/zsolve/Vector.hpp
  • usr/include/zsolve/VectorArray.hpp
  • usr/include/zsolve/VectorArrayAPI.hpp
  • usr/include/zsolve/ZSolveAPI.hpp
  • usr/include/zsolve/zsolve.h
  • usr/lib/
  • usr/lib/lib4ti2common.so
  • usr/lib/lib4ti2common.so.0
  • usr/lib/lib4ti2common.so.0.0.0
  • usr/lib/lib4ti2gmp.so
  • usr/lib/lib4ti2gmp.so.0
  • usr/lib/lib4ti2gmp.so.0.0.0
  • usr/lib/lib4ti2int32.so
  • usr/lib/lib4ti2int32.so.0
  • usr/lib/lib4ti2int32.so.0.0.0
  • usr/lib/lib4ti2int64.so
  • usr/lib/lib4ti2int64.so.0
  • usr/lib/lib4ti2int64.so.0.0.0
  • usr/lib/lib4ti2util.so
  • usr/lib/lib4ti2util.so.0
  • usr/lib/lib4ti2util.so.0.0.0
  • usr/lib/libzsolve.so
  • usr/lib/libzsolve.so.0
  • usr/lib/libzsolve.so.0.0.0
  • usr/share/
  • usr/share/doc/
  • usr/share/doc/4ti2/
  • usr/share/doc/4ti2/4ti2_manual.pdf