ChangeLog

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