isl_map_simplify.c: separate out isl_basic_map_is_div_constraint

isl_basic_map_from_constraint: keep all divs, even redundant ones

When this function is called by CLooG, it assumes that the position
of the divs will remain the same.  If the redundant divs are removed,
then this may not be the case.
We should probably try to come up with a more robust interface.

isl_basic_map_from_constraint: only return copy of bmap on equality constraints

Commit b39d157 (isl_basic_map_from_constraint: return copy of bmap in
constraint if possible) changed isl_basic_map_from_constraint to return
a copy when this bmap consists of a single constraint in order to handle
the case where a new constraint is created with unknown existentially
quantified variables.  However, if the divs _are_ known, then the div
definition is simply thrown away.  If the single constraint is an equality,
then it may be possible to recover the definition, but if it is an inequality,
then this is not possible and in fact it does not make sense to have unknown divs.
Therefore, only return a copy on equality constraints.

isl_constraint_add_div: correctly set line to first and only constraint

When isl_constraint_add_div was introduced in 3fcebd4 (isl_constraint:
add limited support for adding divs), the equalities were still placed
before the inequalities in the constraint matrix.
This changed in 9eb1488 (isl_basic_map: put inequalities before equalities),
but the implementation of isl_constraint_add_div was not adapted accordingly.
This has probably gone unnoticed because isl_constraint_add_div has only
been used on equality constraints.

isl_pip: rename pip_options to avoid conflict with PipLib's pip_options_free

isl_convex_hull.c: initial_facet_constraint: fix error handling

doc: describe backward incompatible changes

doc: mention discussion group

rename isl_basic_map_convex_hull to isl_basic_map_remove_redundancies

isl_affine_hull.c: outside_point: fix error handling

isl_tab_rollback: avoid double free on error path

isl_tab.c: tab_mat_product: avoid NULL pointer dereference

isl_tab_extend_cons: avoid NULL pointer dereference

implement antiquated isl_basic_set_n_* in terms of isl_basic_set_dim

isl_map_convex_hull: avoid NULL pointer dereference

isl_tab_add_valid_eq: return int instead of isl_tab *

isl_affine_hull.c: affine_hull_with_cone: avoid NULL pointer dereference

isl_equalities.c: parameter_compression_multi: avoid NULL pointer dereference

isl_basic_map_project_out: avoid NULL pointer dereference

isl_coalesce.c: coalesce_pair: avoid NULL pointer dereference

isl_convex_hull.c: extend: fix error handling

implement antiquated isl_set_n_* in terms of isl_set_dim

isl_map_simplify.c: normalize_divs: avoid NULL pointer dereference

isl_input.c: vars_drop: fix error handling

isl_convex_hull.c: uset_convex_hull_wrap_bounded: fix error handling

isl_set_wrap_facet: fix error handling

isl_tab_min: avoid NULL pointer dereference

isl_affine_hull.c: extend_affine_hull: avoid NULL pointer dereference

isl_basic_map_extend: plug memory leak on error path

isl_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereference

isl_basic_set_preimage: avoid NULL pointer dereference

isl_tab_pip.c: no_sol_in_strict: fix error handling

isl_affine_hull.c: equalities_in_underlying_set: plug memory leak on error path

isl_affine_hull.c: affine_hull: fix erro handling

isl_map_project_out: fix error return value

isl_basic_map_intersect_range: avoid NULL pointer dereference

isl_tab_pip.c: find_solutions: fix error handling

isl_basic_map_alloc_dim: fix error handling

isl_basic_map_intersect: avoid NULL pointer dereference

isl_tab_pip.c: sol_map_init: avoid NULL pointer dereference

isl_basic_map_intersect_domain: avoid NULL pointer dereference

isl_flow.c: compute_val_based_dependences: fix error handling

isl_flow_alloc: fix error handling

isl_access_info_compute_flow: fix error handling

isl_{set,map}_fast_is_empty: avoid NULL pointer dereference

isl_flow.c: avoid accessing dim field directly

isl_access_info_compute_flow: avoid NULL pointer dereference

isl_input.c: obj_read: avoid NULL pointer dereference

isl_map_subtract.c: tab_add_constraints: avoid NULL pointer dereference

isl_tab.c: close_row: fix error handling

isl_map_simplify.c: remove_duplicate_divs: avoid NULL pointer dereference

isl_basic_map_affine_hull: avoid NULL pointer dereference

isl_tab_add_eq: return int instead of isl_tab *

isl_map_simplify.c: remove_duplicate_constraints: avoid NULL pointer dereference

isl_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference

isl_basic_map_eliminate_vars: avoid NULL pointer dereference

isl_sample.c: interval_sample: avoid NULL pointer dereference

isl_sample.c: drop_constraints_involving: avoid NULL pointer dereference

isl_stream_new: read_defined_var_list: avoid double free on error

isl_basic_map_intersect: avoid NULL pointer dereference

isl_sample.c: gbr_sample: avoid NULL pointer dereference

isl_test.c: avoid NULL pointer dereference

isl_test: avoid accessing basic set internals

isl_input.c: read_defined_var_list: avoid double free on error

isl_map_convex_hull: avoid NULL pointer dereference

isl_basic_map_normalize_constraints: avoid NULL pointer dereference

isl_basic_map_total_dim: avoid NULL pointer dereference

isl_basic_map_order_divs: avoid NULL pointer dereference

isl_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereference

isl_convex_hull.c: compute_facet: avoid NULL pointer dereference

isl_test.c: map_is_equal: check input

isl_dim.c: copy_names: check input dim

isl_dim_dup: check input dim

isl_basic_map_cow: check result of allocation

isl_stream_new_str: check result of allocation

isl_stream.c: fix typo

isl_tab_pip.c: fix typos

isl_tab.c: fix typos

isl_polynomial.c: fix typo

isl_vertices.c: fix typos

isl_morph.c: fix typo

isl_map.c: fix typo

isl_map_simplify.c: fix typo

isl_input.c: accept more general affine expressions

add isl_vec_add

add isl_vec_scale

add isl_set_is_box

add isl_map_is_translation

export isl_qpolynomial_involves_dims

isl_polynomial.c: add missing include

isl_map_transitive_closure: check whether decomposition gives closed result

Some applications require the result to be closed, even if it is inexact.
The test for closedness can be fairly expensive, but I haven't been able
to trigger it yet, so presumably it will trigger only rarely.
Perhaps we should make the test configurable for those applications
that don't need a closed approximation.

add isl_stream_flush_tokens

add isl_stream_skip_line

add rudimentary error reporting mechanism

add isl_version

isl_point_alloc: avoid potential memory leak on error path

doc: document isl_map_deltas

isl_tab_pip.c: compare all coefficients when checking for duplicate divs

Due to a typo, we would not consider the last coefficient of the div,
possibly resulting in a new div being identified with an existing
div that only differs in that last coefficient.
Apparently, this doesn't happen very often, because it has gone
unnoticed for quite a while.

isl_pw_qpolynomial{,_fold}_gist: use simple hull instead of convex hull

We need a basic set to gist the domain.  We used to take the convex hull
of the input set, but the convex hull operation can be very slow in isl.
Use the simple hull instead.

add isl_set_set_dim_name