New port: math/polylib: Library of polyhedral functions

This commit is contained in:
yuri
2018-12-07 03:36:20 +00:00
parent 7e160a5b4e
commit d72fe82687
5 changed files with 89 additions and 0 deletions
+1
View File
@@ -671,6 +671,7 @@
SUBDIR += ploticus-nox11
SUBDIR += plplot
SUBDIR += plplot-ada
SUBDIR += polylib
SUBDIR += primegen
SUBDIR += primme
SUBDIR += prng
+22
View File
@@ -0,0 +1,22 @@
# $FreeBSD$
PORTNAME= polylib
DISTVERSION= 5.22.5
CATEGORIES= math
MASTER_SITES= http://icps.u-strasbg.fr/polylib/polylib_src/
MAINTAINER= yuri@FreeBSD.org
COMMENT= Library of polyhedral functions
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/COPYING
LIB_DEPENDS= libgmp.so:math/gmp
USES= gmake libtool
GNU_CONFIGURE= yes
CONFIGURE_ARGS= --disable-static \
--with-libgmp=${LOCALBASE} # can also be built w/out libgmp, in which case the suffix on some files changes. Not sure if/how this is useful.
USE_LDCONFIG= yes
.include <bsd.port.mk>
+3
View File
@@ -0,0 +1,3 @@
TIMESTAMP = 1544133099
SHA256 (polylib-5.22.5.tar.gz) = 84622ff9dfa5d06f0c266960ed078bd3577a30fde6d7f8bed1041b9838cb731f
SIZE (polylib-5.22.5.tar.gz) = 2673630
+20
View File
@@ -0,0 +1,20 @@
The Polyhedral Library (PolyLib for short) operates on objects made up of
unions of polyhedra of any dimension. It was first developed by Doran Wilde at
IRISA, in Rennes, France, in connection with the ALPHA project. This first
version (1.1) manipulates non parameterized unions of polyhedra through the
following operations: intersection, difference, union, convex hull, simplify,
image and preimage, plus some input and output functions. The polyhedra are
computed in their dual implicit and Minkowski representations, in homogeneous
spaces.
Version 2 of the PolyLib included parameterized vertices computation.
PolyLib3.14 includes Ehrhart polynomials computation, which permits to count
the number of integer points contained in a parameterized polyhedron. PolyLib4
included the GNU MP library (as a compilation option), and 64 bits computations,
in order to avoid integer overflows. Polylib5 is a merge of Strasbourg, Rennes
and BYU Polylib.
There is also the 'visualpolylib' project that permits to use the PolyLib
interactively.
WWW: https://icps.u-strasbg.fr/polylib/
+43
View File
@@ -0,0 +1,43 @@
bin/c2p
bin/disjoint_union_adj
bin/disjoint_union_sep
bin/ehrhart_lower_bound
bin/ehrhart_quick_apx
bin/ehrhart_rankinggmp
bin/ehrhart_uniongmp
bin/ehrhart_upper_bound
bin/findv
bin/ppgmp
bin/r2p
bin/testehrhartgmp
include/polylib/Lattice.h
include/polylib/Matop.h
include/polylib/NormalForms.h
include/polylib/SolveDio.h
include/polylib/Zpolyhedron.h
include/polylib/alpha.h
include/polylib/arithmetic_errors.h
include/polylib/arithmetique.h
include/polylib/compress_parms.h
include/polylib/ehrhart.h
include/polylib/errormsg.h
include/polylib/eval_ehrhart.h
include/polylib/ext_ehrhart.h
include/polylib/homogenization.h
include/polylib/matrix.h
include/polylib/matrix_addon.h
include/polylib/matrix_permutations.h
include/polylib/param.h
include/polylib/polyhedron.h
include/polylib/polylib.h
include/polylib/polylib32.h
include/polylib/polylib64.h
include/polylib/polylibgmp.h
include/polylib/polyparam.h
include/polylib/ranking.h
include/polylib/types.h
include/polylib/vector.h
lib/libpolylibgmp.so
lib/libpolylibgmp.so.8
lib/libpolylibgmp.so.8.1.0
libdata/pkgconfig/polylibgmp.pc