PolyLib The Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra of any dimension. 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. The latest release, PolyLib4, uses the GNU MP library (as a compilation option), and 64 bits computations, in order to avoid integer overflows.

Current Version:   4 License Type:   ??

Home Site: http://icps.u-strasbg.fr/~loechner/polylib/ Source Code Availability: Yes Available Binary Packages: Debian Package: No RedHat RPM Package: Yes Other Packages: No Targeted Platforms: C Platform including Linux Software/Hardware Requirements: GNU MP (optional)

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Mathematics   |   Misc