ChangeLog

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