ChangeLog

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