New port: math/polylib: Library of polyhedral functions

This commit is contained in:
Yuri Victorovich 2018-12-07 03:36:20 +00:00
parent 4e30c80668
commit 2faa36c569
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=486818
5 changed files with 89 additions and 0 deletions

View file

@ -671,6 +671,7 @@
SUBDIR += ploticus-nox11
SUBDIR += plplot
SUBDIR += plplot-ada
SUBDIR += polylib
SUBDIR += primegen
SUBDIR += primme
SUBDIR += prng

22
math/polylib/Makefile Normal file
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
math/polylib/distinfo Normal file
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
math/polylib/pkg-descr Normal file
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
math/polylib/pkg-plist Normal file
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