4ti2-devel-1.6.2-4-omv2015.0.x86_64.rpm


Advertisement

Description

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

Distribution: OpenMandriva Cooker
Repository: OpenMandriva Contrib x86_64
Package name: 4ti2-devel
Package version: 1.6.2
Package release: 4-omv2015.0
Package architecture: x86_64
Package type: rpm
Installed size: 554.14 KB
Download size: 69.94 KB
Official Mirror: abf-downloads.openmandriva.org
Headers and library files needed to develop software that uses 4ti2.

Alternatives

Provides

  • 4ti2-devel == 1.6.2-4:2015.0
  • devel(lib4ti2common(64bit))
  • devel(lib4ti2gmp(64bit))
  • devel(lib4ti2int32(64bit))
  • devel(lib4ti2int64(64bit))
  • devel(lib4ti2util(64bit))
  • devel(libzsolve(64bit))

    Install Howto

    1. Enable OpenMandriva Contrib repository on Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install 4ti2-devel rpm package:
      # urpmi 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/lib64/lib4ti2common.so
    • /usr/lib64/lib4ti2gmp.so
    • /usr/lib64/lib4ti2int32.so
    • /usr/lib64/lib4ti2int64.so
    • /usr/lib64/lib4ti2util.so
    • /usr/lib64/libzsolve.so

    Changelog

    2014-05-09 - pcpa <paulo.cesar.pereira.de.andrade@gmail.com> 1.7.1-4 + Revision: c63d192 - Rebuild to use environment modules. - This avoids conflicts with too common file names. This package - actually did conflict with llvm due to too common binary names.

    Advertisement
    Advertisement