4ti2-devel-1.6.9-1.2.i586.rpm


Advertisement

Description

4ti2-devel - Development files for 4ti2

Property Value
Distribution openSUSE Tumbleweed
Repository openSUSE Oss all
Package filename 4ti2-devel-1.6.9-1.2.i586.rpm
Package name 4ti2-devel
Package version 1.6.9
Package release 1.2
Package architecture i586
Package type rpm
Category Development/Libraries/C and C++
Homepage https://4ti2.github.io/
License GPL-2.0-or-later
Maintainer -
Download size 78.94 KB
Installed size 554.52 KB
This subpackage contains the include files and library links for
developing against 4ti2's libraries.

Alternatives

Package Version Architecture Repository
4ti2-devel-1.6.9-14.10.x86_64.rpm 1.6.9 x86_64 Science
4ti2-devel-1.6.9-14.10.i586.rpm 1.6.9 i586 Science
4ti2-devel-1.6.9-1.2.x86_64.rpm 1.6.9 x86_64 openSUSE Oss
4ti2-devel - - -

Requires

Name Value
lib4ti2-0 = 1.6.9
libzsolve0 = 1.6.9

Provides

Name Value
4ti2-devel = 1.6.9-1.2
4ti2-devel(x86-32) = 1.6.9-1.2

Download

Type URL
Mirror widehat.opensuse.org
Binary Package 4ti2-devel-1.6.9-1.2.i586.rpm
Source Package 4ti2-1.6.9-1.2.src.rpm

Install Howto

Install 4ti2-devel rpm package:

# zypper install 4ti2-devel

Files

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

2018-10-19 - Jan Engelhardt <jengelh@inai.de>
- Update to new upstream release 1.6.9
* Fix out of bounds vector access in circuits.
- Remove 4ti2-missing-libs.diff (not needed)
2016-03-11 - jengelh@inai.de
- Update to new upstream release 1.6.7
* Add tests for "walk -p arb" to testsuite
* Fix division-by-zero in "walk -p arb" for testcase 344
2015-10-26 - p.drouand@gmail.com
- Update to version 1.6.6
* Fix segfault in graver when a matrix with trivial kernel is input
(testcase graver/trivial-kernel).
- Changes from version 1.6.5
* Fix build failure with gcc 4.9.2.
- Changes from version 1.6.4
* Improved error checking while reading zsolve input files.
* The PDF manual has been updated to include a reference to commands
and their options and a reference to the API.  The command
reference on www.4ti2.de has also been updated.
* Better option handling.  Make long options available in non-GNU
platforms such as Mac OS X.  All commands now support the
standard --help and --version options.
* Minor fix to the test suite.
- Changes from version 1.6.3
* The manual has been updated.
* Minor build fixes.
2014-04-18 - jengelh@inai.de
- Update to new upstream release 1.6.2
* Support for newer libglpk API "glp_"
(which replaced the "lpx_" API)
2014-02-04 - jengelh@inai.de
- Update to new upstream release 1.6
* Restore the functionality of "hilbert" to accept "rel" files
* When the cone is not pointed, "hilbert" now outputs a "zfree" file,
containing a lattice basis, in addition to the "hil" file.
- Remove 4ti2-gcc.diff, 4ti2-nonvoid-return.diff, 4ti2-libtool.diff
(merged upstream)
2013-04-17 - jengelh@inai.de
- Combine shared library packages lib4ti2{gmp0,int32-0,int64-0}
as they are updated in lockstep
2012-12-07 - jengelh@inai.de
- Initial package (version 1.3.2) for build.opensuse.org
- Add 4ti2-missing-libs.diff, 4ti2-docdir.diff to address build
problems

See Also

Package Description
6tunnel-0.12-2.1.i586.rpm TCP proxy for non-IPv6 applications
6tunnel-0.12-2.1.x86_64.rpm TCP proxy for non-IPv6 applications
7kaa-2.15.1-1.1.i586.rpm Seven Kingdoms: Ancient Adversaries
7kaa-2.15.1-1.1.x86_64.rpm Seven Kingdoms: Ancient Adversaries
ASL-0.1.7-3.10.i586.rpm Hardware-accelerated multiphysics simulation platform
ASL-0.1.7-3.10.x86_64.rpm Hardware-accelerated multiphysics simulation platform
ASL-devel-0.1.7-3.10.i586.rpm Development files for the Advanced Simulation Library
ASL-devel-0.1.7-3.10.x86_64.rpm Development files for the Advanced Simulation Library
ASL-doc-0.1.7-3.10.i586.rpm API documentation for the Advanced Simulation Library
ASL-doc-0.1.7-3.10.x86_64.rpm API documentation for the Advanced Simulation Library
AppCSXCAD-0.2.2-1.3.i586.rpm Minimal GUI Application using the QCSXCAD library
AppCSXCAD-0.2.2-1.3.x86_64.rpm Minimal GUI Application using the QCSXCAD library
AppStream-0.12.6-2.1.i586.rpm Utilities to generate, maintain and access the AppStream Xapian database
AppStream-0.12.6-2.1.x86_64.rpm Utilities to generate, maintain and access the AppStream Xapian database
AppStream-devel-0.12.6-2.1.i586.rpm Header files for AppStream development
Advertisement
Advertisement