isl_multi_templ.c: fix documentation of isl_multi_*_product functions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_val_negone

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_*_to_*_drop

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_map_order_le and isl_map_order_ge

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
document isl_map_from_{domain,range}

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
user.pod: fix internal links

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc: fix typo

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc: move isl_space wrapping operations to unary/binary properties/operations

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_space_domain_is_wrapping

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_map_domain_is_wrapping

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_space_domain_factor_domain

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc: move isl_local_space operations to unary/binary operations sections

This move should clarify the relation between these operations and
the corresponding operations on sets and relations.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_local_space_flatten_{domain,range}

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_multi_aff_flatten_domain

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_multi_*_involves_dims

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map_preimage_multi_pw_aff: special case universe set

If the input map does not involve any dimensions in the space that we are
computing the preimage of and if at least one of the isl_pw_aff
in the isl_multi_pw_aff involves more than one piece, then the default
implementation needlessly splits the map along those pieces.
Avoid this splitting by checking for this special case.
The check could be refined by checking individual dimensions
where the corresponding isl_pw_aff involves more than one piece.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_pw_aff_pullback_multi_pw_aff

We compute the pullback by applying the isl_pw_aff to the isl_multi_pw_aff
instead of converting the isl_multi_pw_aff to an isl_pw_multi_aff and
calling isl_pw_aff_pullback_pw_multi_aff in order to avoid splitting
along the pieces of the constituent isl_pw_affs as much as possible.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_multi_pw_aff_pullback_multi_pw_aff: use isl_pw_aff_pullback_multi_pw_aff

We call isl_pw_aff_pullback_multi_pw_aff instead of converting
the isl_multi_pw_aff to an isl_pw_multi_aff and calling
isl_multi_pw_aff_pullback_pw_multi_aff in order to avoid splitting
along the pieces of the constituent isl_pw_affs as much as possible.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c: improve documentation of isl_map_preimage_domain_pw_multi_aff

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc: reorder preimage functions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>