README

   1 barvinok is a library for counting the number of integer points
   2 in parametric and non-parametric polytopes as well as projections
   3 of such sets.
   4 For parametric polytopes the count is represented by either
   5 an explicit function or a generating function.
   6 The first comes in the shape of a piece-wise step-polynomial.
   7 This is a generalization of both Ehrhart quasi-polynomials
   8 and vector partition functions.
   9 The second is a generalization of an Ehrhart series.
  10
  11 This library shares some functionality with LattE
  12 (http://www.math.ucdavis.edu/~latte/)
  13 and uses PolyLib (http://icps.u-strasbg.fr/polylib/ or
  14 http://www.kotnet.org/~skimo/polylib/) and
  15 NTL (http://shoup.net/ntl/).
  16
  17 Additionally, the following packages can optionally be used
  18 - PIP (http://www.piplib.org/)
  19 - Omega (http://www.cs.umd.edu/projects/omega/ or
  20     http://www.liacs.nl/~sverdool/gitweb.cgi?p=omega.git;a=summary)
  21 - GLPK (http://www.gnu.org/software/glpk/)
  22
  23 Both NTL and PolyLib need to have been compiled with GMP
  24 support.
  25 For NTL this means you have to specify
  26     NTL_GMP_LIP=on
  27
  28 Suppose you want to put everything in /opt,
  29 Then you configure/compile PolyLib using
  30
  31 ./configure --with-libgmp=/path/to/gmp --prefix=/opt
  32 make
  33 make install
  34
  35 For NTL,
  36
  37 cd src
  38 ./configure NTL_GMP_LIP=on PREFIX=/opt GMP_PREFIX=/path/to/gmp
  39 make
  40 make install
  41
  42 For Omega,
  43
  44 vi -c '/DESTDIR=/|s/=.*$/=\/opt/|wq' Makefile.config
  45 make libomega.a libcode_gen.a
  46 make install
  47
  48 For piplib,
  49
  50 ./configure --with-gmp=/path/to/gmp --prefix=/opt
  51 make
  52 make install
  53
  54 Configure this library using
  55
  56 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt
  57
  58 or
  59
  60 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt --disable-fractional
  61
  62 If you want shared libraries, then configure with the --enable-shared option.
  63 Note that this doesn't work on some systems because we link in libntl, which
  64 is only avaiable as a static library.
  65
  66 Then
  67
  68 make
  69 make check
  70 make install
  71
  72 If you want to put any one of these packages in the default location
  73 (typically /usr/local), then the prefix argument can be omitted.
  74 For more information on other arguments,
  75
  76 ./configure --help
  77
  78 Please use PolyLib version 5.21.0 or later.
  79
  80 The input format of barvinok_enumerate is the same as that
  81 of testehrhart from the PolyLib distribution.
  82 See the PolyLib manual, barvinok_enumerate.c or the
  83 examples in tests/ehrhart/ .
  84
  85 Note that the fractional representation is subject to change.
  86
  87 The library supports three specialization algorithms.
  88 The first performs a direct specialization using a random vector.
  89 The second performs a "depth-first" incremental specialization.
  90 The third performs a "breadth-first" incremental specialization.
  91
  92 The first is usually the fastest, but can fail if the random
  93 vector happens to be chosen incorrectly.
  94 The incremental algorithms should never fail, but can be slower,
  95 in some cases by quite a bit.  The breadth-first version should
  96 be faster than the depth-first version, especially on polytopes
  97 of moderate dimension with a lot of "structure", but can require
  98 more memory.
  99
 100 Sven Verdoolaege <skimo@kotnet.org>