4ti2-1.6.7-1-x86_64.pkg.tar.xz


Advertisement

Description

4ti2 - A software package for algebraic, geometric and combinatorial problems on linear spaces

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name 4ti2
Package version 1.6.7
Package release 1
Package architecture x86_64
Package type xz
Installed size 2.90 MB
Download size 873.43 KB
Official Mirror ftp5.gwdg.de
A software package for algebraic, geometric and combinatorial problems on linear spaces.
Packager: Antonio Rojas <arojas@archlinux.org>. License: GPL

Alternatives

Package Version Architecture Repository
4ti2 - - -

Requires

Name Value
glpk -

Download

Type URL
Binary Package 4ti2-1.6.7-1-x86_64.pkg.tar.xz
Source Package unknown

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install 4ti2 xz package:
    # pacman -Sy 4ti2

Files

Path
/usr/
/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/4ti2.h
/usr/include/4ti2/4ti2_config.h
/usr/include/4ti2/4ti2xx.h
/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/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/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/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/4ti2/
/usr/share/4ti2/doc/4ti2_manual.pdf

See Also

Package Description
6tunnel-0.12-1-x86_64.pkg.tar.xz Tunnels IPv6 connections for IPv4-only applications
9base-6-6-x86_64.pkg.tar.xz Port of various original Plan9 tools to unix
a2jmidid-8-3-x86_64.pkg.tar.xz A daemon for exposing legacy ALSA sequencer applications in JACK MIDI system
aarch64-linux-gnu-binutils-2.30-1-x86_64.pkg.tar.xz A set of programs to assemble and manipulate binary and object files for the ARM64 target
aarch64-linux-gnu-gcc-8.1.0-1-x86_64.pkg.tar.xz The GNU Compiler Collection - cross compiler for ARM64 target
aarch64-linux-gnu-gdb-8.1-1-x86_64.pkg.tar.xz The GNU Debugger for the ARM64 target
aarch64-linux-gnu-glibc-2.27-1-any.pkg.tar.xz GNU C Library ARM64 target
aarch64-linux-gnu-linux-api-headers-4.17-1-any.pkg.tar.xz Kernel headers sanitized for use in userspace (aarch64-linux-gnu)
abcde-2.9.1-3-any.pkg.tar.xz Frontend command-line utility that grabs tracks off a CD, encodes them to ogg or mp3 format, and tags them, all in one go
abduco-0.6-3-x86_64.pkg.tar.xz Tool for session {at,de}tach support which allows a process to run independently from its controlling terminal
absl-py-0.2.2-1-any.pkg.tar.xz Abseil Python Common Libraries
abuse-0.8-8-x86_64.pkg.tar.xz Side-scroller action game that pits you against ruthless alien killers
acbuild-0.4.0-2-x86_64.pkg.tar.xz App Container Image Build Command
accuraterip-checksum-1.4-3-x86_64.pkg.tar.xz A C99 commandline program to compute the AccurateRip checksum of singletrack WAV files
acetoneiso2-2.3-10-x86_64.pkg.tar.xz An all in one ISO tool (bin mdf nrg img daa dmg cdi b5i bwi pdi iso)
Advertisement
Advertisement