isl_map_transitive_closure: handle existentials

isl_map_deltas: preserve dimension names

isl_map_print: support LaTeX output format

isl_map_simplify: don't remove any div definitions if all divs are known

isl_map_simplify is called from within compute_divs, so we need
to make sure it doesn't remove any divs just computed.
Unfortunately, being more strict about not removing any div definition
means that we break some test cases, so they are disabled now.
Perhaps we can think of a better way of making the tests pass later.

isl_map_intersect: add special cases for empty input maps

In particular, if both input maps consist of a single basic map
and that of the first map turns out to be empty, then we need
to take into account that after cowing the map, it may not
have any basic maps anymore.

isl_transitive_closure.c: path_along_delta: share code for handling {in,}equalities

isl_transitive_closure.c: path_along_delta: try and avoid splitting off identity

Usually, path_along_delta returns a union of the identity mapping and
of paths of length at least 1.  In some cases, the paths of length
0 correspond exactly to the identity mapping and then it is more
efficient to return a single mapping with paths of length at least 0.

export isl_qpolynomial_move_dims

add isl_qpolynomial_get_ctx

add isl_pw_qpolynomial_fold_get_dim

add some qpolynomial test functions

add isl_pw_qpolynomial_fold_{max,min}

isl_tab_min_at_most_neg_one: restore sample value of non-redundant constraints

isl_map_coalesce: avoid reconsidering pairs considered before on change

Before, whenever anything changed (two elements get fused or one
element gets dropped), we would start all over from scratch.
Pairs that were already considered before and that are not related
to the change do not need to be reconsidered.
We may still reconsider some pairs, even after this commit.
In particular, if one element gets dropped, then we will still reconsider
all combinations with the element that did not get dropped.

isl_tab.c: update debugging aid check_table to presence of big parameter

isl_tab_relax: make sure no non-negative rows get a negative sample value

isl_tab_pip.c: always set row sign of found row to isl_tab_row_neg

first_neg returns row that is obviously negative and usually
sets the sign of the row to isl_tab_row_neg.  However, if
the row happens to be obviously negative because the big parameter
has a negative coefficient, then it would fail to set the row sign,
while update_row_sign check that the row sign is effectively set
to isl_tab_row_neg.

isl_printer_print_basic_{set,map}: add closing "}"

They were removed by accident in commit 5aef299 (add isl_printer).

export isl_set_split_dims

add isl_set_recession_cone

add isl_set_dim_is_bounded

isl_map_transitive_closure: break early if input map doesn't compose with itself

isl_map_transitive_closure: coalesce after each step

Without coalescing, the number of disjuncts in the result
is exponential in the number of disjuncts in the input.

export isl_pw_qpolynomial_coalesce

isl_tab.c: unrelax: restore row if variable is non-negative

Unrelaxing a constraint means that the constraint is tightened.
The sample value may therefore become negative and then have to
restore the row again.  This is guaranteed to succeed because
the tableau was supposed to be in a valid state before the constraint
was relaxed.

isl_tab.c: cut_to_hyperplane: add extra sanity check

add isl_pw_qpolynomial_fold_size

add isl_pw_qpolynomial_split_dims

isl_qpolynomial_max: fix detection of inactive variables

Without this patch, some active set dimensions would be treated
as inactive and effectively be removed, resulting in an incorrect maximum.

doc: fix transitive closure example

isl_convex_hull.c: valid_direction: properly normalize valid direction

The original code would only normalize all but one of the coordinates
of the valid direction, possibly resulting in a scaled direction, which
may no longer be valid.  Normalize the whole vector, resulting in only
a change of representation and not a change of direction.

isl_convex_hull.c: simplify computation of initial facet constraint

The old implementation was needlessly complicated and apparently
incorrect (witness the extra test case).
The simplified version passes the new test case.

The new test case is based on a bug report for CLooG/isl
by Muthu Manikandan <muthumanikandan@gmail.com>.

export isl_pw_qpolynomial_is_zero

add isl_pw_qpolynomial_fold_dim

add isl_int_get_d

add isl_pw_qpolynomial_min

add isl_pw_qpolynomial_fix_dim

add isl_pw_qpolynomial_add_dims

export isl_dim_move

isl_pw_qpolynomial_fold_add: remove redundant quasipolynomials from folds

isl_qpolynomial_alloc: take initial struct isl_upoly as argument

add isl_set_solve_lp

isl_polynomial.c: separate out fold functionality to isl_fold.c

isl_pw_qpolynomial_{fold_,}print: set output format

improve isl_pw_qpolynomial_move

add isl_mat_move_cols

add isl_pw_qpolynomial_drop_dims

add isl_set_drop

add isl_pw_qpolynomial_involves_dims

isl_stream: accept "%" token

doc: fix typo

add basic isl_pw_qpolynomial_fold_coalesce

add isl_pw_qpolynomial_fold_get_ctx

isl_printer_print_pw_qpolynomial{,_fold}: allow printing in "C" format

add isl_qpolynomial_get_den

add isl_pw_qpolynomial_gist and isl_pw_qpolynomial_fold_gist

export isl_map_gist

add isl_map_insert

add isl_printer

add isl_pw_qpolynomial_max

isl_qpolynomial_add: replace 0-degree polynomials by their constant terms

add isl_set_eliminate

isl_map_range: optimize case where the number of input dimensions is zero

isl_pw_qpolynomial_print: fix printing of unnamed piecewise quasipolynomials

document transitive closure implementation

isl_stream: accept "." token

add isl_pw_*_intersect_domain

add isl_pw_*_domain

isl 0.02

isl_pw_templ.c: copy: fix return

isl_polynomial.c: qpolynomial_fold_alloc: fix up condition

update AUTHORS

isl_pip: use isl_set_print instead of isl_set_dump to print results

add some pip tests from the piplib distribution

don't print newline in ISL_FORMAT_ISL

use typedef to ensure argument to mp_get_memory_functions has C linkage

add isl_obj_pw_qpolynomial_fold

add isl_pw_qpolynomial_fold_eval

add isl_pw_qpolynomial_fold

add isl_pw_qpolynomial_foreach_lifted_piece

add isl_set_lift

add isl_set_from_point

add isl_mat_insert_cols

add isl_pw_qpolynomial_dim

add isl_pw_qpolynomial_foreach_piece

add isl_pw_qpolynomial_get_dim

add isl_div_dim

isl_stream: allow "_" in tokens

isl_stream: accept "@" token

isl_map_read: accept '*' in affine expressions

isl_qpolynomial_eval: use consistent dimension for result

doc: update to removal of piplib as a submodule

doc: fix typo

isl_stream_read_obj: add support for reading piecewise quasipolynomials

add isl_stream_read_obj

add generic isl_obj

add support for (piecewise) quasipolynomials

add isl_map_move

isl_stream: parse NaN

isl_stream: parse infty