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

export isl_stream.h

isl_stream: allow user specified keywords

isl_stream: add some auxiliary functions

isl_stream: read "definition" token ":="

add isl_int_tdiv_q

privately export isl_set_contains_point

Since we are now using the isl_point abstraction, we are
more strict about dimensions and so the code in pip.c that
actually used the wrong dimensions but just happened to work,
needs to be changed too.

add isl_set_count

add isl_set_sample_point

add isl_point

isl_basic_set_scan: make sure sufficient rows are allocated in tableau

isl_map_subtract: only add divs when needed

Before, the divs from all basic maps were aligne with each
other, resulting in all divs being added to all basic maps,
even if the arguments of the subtract operation are disjoint.
Now, divs are only added at the point where they are needed
and removed again if it turns out that they are not needed
in the difference.

add isl_map_order_divs

extract isl_tab_add_div from isl_tab_pip.c

isl_vec.c: fix minor whitespace issue

add isl_set_complement

export isl_map_make_disjoint

add isl_hash_table_foreach

isl_map_print: extract out print_disjuncts

add isl_set_fast_is_universe

isl_input.c: accept_affine: fix memory leak on error path

isl_map_intersect: detect empty result also in case of adding a single constraint

Commit ed3b444 (isl_map_intersect: add special case for adding a single
constraint) added a special case of adding a single constraint but
neglected to detect an empty result in this special case.

isl_map_read: skip until the end of the last line when reading in PolyLib format

isl_stream_next_token_on_same_line: check if last token read was a newline

isl_set_wrap_facet: make sure set is marked rational

When isl_set_wrap_facet is used from with isl_convex_hull.c, then
the set should already have been marked rational, but when
called from outside, it may not, so we have to do it explicitly.

isl_coalesce.c: fix typo in comment

isl_map_read: accept list of predicated elements

isl_map_read: extract out parsing of map body

isl_map_read: add dummy variable name for unnamed variables

vars_drop assumes there is struct variable in the list of struct
variables for each variable in the dimension specification.

isl_stream: accept ";" token

use -O1 optimization level for gcc 4.2

gcc (GCC) 4.2.4 (Ubuntu 4.2.4-1ubuntu4) seems to miscopile isl with -O2

drop comma at the end of enumerations in include files

Sun's CC compiler warns about them.

isl_map_read: accept affine combinations of earlier variables in variable tuples

isl_map_read: construct basic map while reading variable tuples

isl_map_print: add primes to duplicate names

And, conversely, accept primes in identifier names in isl_map_read.

isl_map_transitive_closure: improve accuracy by copying some mixed delta constraints

isl_map_transitive_closure: perform exactness check per component

isl_map_transitive_closure: reformulate exactness test in terms of extended paths

This will make it easier to compute exactness per component.

add a transitive closure example from the Omega test suite

isl_map_transitive_closure: compute power on strongly connected components

By splitting the disjuncts of the input map into strongly connected
components, we can improve the accurateness of the result.
The computation may be more expensive, however, especially
the exactness test.