Contents

• 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 ${{\cal Z}}$-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 ...