barvinok 0.22 review

barvinok library can count the number of integer points in parametrized and non-parametrized polytopes. For parametrized polytopes

License: BSD License File size: 1105K Developer: Sven Verdoolaege

0

barvinok library can count the number of integer points in parametrized and non-parametrized polytopes.

For parametrized polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed.

This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. Alternatively, a generalized Ehrhart series can be constructed as well.

What's New in This Release:
This release mainly includes the bernstein library for computing upper bounds on polynomials over parametric polytopes.
It also adds an experimental tool for parametric integer programming based on Barvinok's generating function as well as some tools based on generalized basis reduction.