add isl_map_deltas

add isl_basic_set_compare_at

clear rational flags from resulting convex hull

isl_basic_map_is_empty: don't compute sample for rational sets

convex_hull: use elimination based convex hull for unbounded polyhedra

wrap_facet: missing error path

isl_convex_hull: fix construction of initial facet

We need to find a bound on a constraint over the intersection
of the current hyperplane with the set, but instead we were
looking at intersections with smaller-dimensional spaces.

isl_basic_map_eliminate_vars: remove all redundant constraints after each step

add isl_basic_set_remove_dims

add isl_set_copy_basic_set and isl_set_drop_basic_set

isl_convex_hull.c: make sure we don't overallocate inequalities

isl_basic_map_affine_hull: allow computation of affine hull of rational sets

isl_convex_hull: fix memory leak in error path

add isl_set_remove_dims

add isl_set_{from,to}_underlying_set

add isl_basic_set_from_underlying_set

isl_basic_map_overlying_set: fix possible NULL access

isl_set_dump: dump more information

add isl_set_extend

add isl_set_intersect

add isl_set_from_map

isl_map_to_polylib: return empty polyhedron instead of NULL for empty set

isl_map_polylib.c: simplify sets after conversion from PolyLib

isl_set_alloc: add check on number of basic sets

isl_equalities.c: add missing include

declare isl_basic_map_drop_inequality

isl_map_polylib.c: add missing include

isl_sample_piplib.c: add missing include

isl_map_piplib.c: fix some warnings

isl_map_piplib.c: add missing include

declare isl_basic_map_drop_equality

isl_input_omega.c: add missing include

isl_mat.c: fix some warnings

declare isl_seq_combine

declare isl_gmp_hash

isl_sample.c: add missing include

add struct_ctx field to isl_set and isl_map

Since isl_sets and isl_maps now know which isl_ctx they belong
to, the isl_ctx argument of many functions can be dropped.

isl_{basic_,}set_read_from_file: allow user to specify number of parameters

add isl_set_read_from_file for reading unions of polyhedra (in polylib format)

isl_basic_set_read_from_file: partial support for Omega style input

add test_inputs to the distribution

add isl_sample_piplib.h to the distribution

Makefile.am: only include piplib in distribution if it has been configured

Makefile.am: remove reference to (re)moved header files

add isl_set_compute_divs

add isl_set_fix_dim_si

isl_map_apply_range: mark result of 1 basic set as "disjoint"

isl_map_dump: print flags

isl_basic_map_affine_hull: compute integer affine hull

sample: remove lineality and skew into positive orthant

These changes are needed if we want isl_basic_set_sample
to always return an actual point.  Without them, the lexmin
may be unbounded and we effectively get a ray.

add trivial affine hull test

add convex hull computation

remove obviously redundant divs based on inequalities

isl_map_affine_hull: perform affine hull on underlying set

affhull: simplify before finalize

extract isl_map_align_divs from isl_affine_hull.c

add isl_map_remove_empty_parts

extract out isl_basic_map_implicit_equalities from isl_basic_map_affine_hull

isl_map_affine_hull: add missing cow

rename isl_map_affine_hull.c to isl_affine_hull.c

add isl_basic_set_read_from_file

link in polylib library in builddir

keep cache of blocks of isl_ints

add some missing tests for invalid input

Ensure all elements in a constraints are zeroed out or explicitly set

isl_basic_map_is_empty: keep sample found for possible later reuse

remove_duplicate_constraints: also detect implicit equalites and conflicting constraints

isl_basic_set_sample: special case 0D and 1D sets

isl_basic_set_sample: remove equalities first

simplify constraints after combining constraints from different sets

remove spurious ; from isl_assert definition

reimplement isl_basic_map_is_empty in terms of isl_basic_set_sample

isl_basic_map_set_to_empty: remove superfluous check

isl_basic_{map,set}: explicitly store constraints defining div

These constraints are redundant, but we need then while performing
various operations, so it is easier to keep them available explicitly.

avoid preprocessor conditionals

isl_basic_map_is_empty: special case known empty basic sets

remove remnants of old "primitive" naming

isl_map_subtract: simplify and finalize parts before checking emptiness

isl_basic_map_gauss: handle redundant or conflicting equalities directly

Fix typo in isl_map_affine_hull

Fix serious bug in normalize_constraints

We would mistakenly relax constraints to include extra integer
points rather than tightening them to remove some rational points.

Initial version of the integer set library

This version is very incomplete and unoptimized.