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 Optionally, PIP (http://www.prism.uvsq.fr/~cedb/bastools/piplib.html)
   9 can be used during enumeration of integer projections.
  10
  11 Both NTL and polylib need to have been compiled with gmp
  12 support.
  13 For NTL this means you have to specify
  14     NTL_GMP_LIP=on
  15
  16 Suppose you want to put everyting in /opt,
  17 Then you configure/compile polylib using
  18
  19 ./configure --with-libgmp --prefix=/opt
  20 make
  21 make install
  22
  23 For NTL,
  24
  25 cd src
  26 ./configure NTL_GMP_LIP=on PREFIX=/opt
  27 make
  28 make install
  29
  30 Configure this library using
  31
  32 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt
  33
  34 or
  35
  36 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt --enable-fractional
  37
  38 Then
  39
  40 make
  41 make check
  42 make install
  43
  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,
  47
  48 ./configure --help
  49
  50 Please use a version of the PolyLib library that is not
  51 older than August 13th 2004.
  52
  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/ .
  57
  58 Note that the fractional representation is subject to change.
  59
  60 Sven Verdoolaege <skimo@kotnet.org>