A library for computing and enumerating integer transformations of Z-polyhedra

ZPolyTrans is based on PolyLib and Barvinok library.
-- latest version

What's inside?

ZPolyTrans contains two executables, enumerate_image and enumerate_zp_union. The first one takes as input a set of polyhedra (constraints format, like PolyLib), and the number of integer variables to be projected out. The second one, enumerate_zp_union, takes as input a set of Z-polyhedra (as couples of lattice and polyhedron).

The output is a union of Z-polyhedra (lattice, polyhedron), and the Ehrhart polynomial expressing the number of integer points of the result.

See the README in the distribution for more information.

How does it work?

It's complicated... See our CASES paper for a short explanation, and the TACO one for a complete explanation (links below).

It doesn't work!

Sorry about that. Please use the forum to report bugs and problems.


See the INSTALL file in the distribution.
You will need to install NTL with GMP support and the Barvinok library before building ZPolyTrans.


ZPolyTrans is open-source software distributed under the terms of the GNU General Public License (version 3+).


Main author:

Other contributors: