perform another range reduction after summation
[barvinok.git] / README
blob07c271061e2dd4ef30b3ad31929a46107e93914e
1 This is a (partial) reimplementation of latte
2 (http://www.math.ucdavis.edu/~latte/)
3 using polylib (http://icps.u-strasbg.fr/polylib/).
5 Next to polylib, it uses NTL (http://shoup.net/ntl/)
7 Both NTL and polylib need to have been compiled with gmp
8 support.
9 For NTL this means you have to specify
10     NTL_GMP_LIP=on
12 Note that the fractional representation is subject to change.
14 Sven Verdoolaege <skimo@kotnet.org>