add isl_map_is_single_valued

isl_basic_map_foreach_constraint: make sure input has been finalized

Each constraint gets a copy of the input and a line from the constraint
matrix of the input.  If the input wouldn't be finalized, then the copy
would create a duplicate and then the line wouldn't match the basic map.
This is problematic for especially isl_constraint_is_equality.

isl_basic_map_copy: mark duplicated copy as finalized

If an unfinalized copy is needed, the caller will perform an
isl_basic_map_cow on the copy.

isl_basic_set_lift: finalize result

isl_basic_map_move_dims: always finalize result

isl_basic_map_from_constraint: finalize result

isl_access_info_compute_flow: handle may accesses

isl_access_info_compute_flow: handle multi-valued sink access relations

In particular, if any given sink iteration accesses more than one
data element, then we compute dependences for each of these data elements.
Before, we would only compute a dependence for the data elements
that was accessed last before the sink.

remove some unused variables

fix some icc warnings

rename isl_pw_qpolynomial_move and add isl_pw_qpolynomial_fold_move_dims

isl_ctx: keep track of user options

improved argument parsing

isl_options_parse: print help message

add isl_bound test application

add isl_pw_qpolynomial_bound_range

add isl_pw_qpolynomial_fold_morph

add rudimentary isl_morph

add isl_seq_set

isl_equalities.c: fix typo in comment

add isl_mat_insert_rows

add isl_mat_normalize

add isl_mat_diagonal

isl_mat_lin_to_aff: fix error handling

isl_qpolynomial_opt_on_domain: handle empty input

isl_name_alloc: fix error handling

add isl_dim_offset

isl_equalities.c: fix typos in comments

add isl_pw_qpolynomial_fold_covers

add isl_qpolynomial_le_cst

privately export isl_set_is_bounded

add isl_set_count_upto

add isl_set_scan

add isl_stream_read_pw_qpolynomial

add isl_qpolynomial_from_term

add isl_qpolynomial_from_constraint

add isl_basic_set_foreach_bound_pair

add isl_qpolynomial_as_polynomial_on_domain

add isl_qpolynomial_substitute

add isl_basic_set_dims_get_sign

isl_ctx: add zero

add isl_qpolynomial_neginfty

add isl_basic_set_drop

isl_qpolynomial_fold_opt_on_domain: fix typo

isl_pw_*_eval: fix handling of empty input

add isl_basic_set_move_dims

export isl_qpolynomial_sub

add isl_qpolynomial_get_dim

isl_map_transitive_closure: coalesce input before checking closedness of input

add map_lex_*_first

isl_map_lex_le: use one basic set less in result

isl_stream: accept lexicographic operators

isl_map_transitive_closure: check if input is closed already

add isl_printer_flush

isl_map_read: parse parametric Omega input

isl_map_read: fix typo

isl_convex_hull.c: is_bound: any inequality is a bound on an empty set

isl_convex_hull.c: add_bounds: propagate errors from add_bound

document isl_map_reverse

isl_stream_next_token: terminate string tokens

isl_map_transitive_closure: treat equality as pair of ineq for mixed constraints

isl_map_transitive_closure, omega-like: only use ?-closure if result is exact

isl_map_transitive_closure: use simple hull in omega-like implementation

isl_map_transitive_closure: try and compute closure incrementally

isl_map_coalesce: allow wrapping in sets that stick out in different directions

Before, we would only wrap in sets that extend beyond exactly
one facet of a given set and such that the wrapped in set itself
has a facet that is adjacent to this facet.
We now extend this process in several ways.
First, the wrapped-in set is allowed to extend beyond several facets.
Second, the wrapped-in set need not have facets adjacent to these facets.
It is sufficient that the adjacent facets are valid for the wrapped-in set.
Finally, the wrapped-in set is allowed to be of a lower dimension.

isl_map_coalesce: allowing cutting equalities in adjacent facet

From the start, we have been very careful not to allow any cutting
equalities anywhere.  However, it makes sense to wrap in a piece
of a hyperplane adjacent to a facet, even if this piece is
lower-dimensional.

add some more coalescing test cases

isl_basic_map_gist: be more aggressive in removing constraints

In particular, detect equalities in intersection of input and context
and check for each constraint if negating it would lead to a contradiction.

isl_stream: accept string tokens

isl_tab_rollback: restore rows that are no longer marked redundant

When a row is marked redundant, it may have a negative (but strictly
larger than -1) sample value.  When undoing this marking, we need
to make sure the sample value is restored to a non-negative value.

doc: document simple hull

doc: emphasize that we are dealing with integer sets

isl_transitive_closure.c: path_along_delta: only avoid splitting off identity

Commit 39345fc (isl_transitive_closure.c: path_along_delta: try and avoid
splitting off identity) attempted to avoid splitting off the identity mapping.
However, it would only check if relaxing the length to zero would
not introduce any extra elements.  The path may have constraints
on the parameters, though, and so we may actually be removing elements.
This means that we need to check for equality with the identity relation.
Perhaps this makes the whole optimization pointless.

isl_map_transitive_closure: compute divs of input

isl_map_compute_divs: make sure result is gaussed and finalized

In particular, when the variables in the input can be compressed,
basic_set_append_equalities should gauss and finalize the result
of adding the equalities back in.

isl_printer_print_pw_qpolynomial: properly print constraints in C format

In particular, use an explicit multiplication in affine expressions.

isl_pip and isl_cat: terminate isl_arg array with ISL_ARG_END

On most systems, leaving it out apparently just happens to work,
but not so on MacOS X.

Problem reported and analyzed by Tomofumi Yuki <yuki@cs.colostate.edu>

doc: document setting and getting of dimension names

doc: document *_get_dim functions

isl_map_convex_hull: handle non full-dimensional pairs of basic sets

isl_convex_hull.c: modulo_affine_hull: drop redundant argument

isl_convex_hull.c: convex_hull_pair: skip direction change if result is bounded

isl_printer_print_basic_set: fix up printing to string printer

In particular, only print prefix and suffix (and call strlen on them)
if they are not NULL.

Problem reported by Tomofumi Yuki <yuki@cs.colostate.edu>

add isl_set_neg and isl_set_sum

isl_transitive_closure.c: fix documentation of construct_component

isl_map_coalesce: make sure result still contains set after wrapping in a facet

isl_map_transitive_closure: Floyd-Warshall: properly keep track of current group

isl_map_transitive_closure: use Floyd-Warshall on disjoint domains and ranges

isl_transitive_closure.c: extract out isl_set_overlaps

isl_map_transitive_closure: project out length on each component separately

There is no need to keep track of the length over multiple components.

isl_transitive_closure.c: construct_component: don't include identity in result

isl_map_transitive_closure: don't add length parameter

Just project out the final coordinates, intead of equating the difference
to a parameter and then projecting out the difference.

doc: fix typos

isl_set_gist: make context argument an isl_set for consistency

isl_map_transitive_closure: coalesce input map

isl_transitive_closure.c: construct_component: always include identity

Commit e06f258 (isl_map_transitive_closure: break early if input map
doesn't compose with itself) added a special case to construct_component,
but neglected to include the identity map in the result.

doc: cite Omega library documentation on computation of underapproximations

add isl_stream_read_map

isl_arg.h: add missing include

isl_basic_map_move_dims: normalize equalities