next up previous contents
Next: Main functions and variables Up: Theoretical background Previous: Parameterized vertices representation   Contents

Ehrhart polynomials representation

Ehrhart polynomials associated to each of the distinct validity domains correspond to the number of integer points contained in a parameterized polytope, when the parameters are integers.

Ehrjart polynomials are pseudo-polynomials, that is to say, polynomials whose coefficients are periodic numbers. Periodic numbers take different values depending on the rest of the division of the parameters by the period of this periodic number.

The function Polyhedron_Enumerate, returns a list of validity domains and each corresponding Ehrhart polynomial.

Sorin Olaru 2002-04-24