avoid increasing "extra" without also extending the div array

The "extra" variable is used to indicate both the number
of extra variables in the columns beyond those in dim
and the number of rows in the div array.
We can therefore not increase extra, without also extending this array.

add isl_set_universe

remove isl_ctx argument from functions accepting isl_dim argument

Since isl_dim structures contain a pointer to a isl_ctx structure,
there is no need to pass in such a pointer separately.

isl_convex_hull.c: remove dead code

The removed code would handle 0D polytopes, but they have
been handled already a couple of lines up and there is no
way for the dimension to change between the two tests.

add isl_constraint_negate

add isl_basic_set_add_constraint for adding manually constructed constraints

The interface is still pretty rudimentary and subject to change.

replace isl_basic_set_constraint by refcounted isl_constraint

The new isl_constraint should hopefully be more consistent with
the other isl_ structures than the old isl_basic_set_constraint.

allow parameters and dimensions to be named

The names of the parameters and dimensions are stored in
the recently introduced isl_dim structure.  To preserve
the names during set or map operations, many direct manipulations
of dimensions have been rewritten in terms of operations
on isl_dim structures.

introduce isl_hash_table and move hashing declarations into include/isl_hash.h

This isl_hash_table will be used in the next commit.
This commit also changes the calling convention of isl_hash_init
to be more consistent with the other isl_hash_ functions/macros.

introduce internal isl_dim_map for representing mappings between dimensions

In particular, when combining constraints from two or more basic sets
or maps, we need to keep track of where the individual coefficients
will end up in the resulting basic set or map.

Currently, only isl_basic_map_apply_range has been modified to
make use of this new mechanism.  The others should follow later.

introduce isl_dim structure for representing shared dimension information

All of isl_basic_set, isl_set, isl_basic_map and isl_map stored
information about the dimension directly.  This information is
now shared in a common isl_dim structure.
Direct accesses to the removed fields have been replaced by calls
to getters.

isl_map.c: avoid potential NULL dereference

Add backup mp_get_memory_functions implementation for use with old gmps

isl_map.c: fix typo in comment

add gist test

update piplib for improved efficiency

add isl_set_dim_is_unique

add isl_set_get_hash

isl_map.c: fix typo in comment

isl_basic_map_alloc_div: clear unused extra coefficients

add isl_basic_set_remove_divs

use GMP flags when compiling isl_test

use uint_32_t from stdint.h instead of u_int_32_t

update piplib for license change and release isl under LGPL 2.1

clear extra coefficients in isl_basic_map_alloc_{in,}equality

Most functions shouldn't care about how many extra variables
there are, only about how many integer divisions have been
allocated.

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