Next:
Contents
 
Contents
Polylib User's Manual
The Polylib Team
April 24, 2002
Contents
Introduction
On polyhedra
What is Polylib useful for?
Polyhedra and parallelization techniques
To know more about polyhedra and Polylib
About the organization of Polylib
What does the user's manual contain?
Matrices and vectors
Basic operations on elementary data structures
Vector operations
Main functions in
vector.c
Matrix operations
Main functions in
Matop.c
,
matrix.c
and
NormalForms.c
Polyhedra
Theoretical background
Main functions in
Polyhedron.c
Computing on Domains or polyhedra
Chernikova level functions
Lattices
Theoretical background
Important functions in
Lattice.c
Z-Polyhedra
Theoretical background
Main functions of
Zpolyhedron.c
Parametrized polyhedra - Ehrhart polynomials
Theoretical background
Parameterized polyhedra representation
Parameterized vertices representation
Ehrhart polynomials representation
Main functions and variables in
ehrhart.c
Other tools
Linear Diophantine equations
Smith decomposition
Data structures
Matrices and Polyhedra
Lattices and
-polyhedra
Parametrized Polyhedra
Example
Installation
Hardware and software requirements
Operating system
Software Requirements
Installation procedure
Options of the configure script
Known problems
Bibliography
About this document ...
Sorin Olaru 2002-04-24