math/polylib 5.22.5 FreeBSD
Library of polyhedral functions
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- GPLv3
- Categories
- math
- Package size
- 139.5 KiB, 443.2 KiB installed
Description
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.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/polylib | 5.22.5 |
| DragonFly | math/polylib | 5.22.5 |
Install
Binary package:
pkg install polylibFrom the ports tree:
cd /usr/ports/math/polylib/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= polylib>0:math/polylib
LIB_DEPENDS= libpolylibgmp.so:math/polylibPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 5.22.5 | 5.22.5 | 5.22.5 | 5.22.5 | 5.22.5 |
| FreeBSD:14:quarterly | 5.22.5 | 5.22.5 | n/a | 5.22.5 | 5.22.5 |
| FreeBSD:15:latest | 5.22.5 | 5.22.5 | n/a | 5.22.5 | 5.22.5 |
| FreeBSD:15:quarterly | 5.22.5 | 5.22.5 | n/a | n/a | n/a |
| FreeBSD:16:latest | 5.22.5 | 5.22.5 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 1
libgmp.so: math/gmp
The full lists below include those, and their dependencies in turn.
Build dependencies 4
Run dependencies 2
Required by 3
Configuration
No options to configure.
- USES
- gmake libtool
- Service scripts
- none
Files
pkg-plist 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
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| polylib-5.22.5.tar.gz | 2.67363e+06 | 84622ff9dfa5d06f0c266960ed078bd3577a30fde6d7f8bed1041b9838cb731f |
Master sites 1
- http://icps.u-strasbg.fr/polylib/polylib_src/
Commit history 0
No commits in the history this site was built from.