version 0.21

README: document optional installation of Omega and piplib

doc: document Omega interface

doc: (minimally) document polymake clients

doc: further document barvinok_ehrhart

document barvinok_union

doc: document barvinok_ehrhart

doc: document some options

doc: add reference for NTL

doc: describe vertices based input specification

doc: typo

doc: add subsections

use "git describe" to describe version

add doc to distribution

doc: warn that the output may look different

doc: barvinok_count no longer performs manual counting.

See e038931e97f805f1c076267662336f70ff02319b.

doc: replace "Appendix" by "Section"

doc: reflect rename of cdd2polylib.pl to latte2polylib.pl

The name was changed in a993c242b429a547b2a67b080def6ec9edd6cea3

doc: resolve undefined references through my thesis

doc: add title page

doc: user guide

Mostly copied from my thesis text.

rename cdd2polylib.pl to latte2polylib.pl

Apperently, the input format is specific to LattE and not equivalent
to cdd input.

polymake/h_star_vector.cc: client to compute the h^*-vector of a polytope

Also known as the \delta-vector or the a-vector.

polymake/convert.cc: extract polymake_constraints2polylib from lattice_points

util.c: export Cone_over_Polyhedron

barvinok_ehrhart: compute ehrhart (quasi-)polynomial/series of a polytope.

This application provides no new functionality, but may be easier
to use for our mathematical friends.
Without the --series option, calling barvinok_ehrhart on a polytope
is equivalent to calling barvinok_enumerate on the cone generated
by the polytope.
With the --series option, calling barvinok_ehrhart on a polytope
is equivalent to calling barvinok_series on the cone generated
by the polytope.

barvinok_count: allow polytope to be specified by its vertices.

A matrix preceded by the word "vertices" on a line by itself
will be interpreted as a list of vertices in PolyLib notation,
i.e., an n by (d+2) matrix, where n is the number of vertices/rays
and d the dimension.  The first column is 0 for lines and 1 for
vertices/rays.  The final column is the denominator or 0 for rays.
Note that for barvinok_count, the first column will always be 1.

Feature requested by Josephine Yu.

genfun.cc: fix add_union method

A typo snuck in when this method was introduced resulting
in the Hadamard product being taken of a generating function
with itself, ignoring the other generating function.

barvinok_union: optionally print generating function

barvinok_count: handle infinite polyhedra with no integer points

In particular, we perform the test for infinite polyhedra
after removing the equalities.

barvinok_count: stop counting if one of the factors is empty

Also, return -1 for polyhedra with infinite factors, rather than
minus the number of points in the finite factors, or worse, if
the polyhedron has an even number of infinite factors, a positive number.

evalue_frac2floor_in_domain: allow argument of resulting floor to be negative

evalue_frac2floor_in_domain tries to make the argument of the resulting
floor non-negative, since some callers depend on this property.
However, other callers do not care and will call evalue_frac2floor_in_domain
even when the argument of some fractionals can be arbitrarily negative.
Allow such cases to pass through.

util.c: specifically indicate empty sets in Polyhedron_pprint

util.c: move align_matrix from barvinok.cc

mat_util.cc: some useful functions extracted from genfun.cc

evalue.c: export reduce_evalue_in_domain

evalue.c: rename reduce_in_domain to evalue_range_reduction_in_domain

barvinok.cc: remove ancient debugging code

evalue.c: export evalue_frac2floor_in_domain

gen_fun::substitute: add more detailed explanation

reduce_domain: handle NULL CEq

This may happen if there are no parameters.
Usually, we would not call reduce_domain in this case, but we may
as well support it.

barvinok.cc: move reduce_domain into separate file

util.c: add Polyhedron_pprint

lattice_point.cc: lattice points computation extracted from barvinok.cc

conversion.cc: add values2zz and rays2 from barvinok.cc

evalue.c: add evalue_zero

and use evalue_zero instead of private new_zero_ep in barvinok.cc

decomposer: extract out vertex_decomposer from barvinok.cc

barvinok.cc: extract out some functionality into decomposer and conversion

util.c: document Euclid function

occ: plug some more (potential) memory leaks

occ: don't use freed variable in error message

barvinok.cc: add some documentation to lattice point computation

barvinok_enumerate_union: call gen_fun::add_union

gen_fun: add add_union method

barvinok.cc: document SplitOnVar and remove some redundant parameters.

remove inappropriate uses of Polyhedron2Param_SimplifiedDomain

Calling Polyhedron2Param_SimplifiedDomain with NULL values for the
last two arguments has been declared invalid in the latest versions
of PolyLib.

version 0.20

create correct GIT_HEAD_ID in distribution

barvinok_union: document input format

Merge branch 'new_piplib'

only run tests that require piplib when piplib is available

barvinok_enumerate_e: only link in omega libraries if they are available

check for piplib 1.3.6

some examples from Rachid to test barvinok_enumerate_e

add barvinok_union.c

add barvinok_enumerate_union function

gen_fun: add Hadamard_product method

gen_fun::operator evalue *(): fix memory leaks.

genfun.cc:print_power: remove spaces around "*" in output.

barvinok_series: return empty gen_fun for empty polytope.

barvinok_series: remove unused variables.

barvinok.cc: extract out some code common to generating function counting.

barvinok.cc: introduce np_base, a base class for non-parametric counting.

barvinok.cc: do virtual polar_decomposer inheritance "manually"

The class hierarchy is getting pretty complicated.  Removing the
explicit virtual inheritance makes it easier to extract out some
more common code.

barvinok_series: remove some more equalities from the enumerated polyhedron.

remove_equalities_p does not remove equalities if they impose
some affine combination of the parameters to be a multiple of some
integer bigger than 1.
We use compress_parms to replace the current set of parameters
by a different set of parameters that have no such constraint.

After computing the generating function based on the new set
of parameters, we then substitute the original set of parameters
back in this generating function.

check for compress_parms function

gen_fun: add substitute method.

This method changes a generating function defined in terms
of some parameters into a generating function defined in terms
of another set of parameters.

barvinok/genfun.h: a bit more documentation.

adapt determination of git HEAD to recent git versions

verify_main.cc: fix typo that would let check_series fail on multi-D problems.

verify_main.cc: also print explicit function when verbose

gen_fun::add: normalize coefficients

test barvinok_enumerate_e --omega

barvinok_enumerate_e: only provide --pip option if piplib is available.

barvinok_enumerate_e.cc: memory clean up.

integrate verif_ehrhart_e into barvinok_enumerate_e

barvinok_enumerate_e: rename --range option to --range-reduction

barvinok_enumerate_e: optionally use omega to simplify input

omega/convert.cc: add conversion from PolyLib to Omega

omega/convert.cc: extract out conversion from Omega to PolyLib

barvinok/util.h: include gmp.h

let OMEGA_ vars contain omega related flags exclusively

reduce_in_domain: fix some memory leaks

scan_quast: combine quast parts if we are projecting out.

barvinok_enumerate_pip: no need to remove negative values.

There was probably something wrong with this preprocessing
and it's unneeded since we can let piplib handle negative values.

pip_projectout: allow unknows and parameters to be negative.

pip_projectout: let piplib simplify solution.

barvinok_enumerate_e: print current problem in form that can be used as input.

occ: reduce evalue before printing

version 0.19