ChangeLog

   1 version: 0.41
   2 date: Tue Mar  6 21:23:21 CET 2018
   3 changes:
   4     - drop support for applying "codegen" to a set from iscc
   5 ---
   6 version: 0.40
   7 date: Thu Feb 23 10:03:21 CET 2017
   8 changes:
   9     - minor bug fixes
  10 ---
  11 version: 0.39
  12 date: Fri Jan 15 09:20:30 CET 2016
  13 changes:
  14     - support more recent versions of NTL
  15     - support more operations in iscc
  16 ---
  17 version: 0.38
  18 date: Tue Jun 16 12:36:25 CEST 2015
  19 changes:
  20     - support more recent versions of GLPK
  21     - support schedule trees in iscc
  22     - minor bug fixes
  23 ---
  24 version: 0.37
  25 date: Mon Apr 14 11:22:44 CEST 2014
  26 changes:
  27     - support NTL 6.0.0
  28     - integrate isl-polylib submodule
  29     - minor bug fixes
  30 ---
  31 version: 0.36
  32 date: Mon Dec  3 09:34:27 CET 2012
  33 changes:
  34     - support fixed power operation in iscc
  35     - use isl for codegen operation in iscc
  36     - drop cloog submodule
  37 ---
  38 version: 0.35
  39 date: Sun Dec 18 10:49:36 CET 2011
  40 changes:
  41     - add pet submodule
  42     - drop omega submodule
  43     - preliminary Python bindings
  44 ---
  45 version: 0.34
  46 date: Thu Jul 14 12:31:21 CEST 2011
  47 changes:
  48     - add cloog submodule
  49     - change license to GPLv2+ (from GPLv2)
  50 ---
  51 version: 0.33
  52 date: Fri Mar 18 17:35:10 CET 2011
  53 changes:
  54     - add isl_set_apply_pw_qpolynomial
  55     - drop piplib submodule
  56     - barvinok_bound and barvinok_summate now accept input in isl notation
  57     - use isl for more operations
  58     - improved iscc
  59 ---
  60 version: 0.32.1
  61 date: Mon Sep 13 11:38:47 CEST 2010
  62 changes:
  63     - fix parameter alignment in iscc
  64 ---
  65 version: 0.32
  66 date: Fri Sep 10 14:58:48 CEST 2010
  67 changes:
  68     - support named and nested spaces
  69     - support union sets and maps
  70     - add isl_map_apply_pw_qpolynomial
  71     - use union sets and maps in iscc
  72     - support codegen operation in iscc if CLooG is available
  73 ---
  74 version: 0.31
  75 date: Tue Jun 29 13:18:52 CEST 2010
  76 changes:
  77     - use isl for argument parsing
  78     - minor compilation fixes
  79     - drop bernstein library in favor of isl implementation
  80     - drop Omega calculator
  81     - the Omega submodule is no longer compiled by default
  82     - improved isl based calculator
  83     - drop barvinok_enumerate_pip_with_options
  84 ---
  85 version: 0.30
  86 date: Wed Mar 10 18:10:33 CET 2010
  87 changes:
  88     - add isl interface and new isl based calculator
  89     - barvinok_enumerate now returns NaN on infinite problems
  90     - minor compilation and bug fixes
  91     - support newer versions of TOPCOM
  92 ---
  93 version: 0.29
  94 date: Wed Jul 22 15:14:01 CEST 2009
  95 changes:
  96     - new version of Laurent expansion based exact summation
  97     - minor compilation and bug fixes
  98     - add semigroup_holes application
  99     - add vector_partition_chambers application
 100 ---
 101 version: 0.28
 102 date: Thu Oct 16 21:56:01 CEST 2008
 103 changes:
 104     - add omega as submodule
 105     - minor compilation and bug fixes
 106 ---
 107 version: 0.27
 108 date: Sun May  4 23:42:49 CEST 2008
 109 changes:
 110     - add Parker's library for DFA based counting
 111     - support nested sums based exact summation
 112     - support Laurent expansion based exact summation
 113     - handle equalities and factors in summation
 114     - support range propagation for computing bounds
 115     - support computation of exact bound through iteration
 116     - fix conversion from GiNaC's numeric to Values
 117 ---
 118 version: 0.26
 119 date: Wed Jan 16 23:45:17 CET 2008
 120 changes:
 121     - support computation of generating functions in barvinok_enumerate_e
 122     - support polymake 2.3
 123     - support GiNaC 1.3.8 and newer
 124     - support summation using Bernoulli formula
 125     - add and use zsolve from 4ti2 for computing Hilbert bases of cones
 126     - support use of piplib for solving LPs
 127     - add polyhedron_integer_hull and polytope_minimize
 128     - add polytope_lattice_width for computing the lattice widths of polytopes
 129 ---
 130 version: 0.25
 131 date: Tue Sep 11 22:02:22 CEST 2007
 132 changes:
 133     - add PolyLib and piplib as submodules
 134     - remove compatibility with old versions of PolyLib and piplib
 135     - support use of piplib for basis reduction
 136     - support summation using local Euler-Maclaurin formula for 2D polytopes
 137     - support TOPCOM based chamber decompositions
 138     - simplify primal decomposition
 139 ---
 140 version: 0.24
 141 date: Sat Jun 30 23:37:31 CEST 2007
 142 changes:
 143     - support exponential (Todd) substitution for non-parametric problems
 144     - support primal and stopped decomposition on parametric problems
 145     - support nested sums polynomial approximation of quasi-polynomials
 146     - add barvinok_summate for summating a polynomial over a polytope
 147     - speed improvements in barvinok_count and polyhedron_sample
 148 ---
 149 version: 0.23
 150 date: Sat Apr 28 20:10:35 CEST 2007
 151 changes:
 152     - use arpg for argument parsing in most commands
 153     - |-
 154       support polynomial approximations of quasi-polynomials, including
 155       volume computation, Meister's method and replacing fractional parts
 156       by constants
 157     - add barvinok_maximize for computing upper (and lower) bounds
 158     - support non-parametric primal and stopped Barvinok decomposition
 159     - periodic number representation now run-time configurable
 160     - drop support for ancient PolyLib versions
 161     - simplified partitioning of chamber complex
 162     - add evalue_eval, an exact version of copmute_evalue
 163     - improved handling of large generating functions
 164     - integrate barvinok_series functionality into barvinok_enumerate
 165     - support use of cdd for solving LPs in basis reduction
 166     - initial support for computing bounds over quasi-polynomials
 167     - recursive Bernstein expansion
 168     - corrections and improvements of lexmin
 169     - optionally print quasi-polynomial as list of polynomials
 170     - add some documentation
 171 ---
 172 version: 0.22
 173 date: Tue Oct 31 23:15:15 CET 2006
 174 changes:
 175     - include bernstein library with interface to barvinok and occ
 176     - some occ clean-ups
 177     - barvinok_count now only returns -1 for unbounded polyhedra with integer points
 178     - preliminary implementation of projection via neighborhood complexes
 179     - implement generalized basis reduction
 180     - add polyhedron_sample
 181     - add polytope_scan
 182     - add lexmin
 183     - some internal reorganization
 184     - some gen_fun clean-ups and optimizations
 185     - plug some memory leaks
 186     - fix some corner cases
 187     - shared libraries are no longer built by default
 188     - introduce barvinok_options to pass to functions instead of just MaxRays
 189     - use same LLL reduction parameter that LattE uses
 190     - add some documentation
 191 ---
 192 version: 0.21
 193 date: Thu Jun 22 20:49:11 CEST 2006
 194 changes:
 195     - add some documentation
 196     - add barvinok_ehrhart
 197     - add h_star_vector polymake client
 198     - fix some corner cases
 199     - more experimental support for enumerating unions of polytopes
 200     - rename cdd2polylib.pl to latte2polylib.pl
 201 ---
 202 version: 0.20
 203 date: Wed Feb 22 12:01:23 CET 2006
 204 changes:
 205     - fix PIP-based reduction by removing some code and assuming a recent PIP
 206     - some memory leaks plugged
 207     - optionally use Omega as a preprocessor in barvinok_enumerate_e
 208     - integrate verif_ehrhart_e into barvinok_enumerate_e
 209     - barvinok_series handles more problem with equalities
 210     - add gen_fun::Hadamard_product
 211     - experimental support for enumerating unions of polytopes
 212 ---
 213 version: 0.19
 214 date: Fri Jan 20 22:14:44 CET 2006
 215 changes:
 216     - include Omega Calculator interface occ
 217     - print_enode creates parameter names if none are provided
 218     - only use PIP to project out some variables
 219     - some header file fixes
 220     - C89 fixes again
 221 ---
 222 version: 0.18
 223 date: Thu Sep 15 11:27:19 CEST 2005
 224 changes:
 225     - factor polyhedra into independent parts before enumeration
 226     - make "random vector" specialization more robust
 227     - speed up verif_ehrhart by only checking inside the context
 228     - remove {Param,}Polyhedron_Reduce
 229     - rename triangularize_cone to triangulate_cone
 230     - generalize computation of lexmin/max using PIP
 231     - compute the number of lexsmaller elements using PolyLib's LexSmaller
 232 ---
 233 version: 0.17
 234 date: Mon Aug  1 12:23:50 CEST 2005
 235 changes:
 236     - fix some configuration problems
 237     - include minimal polymake client
 238 ---
 239 version: 0.16
 240 date: Thu Jun 30 12:10:29 CEST 2005
 241 changes:
 242     - implement "breadth-first" incremental specialization
 243     - implement non-incremental version for series computation
 244     - make non-incremental specialization the default again
 245     - check for bad PolyLib version at runtime
 246     - compiles on Windows (mingw32)
 247     - add version option
 248     - allow crosscompilation
 249     - compute the coefficients of an Ehrhart series
 250     - fix conversion of PIP output to polyhedra
 251     - allow direct verification of Ehrhart series
 252 ---
 253 version: 0.15
 254 date: Sun Dec 12 23:00:40 CET 2004
 255 changes:
 256     - export Polyhedron_Project
 257     - allow verification of step-functions computed from Ehrhart series
 258     - optionally compute step-functions incrementally
 259     - disable possibly incorrect optimization
 260     - minor optimizations in Ehrhart series computations
 261 ---
 262 version: 0.14
 263 date: Wed Nov 17 19:22:23 CET 2004
 264 changes:
 265     - use code for computing series to count non-parametric polytopes
 266     - add conversion from series to explicit function
 267     - fix removal of redundant equalities
 268 ---
 269 version: 0.13
 270 date: Sat Oct 16 12:13:30 CEST 2004
 271 changes:
 272     - use slightly larger random numbers
 273     - change basis to remove existential variable
 274     - fix bug in reduction
 275     - handle empty PIP solution
 276     - add utility to remove equalities
 277 ---
 278 version: 0.12
 279 date: Sun Oct  3 20:47:11 CEST 2004
 280 changes:
 281     - reduce memory requirements
 282     - add cdd2polylib.pl
 283     - add patch for NTL 5.3.2
 284     - experimental support for Ehrhart series
 285     - compile fix on systems that lack <getopt.h>
 286 ---
 287 version: 0.11
 288 date: Sat Sep 18 14:49:40 CEST 2004
 289 changes:
 290     - fix minor bugs
 291     - find and use PIP if available
 292     - don't overallocate matrices on newer PolyLibs
 293     - verification program for enumeration of integer projections
 294     - summation of enumerations
 295     - avoid gccisms
 296     - support older versions of GMP
 297 ---
 298 version: 0.10
 299 date: Tue Jul  6 22:09:11 CEST 2004
 300 changes:
 301     - install header files
 302     - modulo representation changed to fractionals
 303     - perform some simplifications on the modulo representation
 304     - barvinok_enumerate returns a malloc'ed evalue
 305     - a few bugs in barvinok_enumerate_e removed
 306     - optionally print an indication of the size of an enumeration
 307     - emask added
 308     - bug in triangularization fixed
 309     - bug in polyhedron reduction fixed
 310     - verif_ehrhart.c should compile on C89 systems again
 311 ---
 312 version: 0.09
 313 changes:
 314     - bug in polyhedron reduction fixed
 315 ---
 316 version: 0.08
 317 date: Sun Feb 22 21:15:00 CET 2004
 318 changes:
 319     - remove remaining part of Kristof's Ehrhart manipulation code
 320     - optimize modulo expression based on validity domain
 321     - support partition evalues
 322     - factor out 1D polytopes
 323     - validity domains can now be unions of polytopes
 324     - optionally convert modulo representation to lookup-table
 325     - rename indicator to relation
 326     - add DomainIncludes
 327 ---
 328 version: 0.07
 329 changes:
 330     - support "indicator" evalues
 331     - support equalities for modulo representation
 332 ---
 333 version: 0.06
 334 changes:
 335     - remove part of Kristof's Ehrhart manipulation code
 336     - partial support for modulo representation
 337     - support cvs version of PolyLib
 338 ---
 339 version: 0.05
 340 date: Thu Nov 27 13:35:59 CET 2003
 341 changes:
 342     - |-
 343       include code from Kristof Beyls for manipulating Ehrhart
 344       polynomials
 345     - |-
 346       implement barvinok_enumerate for constructing Ehrhart
 347       polynomials using barvinok's algorithm
 348 ---
 349 version: 0.04
 350 date: Thu Nov  6 01:36:25 CET 2003
 351 changes:
 352     - |-
 353       allow specification of max #constraints
 354       for those without automatically growing chernikova tables
 355     - fix a few small bugs
 356     - some minor optimizations
 357 ---
 358 version: 0.03
 359 date: Mon Nov  3 16:35:57 CET 2003
 360 changes:
 361     - fix a number of bugs
 362     - add tests
 363 ---
 364 version: 0.02
 365 date: Mon Oct 20 14:15:45 CEST 2003
 366 changes:
 367     - change name from count to barvinok_count
 368     - return -1 if polyhedron is unbounded
 369     - trivially optimize counting in presence of some independent constraints