ChangeLog

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