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.

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.

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.

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,
Googl
e Groups
isl Development
Visit this group

See http://polyhedral.info/software for related software.

[ICO]NameLast modifiedSizeDescription

[TXT]HEADER.html04-Sep-2013 12:04 2.9K 
[   ]barvinok-0.36.tar.bz202-Sep-2013 23:37 4.7M 
[   ]barvinok-0.36.tar.gz02-Sep-2013 23:38 5.5M 
[   ]barvinok-0.36.tar.lzma02-Sep-2013 23:38 3.2M 
[   ]barvinok-0.37.tar.bz215-Apr-2014 17:29 4.7M 
[   ]barvinok-0.37.tar.gz15-Apr-2014 17:30 5.6M 
[   ]barvinok-0.37.tar.xz15-Apr-2014 17:31 3.4M 
[   ]barvinok.pdf15-Apr-2014 19:37 1.0M 
[IMG]groups_logo_sm.gif04-Sep-2013 12:04 2.6K 
[DIR]log/18-Apr-2014 08:13 -  
[   ]tutorial.pdf04-Sep-2013 11:43 799K 

Apache/2.2.16 (Debian) Server at barvinok.gforge.inria.fr Port 80