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/)
8 Optionally, PIP (http://www.prism.uvsq.fr/~cedb/bastools/piplib.html)
9 can be used during enumeration of integer projections.
11 Both NTL and polylib need to have been compiled with gmp
13 For NTL this means you have to specify
16 Suppose you want to put everyting in /opt,
17 Then you configure/compile polylib using
19 ./configure --with-libgmp --prefix=/opt
26 ./configure NTL_GMP_LIP=on PREFIX=/opt
30 Configure this library using
32 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt
36 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt --enable-fractional
44 If you want to put any one of these packages in the default location
45 (typically /usr/local), then the prefix argument can be omitted.
46 For more information on other arguments,
50 Please use a version of the PolyLib library that is not
51 older than August 13th 2004.
53 The input format of barvinok_enumerate is the same as that
54 of testehrhart from the PolyLib distribution.
55 See the PolyLib manual, barvinok_enumerate.c or the
56 examples in tests/ehrhart/ .
58 Note that the fractional representation is subject to change.
60 Sven Verdoolaege <skimo@kotnet.org>