4ti2-devel-1.6.7-1.fc25.i686.rpm


Advertisement

Description

4ti2-devel - Headers needed to develop software that uses 4ti2

Distribution: Fedora 25
Repository: Fedora i386
Package name: 4ti2-devel
Package version: 1.6.7
Package release: 1.fc25
Package architecture: i686
Package type: rpm
Installed size: 554.51 KB
Download size: 86.46 KB
Official Mirror: dl.fedoraproject.org
Headers and library files needed to develop software that uses 4ti2.

Provides

  • 4ti2-devel = 1.6.7-1.fc25
  • 4ti2-devel(x86-32) = 1.6.7-1.fc25

    Install Howto

    Install the 4ti2-devel rpm package:

    # dnf install 4ti2-devel

    Files

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

    Changelog

    Advertisement
    Advertisement