Section: New Software and Platforms

PolyLib

The Polyhedral Library

Functional Description

PolyLib is a C library of polyhedral functions, that can manipulate unions of rational polyhedra of any dimension. It was the first to provide an implementation of the computation of parametric vertices of a parametric polyhedron, and the computation of an Ehrhart polynomial (expressing the number of integer points contained in a parametric polytope) based on an interpolation method. Vincent Loechner is the maintainer of this software.

• Participant: Vincent Loechner

• Contact: Vincent Loechner

• URL: http://icps.u-strasbg.fr/PolyLib/