barvinok For Mac Publisher's description
from Sven Verdoolaege
barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes.
barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes. For parametric 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.
Unlike the program distributed with PolyLib, it does not suffer from degenerate domains. (examples of such degenerate problems (tar.gz)) Note that more recent versions of PolyLib do produce complete results for some of these problems.
System Requirements:No special requirements.
Program Release Status: Minor Update
Program Install Support: Install and Uninstall