Lattices

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.