1 barvinok is a library for counting the number of integer points
2 in parametric and non-parametric polytopes as well as projections
4 For parametric polytopes the count is represented by either
5 an explicit function or a generating function.
6 The first comes in the shape of a piece-wise step-polynomial.
7 This is a generalization of both Ehrhart quasi-polynomials
8 and vector partition functions.
9 The second is a generalization of an Ehrhart series.
11 This library shares some functionality with LattE
12 (http://www.math.ucdavis.edu/~latte/)
13 and uses PolyLib (http://icps.u-strasbg.fr/polylib/ or
14 http://www.kotnet.org/~skimo/polylib/) and
15 NTL (http://shoup.net/ntl/).
17 Additionally, the following packages can optionally be used
18 - PIP (http://www.piplib.org/)
19 - Omega (http://www.cs.umd.edu/projects/omega/ or
20 http://www.liacs.nl/~sverdool/gitweb.cgi?p=omega.git;a=summary)
21 - GLPK (http://www.gnu.org/software/glpk/)
23 Both NTL and PolyLib need to have been compiled with GMP
25 For NTL this means you have to specify
28 Suppose you want to put everything in /opt,
29 Then you configure/compile PolyLib using
31 ./configure --with-libgmp=/path/to/gmp --prefix=/opt
38 ./configure NTL_GMP_LIP=on PREFIX=/opt GMP_PREFIX=/path/to/gmp
44 vi -c '/DESTDIR=/|s/=.*$/=\/opt/|wq' Makefile.config
45 make libomega.a libcode_gen.a
50 ./configure --with-gmp=/path/to/gmp --prefix=/opt
54 Configure this library using
56 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt
60 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt --disable-fractional
62 If you want shared libraries, then configure with the --enable-shared option.
63 Note that this doesn't work on some systems because we link in libntl, which
64 is only available as a static library.
65 Also note that if you have previously installed a shared library of an older
66 version of barvinok, and you do not install one for this version, then the
67 linker may pick up the old shared library rather than the new static library.
75 If you want to put any one of these packages in the default location
76 (typically /usr/local), then the prefix argument can be omitted.
77 For more information on other arguments,
81 Please use PolyLib version 5.21.0 or later.
83 The input format of barvinok_enumerate is the same as that
84 of testehrhart from the PolyLib distribution.
85 See the PolyLib manual, barvinok_enumerate.c or the
86 examples in tests/ehrhart/ .
88 Note that the fractional representation is subject to change.
90 The library supports three specialization algorithms.
91 The first performs a direct specialization using a random vector.
92 The second performs a "depth-first" incremental specialization.
93 The third performs a "breadth-first" incremental specialization.
95 The first is usually the fastest, but can fail if the random
96 vector happens to be chosen incorrectly.
97 The incremental algorithms should never fail, but can be slower,
98 in some cases by quite a bit. The breadth-first version should
99 be faster than the depth-first version, especially on polytopes
100 of moderate dimension with a lot of "structure", but can require
103 Sven Verdoolaege <skimo@kotnet.org>