next up previous contents
Next: Theoretical background Up: Polylib User's Manual Previous: Important functions in Lattice.c   Contents


Based on the results presented on previous chapters, the ${{\cal Z}}$-polyhedra represent a new part in Polylib. This chapter gives some exemples and motivates the use of this structure. The functions working with ${{\cal Z}}$-polyhedra can be found in the Zpolyhedra.c source file.

This chapter contains two sections. The first one give some theoretical background on ${{\cal Z}}$-polyhedra, and the second one lists the functions of Polylib related to ${{\cal Z}}$-polyhedra.


Sorin Olaru 2002-04-24