ChangeLog

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