Polylib manipulates rational polyhedra as seen in the previous chapters. There are two dual representations of polyhedra: the implicit representation, as a set of constraints, and the Minkowski representation, as a set of lines, rays and vertices.
A parameterized polyhedron is defined in the implicit form by a
finite number of inequalities and equalities, the difference from the
classical approach being that the constant part depends linearly on a
parameter vector for both equalities and inequalities:
The Minkowski representation, as a set of lines, rays, and vertices,
of a parameterized polyhedron is:
Polylib includes an algorithm computing the vertices of a parameterized polyhedron.