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.
Example runs: Philippe's simple example, Pugh's example, Example generated by Compaan, Sturmfels' vector partition function example, A3, Petr's Ehrhart series example
The library includes isl and PolyLib and uses NTL.
It uses Barvinok's decomposition which has also been (previously) implemented in LattE.
From release 0.22 until release 0.30, the barvinok distribution included the bernstein library for computing bounds on polynomials over parametric polytopes. This functionality has now been taken over by the isl library.
Since release 0.25, the library can also compute the sum of a polynomial over the integer points in a parametric polygon using local Euler-Maclaurin formulae. The original implementation of this algorithm in Maple can be found here.
Since release 0.30, the barvinok distribution includes the isl library.
See the
project page, the
README,
the
paper,
the
technical report
or the user manual for more information.
See the git repository
for the latest development version.
Older versions are available here.
To be kept informed about new releases, subscribe to the barvinok project on freshmeat.
If you use barvinok, you can let me know by stacking barvinok on ohloh.
For bug reports, feature requests and questions,
|
|
| isl Development |
| Visit this group |
See http://polyhedral.info/software for related software.
Apache/2.0.49 (Unix) mod_fastcgi/2.4.2 Server at garage.kotnet.org Port 80Name Last modified Size Description
Parent Directory -
A3.txt 05-Aug-2010 14:31 4.2K
barvinok-0.36.tar.bz2 03-Dec-2012 08:10 4.7M
barvinok-0.36.tar.gz 03-Dec-2012 08:13 5.5M
barvinok.pdf 03-Dec-2012 08:17 1.0M