ChangeLog

   1 version: 0.25
   2 date: Tue Sep 11 22:02:22 CEST 2007
   3 changes:
   4     - add PolyLib and piplib as submodules
   5     - remove compatibility with old versions of PolyLib and piplib
   6     - support use of piplib for basis reduction
   7     - support summation using local Euler-Maclaurin formula for 2D polytopes
   8     - support TOPCOM based chamber decompositions
   9     - simplify primal decomposition
  10 ---
  11 version: 0.24
  12 date: Sat Jun 30 23:37:31 CEST 2007
  13 changes:
  14     - support exponential (Todd) substitution for non-parametric problems
  15     - support primal and stopped decomposition on parametric problems
  16     - support nested sums polynomial approximation of quasi-polynomials
  17     - add barvinok_summate for summating a polynomial over a polytope
  18     - speed improvements in barvinok_count and polyhedron_sample
  19 ---
  20 version: 0.23
  21 date: Sat Apr 28 20:10:35 CEST 2007
  22 changes:
  23     - use arpg for argument parsing in most commands
  24     - |-
  25       support polynomial approximations of quasi-polynomials, including
  26       volume computation, Meister's method and replacing fractional parts
  27       by constants
  28     - add barvinok_maximize for computing upper (and lower) bounds
  29     - support non-parametric primal and stopped Barvinok decomposition
  30     - periodic number representation now run-time configurable
  31     - drop support for ancient PolyLib versions
  32     - simplified partitioning of chamber complex
  33     - add evalue_eval, an exact version of copmute_evalue
  34     - improved handling of large generating functions
  35     - integrate barvinok_series functionality into barvinok_enumerate
  36     - support use of cdd for solving LPs in basis reduction
  37     - initial support for computing bounds over quasi-polynomials
  38     - recursive Bernstein expansion
  39     - corrections and improvements of lexmin
  40     - optionally print quasi-polynomial as list of polynomials
  41     - add some documentation
  42 ---
  43 version: 0.22
  44 date: Tue Oct 31 23:15:15 CET 2006
  45 changes:
  46     - include bernstein library with interface to barvinok and occ
  47     - some occ clean-ups
  48     - barvinok_count now only returns -1 for unbounded polyhedra with integer points
  49     - preliminary implementation of projection via neighborhood complexes
  50     - implement generalized basis reduction
  51     - add polyhedron_sample
  52     - add polytope_scan
  53     - add lexmin
  54     - some internal reorganization
  55     - some gen_fun clean-ups and optimizations
  56     - plug some memory leaks
  57     - fix some corner cases
  58     - shared libraries are no longer built by default
  59     - introduce barvinok_options to pass to functions instead of just MaxRays
  60     - use same LLL reduction parameter that LattE uses
  61     - add some documentation
  62 ---
  63 version: 0.21
  64 date: Thu Jun 22 20:49:11 CEST 2006
  65 changes:
  66     - add some documentation
  67     - add barvinok_ehrhart
  68     - add h_star_vector polymake client
  69     - fix some corner cases
  70     - more experimental support for enumerating unions of polytopes
  71     - rename cdd2polylib.pl to latte2polylib.pl
  72 ---
  73 version: 0.20
  74 date: Wed Feb 22 12:01:23 CET 2006
  75 changes:
  76     - fix PIP-based reduction by removing some code and assuming a recent PIP
  77     - some memory leaks plugged
  78     - optionally use Omega as a preprocessor in barvinok_enumerate_e
  79     - integrate verif_ehrhart_e into barvinok_enumerate_e
  80     - barvinok_series handles more problem with equalities
  81     - add gen_fun::Hadamard_product
  82     - experimental support for enumerating unions of polytopes
  83 ---
  84 version: 0.19
  85 date: Fri Jan 20 22:14:44 CET 2006
  86 changes:
  87     - include Omega Calculator interface occ
  88     - print_enode creates parameter names if none are provided
  89     - only use PIP to project out some variables
  90     - some header file fixes
  91     - C89 fixes again
  92 ---
  93 version: 0.18
  94 date: Thu Sep 15 11:27:19 CEST 2005
  95 changes:
  96     - factor polyhedra into independent parts before enumeration
  97     - make "random vector" specialization more robust
  98     - speed up verif_ehrhart by only checking inside the context
  99     - remove {Param,}Polyhedron_Reduce
 100     - rename triangularize_cone to triangulate_cone
 101     - generalize computation of lexmin/max using PIP
 102     - compute the number of lexsmaller elements using PolyLib's LexSmaller
 103 ---
 104 version: 0.17
 105 date: Mon Aug  1 12:23:50 CEST 2005
 106 changes:
 107     - fix some configuration problems
 108     - include minimal polymake client
 109 ---
 110 version: 0.16
 111 date: Thu Jun 30 12:10:29 CEST 2005
 112 changes:
 113     - implement "breadth-first" incremental specialization
 114     - implement non-incremental version for series computation
 115     - make non-incremental specialization the default again
 116     - check for bad PolyLib version at runtime
 117     - compiles on Windows (mingw32)
 118     - add version option
 119     - allow crosscompilation
 120     - compute the coefficients of an Ehrhart series
 121     - fix conversion of PIP output to polyhedra
 122     - allow direct verification of Ehrhart series
 123 ---
 124 version: 0.15
 125 date: Sun Dec 12 23:00:40 CET 2004
 126 changes:
 127     - export Polyhedron_Project
 128     - allow verification of step-functions computed from Ehrhart series
 129     - optionally compute step-functions incrementally
 130     - disable possibly incorrect optimization
 131     - minor optimizations in Ehrhart series computations
 132 ---
 133 version: 0.14
 134 date: Wed Nov 17 19:22:23 CET 2004
 135 changes:
 136     - use code for computing series to count non-parametric polytopes
 137     - add conversion from series to explicit function
 138     - fix removal of redundant equalities
 139 ---
 140 version: 0.13
 141 date: Sat Oct 16 12:13:30 CEST 2004
 142 changes:
 143     - use slightly larger random numbers
 144     - change basis to remove existential variable
 145     - fix bug in reduction
 146     - handle empty PIP solution
 147     - add utility to remove equalities
 148 ---
 149 version: 0.12
 150 date: Sun Oct  3 20:47:11 CEST 2004
 151 changes:
 152     - reduce memory requirements
 153     - add cdd2polylib.pl
 154     - add patch for NTL 5.3.2
 155     - experimental support for Ehrhart series
 156     - compile fix on systems that lack <getopt.h>
 157 ---
 158 version: 0.11
 159 date: Sat Sep 18 14:49:40 CEST 2004
 160 changes:
 161     - fix minor bugs
 162     - find and use PIP if available
 163     - don't overallocate matrices on newer PolyLibs
 164     - verification program for enumeration of integer projections
 165     - summation of enumerations
 166     - avoid gccisms
 167     - support older versions of GMP
 168 ---
 169 version: 0.10
 170 date: Tue Jul  6 22:09:11 CEST 2004
 171 changes:
 172     - install header files
 173     - modulo representation changed to fractionals
 174     - perform some simplifications on the modulo representation
 175     - barvinok_enumerate returns a malloc'ed evalue
 176     - a few bugs in barvinok_enumerate_e removed
 177     - optionally print an indication of the size of an enumeration
 178     - emask added
 179     - bug in triangularization fixed
 180     - bug in polyhedron reduction fixed
 181     - verif_ehrhart.c should compile on C89 systems again
 182 ---
 183 version: 0.09
 184 changes:
 185     - bug in polyhedron reduction fixed
 186 ---
 187 version: 0.08
 188 date: Sun Feb 22 21:15:00 CET 2004
 189 changes:
 190     - remove remaining part of Kristof's Ehrhart manipulation code
 191     - optimize modulo expression based on validity domain
 192     - support partition evalues
 193     - factor out 1D polytopes
 194     - validity domains can now be unions of polytopes
 195     - optionally convert modulo representation to lookup-table
 196     - rename indicator to relation
 197     - add DomainIncludes
 198 ---
 199 version: 0.07
 200 changes:
 201     - support "indicator" evalues
 202     - support equalities for modulo representation
 203 ---
 204 version: 0.06
 205 changes:
 206     - remove part of Kristof's Ehrhart manipulation code
 207     - partial support for modulo representation
 208     - support cvs version of PolyLib
 209 ---
 210 version: 0.05
 211 date: Thu Nov 27 13:35:59 CET 2003
 212 changes:
 213     - |-
 214       include code from Kristof Beyls for manipulating Ehrhart
 215       polynomials
 216     - |-
 217       implement barvinok_enumerate for constructing Ehrhart
 218       polynomials using barvinok's algorithm
 219 ---
 220 version: 0.04
 221 date: Thu Nov  6 01:36:25 CET 2003
 222 changes:
 223     - |-
 224       allow specification of max #constraints
 225       for those without automatically growing chernikova tables
 226     - fix a few small bugs
 227     - some minor optimizations
 228 ---
 229 version: 0.03
 230 date: Mon Nov  3 16:35:57 CET 2003
 231 changes:
 232     - fix a number of bugs
 233     - add tests
 234 ---
 235 version: 0.02
 236 date: Mon Oct 20 14:15:45 CEST 2003
 237 changes:
 238     - change name from count to barvinok_count
 239     - return -1 if polyhedron is unbounded
 240     - trivially optimize counting in presence of some independent constraints