lib4ti2-dev (1.6.10+ds-1.1build1)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-plucky
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
plucky
Component
universe
Source
4ti2
Architecture
riscv64
Section
universe/libdevel
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
25.8 MB
Size expected
2.6 MB
Size actual
2.6 MB
Size match
match

Dependencies

Required package dependencies

Suggested packages

Recommended additional packages

Description

mathematical tool suite for problems on linear spaces -- dev

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD58fe888ad…90647f73not available
SHA-13cc4ca3c…7e970acanot available
SHA-256f3075541…a00c79fenot available
SHA-512a748c7ec…28ebb457match

Contents

Files and directories included

.
usr
usr/include
usr/include/4ti2
usr/include/4ti2/4ti2
usr/include/4ti2/4ti2/4ti2.h
usr/include/4ti2/4ti2/4ti2xx.h
usr/include/4ti2/groebner
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
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
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/include/riscv64-linux-gnu
usr/include/riscv64-linux-gnu/4ti2
usr/include/riscv64-linux-gnu/4ti2/4ti2
usr/include/riscv64-linux-gnu/4ti2/4ti2/4ti2_config.h
usr/lib
usr/lib/riscv64-linux-gnu
usr/lib/riscv64-linux-gnu/lib4ti2common.a
usr/lib/riscv64-linux-gnu/lib4ti2gmp.a
usr/lib/riscv64-linux-gnu/lib4ti2int32.a
usr/lib/riscv64-linux-gnu/lib4ti2int64.a
usr/lib/riscv64-linux-gnu/lib4ti2util.a
usr/lib/riscv64-linux-gnu/libzsolve.a
usr/share
usr/share/doc
usr/share/doc/lib4ti2-dev
usr/share/doc/lib4ti2-dev/copyright
usr/lib/riscv64-linux-gnu/lib4ti2common.so
usr/lib/riscv64-linux-gnu/lib4ti2gmp.so
usr/lib/riscv64-linux-gnu/lib4ti2int32.so
usr/lib/riscv64-linux-gnu/lib4ti2int64.so
usr/lib/riscv64-linux-gnu/lib4ti2util.so
usr/lib/riscv64-linux-gnu/libzsolve.so
usr/share/doc/lib4ti2-dev/NEWS.gz
usr/share/doc/lib4ti2-dev/changelog.Debian.gz