README

   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/).
   5
   6 Next to polylib, it uses NTL (http://shoup.net/ntl/)
   7
   8 Both NTL and polylib need to have been compiled with gmp
   9 support.
  10 For NTL this means you have to specify
  11     NTL_GMP_LIP=on
  12
  13 Suppose you want to put everyting in /opt,
  14 Then you configure/compile polylib using
  15
  16 ./configure --with-libgmp --prefix=/opt
  17 make
  18 make install
  19
  20 For NTL,
  21
  22 cd src
  23 ./configure NTL_GMP_LIP=on PREFIX=/opt
  24 make
  25 make install
  26
  27 Configure this library using
  28
  29 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt
  30
  31 or
  32
  33 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt --enable-fractional
  34
  35 Then
  36
  37 make
  38 make check
  39 make install
  40
  41 If you want to put any one of these packages in the default location
  42 (typically /usr/local), then the prefix argument can be omitted.
  43 For more information on other arguments,
  44
  45 ./configure --help
  46
  47 Please use a version of the PolyLib library that is not
  48 older than August 13th 2004.
  49
  50 The input format of barvinok_enumerate is the same as that
  51 of testehrhart from the PolyLib distribution.
  52 See the PolyLib manual, barvinok_enumerate.c or the
  53 examples in tests/ehrhart/ .
  54
  55 Note that the fractional representation is subject to change.
  56
  57 Sven Verdoolaege <skimo@kotnet.org>