1 This is a (partial) reimplementation of latte
2 (http://www.math.ucdavis.edu/~latte/)
3 using polylib (http://icps.u-strasbg.fr/polylib/ or
4 http://www.kotnet.org/~skimo/polylib/).
6 Next to polylib, it uses NTL (http://shoup.net/ntl/)
7 Mac users may want to apply NTL_5_3_2.patch
9 Optionally, PIP (http://www.prism.uvsq.fr/~cedb/bastools/piplib.html)
10 can be used during enumeration of integer projections.
12 Both NTL and polylib need to have been compiled with gmp
14 For NTL this means you have to specify
17 Suppose you want to put everyting in /opt,
18 Then you configure/compile polylib using
20 ./configure --with-libgmp --prefix=/opt
27 ./configure NTL_GMP_LIP=on PREFIX=/opt
31 Configure this library using
33 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt
37 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt --enable-fractional
45 If you want to put any one of these packages in the default location
46 (typically /usr/local), then the prefix argument can be omitted.
47 For more information on other arguments,
51 Please use a version of the PolyLib library that is not
52 older than August 13th 2004.
54 The input format of barvinok_enumerate is the same as that
55 of testehrhart from the PolyLib distribution.
56 See the PolyLib manual, barvinok_enumerate.c or the
57 examples in tests/ehrhart/ .
59 Note that the fractional representation is subject to change.
61 Sven Verdoolaege <skimo@kotnet.org>