ChangeLog

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