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
Try it! (tutorial)
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.
project page, the
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,
|Visit this group|
See http://polyhedral.info/software for related software.
Name Last modified Size DescriptionApache/2.0.49 (Unix) mod_fastcgi/2.4.2 Server at garage.kotnet.org Port 80
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-0.36.tar.lzma 03-Dec-2012 08:15 3.2M barvinok.pdf 03-Dec-2012 08:17 1.0M compaan.txt 05-Aug-2010 14:20 3.1K ehrhart_degenerate.t..> 15-May-2004 00:03 4.5K petr.txt 17-Nov-2004 20:24 749 philippe.txt 05-Aug-2010 14:12 2.3K pugh.txt 05-Aug-2010 14:21 1.0K sturmfels.txt 05-Aug-2010 14:26 14K tutorial.pdf 04-Dec-2011 11:01 799K