next up previous contents
Next: Theoretical background Up: Polylib User's Manual Previous: Chernikova level functions   Contents


Polylib contains functions to operate on lattices, which are used in the ${{\cal Z}}$-polyhedra part of library. These functions are in the source file Lattice.c. In this chapter, we provide first tome theoretical background, then we describe the main lattice functions of Polylib.


Sorin Olaru 2002-04-24