isl_{set,map}_dup: copy subsets instead of duping them

If the subsets are going to be changed, they will be
duped anyway later and otherwise it is a waste to dup them.

isl_basic_map_eliminate_vars: update number of extra vars after each extension

isl_basic_map_gist: unique lower or upper bounds are never redundant

isl_basic_map_convex_hull: unique lower or upper bounds are never redundant

isl_basic_set_gist: remove redundant constraints with same normal without lp

add some functions for manipulating constraints

export isl_basic_set_dup

isl_set_gist: reduce result using equalities of context

add isl_basic_set_interval and isl_basic_set_product

add isl_set_simple_hull

add isl_set_fast_is_disjoint

export isl_set_eliminate_dims

add isl_basic_set_print and isl_set_print for printing in PolyLib format

add isl_{set,map}_fast_is_equal

isl_basic_map_eliminate_vars: ensure variable is eliminated before dropping equality

Before we would call isl_basic_map_gauss, but this is overkill
and it won't work if we eliminate variables that are not in the
final position.

add isl_map_remove_inputs

add isl_set_lower_bound_dim

add isl_set_fast_dim_has_fixed_lower_bound

add isl_basic_set_dim_residue_class

add isl_set_gist

add isl_set_fast_dim_is_fixed and isl_map_fast_input_is_fixed

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