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.