import 4ti2
4ti2 is a software package for algebraic, geometric and combinatorial problems on linear spaces. It computes Graver basis, Groebner basis, in case of a linear , matrix or more general lattice program and a lot more programs in linear spaces. From Dimitri Karamazav; ok rsadowski@
This commit is contained in:
daniel
parent
2849f82b2b
commit
a4ae0136cd
50
math/4ti2/Makefile
Normal file
50
math/4ti2/Makefile
Normal file
@ -0,0 +1,50 @@
|
||||
# $OpenBSD: Makefile,v 1.1.1.1 2020/07/16 05:42:27 daniel Exp $
|
||||
|
||||
COMMENT = solve algebraic, geometric, combinatorial problems
|
||||
|
||||
V = 1.6.9
|
||||
GH_ACCOUNT = 4ti2
|
||||
GH_PROJECT = 4ti2
|
||||
GH_TAGNAME = Release_${V:S/./_/g}
|
||||
DISTNAME = ${GH_PROJECT}-${V}
|
||||
|
||||
CATEGORIES = math
|
||||
|
||||
HOMEPAGE = https://4ti2.github.io/
|
||||
|
||||
MAINTAINER = Dimitri Karamazav <deserter666@danwin1210.me>
|
||||
|
||||
# GPLv2+
|
||||
PERMIT_PACKAGE = Yes
|
||||
|
||||
SHARED_LIBS += 4ti2common 0.0 # 0.0
|
||||
SHARED_LIBS += 4ti2gmp 0.0 # 0.0
|
||||
SHARED_LIBS += 4ti2int32 0.0 # 0.0
|
||||
SHARED_LIBS += 4ti2int64 0.0 # 0.0
|
||||
SHARED_LIBS += 4ti2util 0.0 # 0.0
|
||||
SHARED_LIBS += zsolve 0.0 # 0.0
|
||||
|
||||
WANTLIB += ${COMPILER_LIBCXX} c glpk gmp gmpxx m
|
||||
|
||||
COMPILER = base-clang ports-gcc
|
||||
|
||||
LIB_DEPENDS = devel/glpk \
|
||||
devel/gmp,-cxx
|
||||
|
||||
AUTOCONF_VERSION = 2.69
|
||||
AUTOMAKE_VERSION = 1.11
|
||||
USE_GMAKE = Yes
|
||||
CONFIGURE_STYLE = autoreconf
|
||||
CONFIGURE_ARGS = --disable-static \
|
||||
--enable-shared \
|
||||
--with-gmp=${LOCALBASE} \
|
||||
--with-glpk=${LOCALBASE}
|
||||
MAKE_FLAGS = docdir=${PREFIX}/share/doc/4ti2
|
||||
|
||||
TEST_FILES = check.template.in checkall.in flavorsum.in reportfailures.in
|
||||
TEST_FILES += subdirsum.in ppi/check-ppi.in
|
||||
|
||||
post-extract:
|
||||
cd ${WRKSRC}/test && sed -i 's,/bin/bash,/bin/sh', ${TEST_FILES}
|
||||
|
||||
.include <bsd.port.mk>
|
||||
2
math/4ti2/distinfo
Normal file
2
math/4ti2/distinfo
Normal file
@ -0,0 +1,2 @@
|
||||
SHA256 (4ti2-1.6.9.tar.gz) = exAVcYEC2M1Nwt5k9pCU/boLxpoYeK2llgl5sXH/ieQ=
|
||||
SIZE (4ti2-1.6.9.tar.gz) = 5000032
|
||||
4
math/4ti2/pkg/DESCR
Normal file
4
math/4ti2/pkg/DESCR
Normal file
@ -0,0 +1,4 @@
|
||||
4ti2 is a software package for algebraic, geometric and combinatorial
|
||||
problems on linear spaces. It computes Graver basis, Groebner basis,
|
||||
in case of a linear , matrix or more general lattice program and a lot
|
||||
more programs in linear spaces.
|
||||
178
math/4ti2/pkg/PLIST
Normal file
178
math/4ti2/pkg/PLIST
Normal file
@ -0,0 +1,178 @@
|
||||
@comment $OpenBSD: PLIST,v 1.1.1.1 2020/07/16 05:42:27 daniel Exp $
|
||||
@bin bin/4ti2gmp
|
||||
@bin bin/4ti2int32
|
||||
@bin bin/4ti2int64
|
||||
bin/circuits
|
||||
@bin bin/genmodel
|
||||
@bin bin/gensymm
|
||||
bin/graver
|
||||
bin/groebner
|
||||
bin/hilbert
|
||||
bin/markov
|
||||
bin/minimize
|
||||
bin/normalform
|
||||
@bin bin/output
|
||||
@bin bin/ppi
|
||||
bin/qsolve
|
||||
bin/rays
|
||||
bin/walk
|
||||
bin/zbasis
|
||||
@bin bin/zsolve
|
||||
include/4ti2/
|
||||
include/4ti2/4ti2.h
|
||||
include/4ti2/4ti2_config.h
|
||||
include/4ti2/4ti2xx.h
|
||||
include/groebner/
|
||||
include/groebner/Algorithm.h
|
||||
include/groebner/BasicCompletion.h
|
||||
include/groebner/BasicGeneration.h
|
||||
include/groebner/BasicOptions.h
|
||||
include/groebner/BasicReduction.h
|
||||
include/groebner/Binomial.h
|
||||
include/groebner/BinomialArray.h
|
||||
include/groebner/BinomialArrayStream.h
|
||||
include/groebner/BinomialCollection.h
|
||||
include/groebner/BinomialFactory.h
|
||||
include/groebner/BinomialSet.h
|
||||
include/groebner/BinomialSetStream.h
|
||||
include/groebner/BinomialStream.h
|
||||
include/groebner/BitSet.h
|
||||
include/groebner/BitSetStream.h
|
||||
include/groebner/Bounded.h
|
||||
include/groebner/CircuitImplementation.h
|
||||
include/groebner/CircuitImplementation.tpp
|
||||
include/groebner/CircuitMatrixAlgorithm.h
|
||||
include/groebner/CircuitMatrixAlgorithm.tpp
|
||||
include/groebner/CircuitOptions.h
|
||||
include/groebner/CircuitSupportAlgorithm.h
|
||||
include/groebner/CircuitSupportAlgorithm.tpp
|
||||
include/groebner/CircuitsAPI.h
|
||||
include/groebner/Completion.h
|
||||
include/groebner/DataType.h
|
||||
include/groebner/Debug.h
|
||||
include/groebner/DiagonalAlgorithm.h
|
||||
include/groebner/DiagonalAlgorithm.tpp
|
||||
include/groebner/EliminateAlgorithm.h
|
||||
include/groebner/Euclidean.h
|
||||
include/groebner/Extract.h
|
||||
include/groebner/Feasible.h
|
||||
include/groebner/FeasibleStream.h
|
||||
include/groebner/Filter.h
|
||||
include/groebner/FilterReduction.h
|
||||
include/groebner/FlipCompletion.h
|
||||
include/groebner/GeneratingSet.h
|
||||
include/groebner/Generation.h
|
||||
include/groebner/Globals.h
|
||||
include/groebner/Grading.h
|
||||
include/groebner/GroebnerBasis.h
|
||||
include/groebner/HermiteAlgorithm.h
|
||||
include/groebner/HermiteAlgorithm.tpp
|
||||
include/groebner/HybridGenSet.h
|
||||
include/groebner/Index.h
|
||||
include/groebner/IndexBinomialSet.h
|
||||
include/groebner/IndexSetConverter.h
|
||||
include/groebner/LatticeBasis.h
|
||||
include/groebner/LongDenseIndexSet.h
|
||||
include/groebner/LongDenseIndexSetStream.h
|
||||
include/groebner/Markov.h
|
||||
include/groebner/MaxMinGenSet.h
|
||||
include/groebner/Minimize.h
|
||||
include/groebner/MinimizeOptions.h
|
||||
include/groebner/OnesReduction.h
|
||||
include/groebner/OnesTree.h
|
||||
include/groebner/OnesTree.tpp
|
||||
include/groebner/Optimise.h
|
||||
include/groebner/Options.h
|
||||
include/groebner/OrderedCompletion.h
|
||||
include/groebner/Permutation.h
|
||||
include/groebner/ProjectLiftGenSet.h
|
||||
include/groebner/QSolveAPI.h
|
||||
include/groebner/QSolveAlgorithm.h
|
||||
include/groebner/QSolveConsOrder.h
|
||||
include/groebner/QSolveVariant.h
|
||||
include/groebner/RayAlgorithm.h
|
||||
include/groebner/RayImplementation.h
|
||||
include/groebner/RayImplementation.tpp
|
||||
include/groebner/RayMatrixAlgorithm.h
|
||||
include/groebner/RayMatrixAlgorithm.tpp
|
||||
include/groebner/RaySupportAlgorithm.h
|
||||
include/groebner/RaySupportAlgorithm.tpp
|
||||
include/groebner/RaysAPI.h
|
||||
include/groebner/Reduction.h
|
||||
include/groebner/SaturationGenSet.h
|
||||
include/groebner/ShortDenseIndexSet.h
|
||||
include/groebner/ShortDenseIndexSetStream.h
|
||||
include/groebner/SignPattern.h
|
||||
include/groebner/Size.h
|
||||
include/groebner/Statistics.h
|
||||
include/groebner/SupportTree.h
|
||||
include/groebner/SupportTree.tpp
|
||||
include/groebner/SyzygyCompletion.h
|
||||
include/groebner/SyzygyGeneration.h
|
||||
include/groebner/TermOrder.h
|
||||
include/groebner/Timer.h
|
||||
include/groebner/Truncate.h
|
||||
include/groebner/Vector.h
|
||||
include/groebner/VectorArray.h
|
||||
include/groebner/VectorArrayAPI.h
|
||||
include/groebner/VectorArrayStream.h
|
||||
include/groebner/VectorStream.h
|
||||
include/groebner/WalkAlgorithm.h
|
||||
include/groebner/WalkOptions.h
|
||||
include/groebner/Weight.h
|
||||
include/groebner/WeightAlgorithm.h
|
||||
include/groebner/WeightedBinomialSet.h
|
||||
include/groebner/WeightedReduction.h
|
||||
include/util/
|
||||
include/util/genmodel.h
|
||||
include/util/gensymm.h
|
||||
include/util/myheader.h
|
||||
include/util/orbit.h
|
||||
include/util/output.h
|
||||
include/util/print.h
|
||||
include/util/vector.h
|
||||
include/zsolve/
|
||||
include/zsolve/Algorithm.hpp
|
||||
include/zsolve/BitSet.h
|
||||
include/zsolve/BoundAPI.hpp
|
||||
include/zsolve/Controller.hpp
|
||||
include/zsolve/DefaultController.hpp
|
||||
include/zsolve/Exception.h
|
||||
include/zsolve/GraverAPI.hpp
|
||||
include/zsolve/Heuristics.hpp
|
||||
include/zsolve/HilbertAPI.hpp
|
||||
include/zsolve/Integer.h
|
||||
include/zsolve/Lattice.hpp
|
||||
include/zsolve/LinearSystem.hpp
|
||||
include/zsolve/Norms.hpp
|
||||
include/zsolve/Options.h
|
||||
include/zsolve/RelAPI.h
|
||||
include/zsolve/Relation.hpp
|
||||
include/zsolve/SignAPI.h
|
||||
include/zsolve/Timer.h
|
||||
include/zsolve/Variables.hpp
|
||||
include/zsolve/Vector.hpp
|
||||
include/zsolve/VectorArray.hpp
|
||||
include/zsolve/VectorArrayAPI.hpp
|
||||
include/zsolve/ZSolveAPI.hpp
|
||||
include/zsolve/zsolve.h
|
||||
@static-lib lib/lib4ti2common.a
|
||||
lib/lib4ti2common.la
|
||||
@lib lib/lib4ti2common.so.${LIB4ti2common_VERSION}
|
||||
@static-lib lib/lib4ti2gmp.a
|
||||
lib/lib4ti2gmp.la
|
||||
@lib lib/lib4ti2gmp.so.${LIB4ti2gmp_VERSION}
|
||||
@static-lib lib/lib4ti2int32.a
|
||||
lib/lib4ti2int32.la
|
||||
@lib lib/lib4ti2int32.so.${LIB4ti2int32_VERSION}
|
||||
@static-lib lib/lib4ti2int64.a
|
||||
lib/lib4ti2int64.la
|
||||
@lib lib/lib4ti2int64.so.${LIB4ti2int64_VERSION}
|
||||
@static-lib lib/lib4ti2util.a
|
||||
lib/lib4ti2util.la
|
||||
@lib lib/lib4ti2util.so.${LIB4ti2util_VERSION}
|
||||
@static-lib lib/libzsolve.a
|
||||
lib/libzsolve.la
|
||||
@lib lib/libzsolve.so.${LIBzsolve_VERSION}
|
||||
share/doc/4ti2/
|
||||
share/doc/4ti2/4ti2_manual.pdf
|
||||
Loading…
x
Reference in New Issue
Block a user