Matrices and vectors
About the organization of
What does the user's manual contain?
This document contains the following chapters.
describes matrix and vector routines of Polylib.
presents notions on polyhedra, and lists the main C functions on polyhedra of Polylib.
describes lattice functions of Polylib.
describes functions of Polylib dealing with Z-polyhedra.
describes functions of Polylib dealing with parameterized polyhedra and Ehrhart polynomials.
describes a few additional tools of Polylib.
presents briefly the data structures of Polylib.
shows a short program that may serve as exemple of using Polylib.
provides the necessary information to install Polylib.
Sorin Olaru 2002-04-24