Release Notes: This release adds omega as a sub-module and fixes some minor bugs and compilation problems.
Release Notes: This release mainly adds support for iterated Laurent series based weighted counting.
Release Notes: This release adds support for summation using the Bernoulli formula, integer optimization over a polytope, and the computation of the integer hull of a non-parametric polytope and the lattice width of a parametric polytope. Finally, this release implements the projection theorem for computing the generating function of the integer projection of a polytope.
Release Notes: This release includes a copy of PolyLib and piplib and supports the summation of polynomials over 2D parametric polytopes using local Euler-Maclaurin formula.
Release Notes: This release supports exponential substitution for non-parametric problems, primal and stopped decomposition for parametric problems, and a polynomial approximation based on nested sums.
Release Notes: This release adds support for approximating quasi-polynomials by polynomials, computing bounds of quasi-polynomials, and both a primal and a stopped Barvinok decomposition for non-parametric problems.
Release Notes: 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.
Release Notes: This release adds some documentation, a new polymake client, and an application for computing the Ehrhart quasi-polynomial of a polytope.
Release Notes: This release fixes the PIP-based handling of existential variables using the lastest version of PIP. The use of Omega as a preprocessor is supported. The Hadamard product was added on generating functions. Experimental support for the enumeration of unions of polytopes was added.
Release Notes: This release adds an omega calculator interface and fixes some minor bugs.