Parameterized vertices representation

Each vertex of a parameterized polyhedron is an affine function of the parameters $p$, defined over a validity domain: each vertex exists only if $p$ is included into the validity domain associated to this vertex. There are two ways of representing such a set of parameterized vertices and validity domains:

• as a list of pairs, each one containing a vertex and its validity domain,
• as a list of distinct validity domains, and the complete matrix $V(p)$ associated to each validity domain.

There are two functions computing the parameterized vertices in these two representations : Polyhedron2Param_Vertices and Polyhedron2Param_Domain respectively.