Reference: Sets and Maps

Basic Set

class islpy.BasicSet(*args, **kwargs)

__eq__() __hash__() __ne__() add_constraint() add_constraints() add_dims() affine_hull() align_params() apply() coefficients() compare_at() compute_divs() compute_vertices() copy() detect_equalities() dim() dim_max_val() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() eliminate_except() equalities_matrix() fix_val() flat_product() flatten() foreach_bound_pair() foreach_constraint() from_params() get_basic_sets() get_constraint_list() get_constraints() get_ctx() get_dim_id() get_dim_name() get_div() get_id_dict() get_local_space() get_space() get_tuple_name() get_var_dict() get_var_ids() get_var_names() get_var_names_not_none() gist() inequalities_matrix() insert_dims() intersect() intersect_params()

involves_dims() is_bounded() is_disjoint() is_empty() is_equal() is_params() is_rational() is_subset() is_universe() is_wrapping() lexmax() lexmin() lift() lower_bound_val() max_val() move_dims() n_constraint() n_dim() n_param() neg() params() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() plain_is_empty() plain_is_equal() plain_is_universe() preimage_multi_aff() project_out() project_out_except() reduced_basis() remove_dims() remove_divs() remove_divs_involving_dims() remove_redundancies() remove_unknown_divs() sample() sample_point() set_dim_name() set_tuple_id() set_tuple_name() solutions() to_list() to_set() to_str() total_dim() union() unwrap() upper_bound_val()

__eq__(other: object) → bool

Return self==value.

__hash__(self) → int

__ne__(value, /)

Return self!=value.

add_constraint(self, constraint: Constraint) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

add_constraints(constraints: Iterable[Constraint]) → BasicT

Added in version 2011.3.

add_dims(self, type: dim_type, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

affine_hull(self) → BasicSet

align_params(self, model: Space) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

apply(self, bmap: BasicMap) → BasicSet

box_from_points = <nanobind.nb_func object>

coefficients(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

compare_at(self, bset2: BasicSet, pos: int) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

compute_divs(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

compute_vertices(self) → Vertices

Warning

This function is not part of the officially public isl API. Use at your own risk.

copy(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

detect_equalities(self) → BasicSet

dim(self, type: dim_type) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_max_val(self, pos: int) → Val

drop_constraints_involving_dims(self, type: dim_type, first: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_constraints_not_involving_dims(self, type: dim_type, first: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_unused_params(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

dump(self) → None

Warning

This function is not part of the officially public isl API. Use at your own risk.

eliminate(self, type: dim_type, first: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

eliminate_except(names: Collection[str], types: Collection[dim_type]) → SetOrMapT

Parameters:

• types – list of dim_type determining the types of axes to eliminate

• names – names of axes matching the above which should be left alone by the eliminate

Added in version 2011.3.

empty = <nanobind.nb_func object>

equalities_matrix(self, c1: dim_type, c2: dim_type, c3: dim_type, c4: dim_type) → Mat

Warning

This function is not part of the officially public isl API. Use at your own risk.

fix_val(self, type: dim_type, pos: int, v: Val | int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_product(self, bset2: BasicSet) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

flatten(self) → BasicSet

foreach_bound_pair(self, type: dim_type, pos: int, fn: Callable[[Constraint, Constraint, BasicSet], None]) → None

Parameters:

fn – callback(lower, upper, bset)

Warning

This function is not part of the officially public isl API. Use at your own risk.

foreach_constraint(self, fn: Callable[[Constraint], None]) → None

Parameters:

fn – callback(c)

Warning

This function is not part of the officially public isl API. Use at your own risk.

from_constraint = <nanobind.nb_func object>

from_constraint_matrices = <nanobind.nb_func object>

from_multi_aff = <nanobind.nb_func object>

from_params(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

from_point = <nanobind.nb_func object>

get_basic_sets() → list[BasicSet]

Get the list of BasicSet instances in this Set.

get_constraint_list(self) → ConstraintList

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_constraints() → list[Constraint]

Get a list of constraints.

get_ctx(self) → Context

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_id(self, type: dim_type, pos: int) → Id

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_name(self, type: dim_type, pos: int) → str | None

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_div(self, pos: int) → Aff

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_id_dict(dimtype: dim_type | None = None) → Mapping[Id, tuple[dim_type, int]]

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_local_space(self) → LocalSpace

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_space(self) → Space

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_tuple_name(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_var_dict(dimtype: dim_type | None = None) → Mapping[str, tuple[dim_type, int]]

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype: dim_type) → Sequence[str | None]

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype: dim_type) → Sequence[str | None]

Return a list of dim names (in order) for dim_type dimtype.

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

Return a list of dim names (in order) for dim_type dimtype.

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

gist(self, context: BasicSet) → BasicSet

inequalities_matrix(self, c1: dim_type, c2: dim_type, c3: dim_type, c4: dim_type) → Mat

Warning

This function is not part of the officially public isl API. Use at your own risk.

insert_dims(self, type: dim_type, pos: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect(self, bset2: BasicSet) → BasicSet

intersect_params(self, bset2: BasicSet) → BasicSet

involves_dims(self, type: dim_type, first: int, n: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_bounded(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_disjoint(self, bset2: BasicSet) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_empty(self) → bool

is_equal(self, bset2: BasicSet) → bool

is_params

is_rational(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_subset(self, bset2: BasicSet) → bool

is_universe(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_wrapping(self) → bool

lexmax(self) → Set

lexmin(self) → Set

lift(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

lower_bound_val(self, type: dim_type, pos: int, value: Val | int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

max_val(self, obj: Aff) → Val

Warning

This function is not part of the officially public isl API. Use at your own risk.

move_dims(self, dst_type: dim_type, dst_pos: int, src_type: dim_type, src_pos: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_constraint(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_dim(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_param(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

nat_universe = <nanobind.nb_func object>

neg(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

params(self) → BasicSet

partial_lexmax(self, dom: BasicSet) → tuple[Set, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmax_pw_multi_aff(self, dom: BasicSet) → tuple[PwMultiAff, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmin(self, dom: BasicSet) → tuple[Set, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmin_pw_multi_aff(self, dom: BasicSet) → tuple[PwMultiAff, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_empty(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_equal(self, bset2: BasicSet) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_universe(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

positive_orthant = <nanobind.nb_func object>

preimage_multi_aff(self, ma: MultiAff) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out(self, type: dim_type, first: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_except(names: Collection[str], types: Collection[dim_type]) → SetOrMapT

Parameters:

• types – list of dim_type determining the types of axes to project out

• names – names of axes matching the above which should be left alone by the projection

Added in version 2011.3.

read_from_str = <nanobind.nb_func object>

reduced_basis(self) → Mat

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_dims(self, type: dim_type, first: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs_involving_dims(self, type: dim_type, first: int, n: int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_redundancies(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_unknown_divs(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

sample(self) → BasicSet

sample_point(self) → Point

set_dim_name(self, type: dim_type, pos: int, s: str) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_id(self, id: Id) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_name(self, s: str) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

solutions(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

property space

to_list(self) → BasicSetList

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_set(self) → Set

to_str(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

total_dim(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

union(self, bset2: BasicSet) → Set

universe = <nanobind.nb_func object>

unwrap(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

upper_bound_val(self, type: dim_type, pos: int, value: Val | int) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

Basic Map

class islpy.BasicMap(*args, **kwargs)

__eq__() __hash__() __ne__() add_constraint() add_constraints() add_dims() affine_hull() align_params() apply_domain() apply_range() can_curry() can_uncurry() can_zip() compute_divs() copy() curry() deltas() deltas_map() detect_equalities() dim() domain() domain_map() domain_product() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() equalities_matrix() equate() find_dim_by_name() fix_val() flat_product() flat_range_product() flatten() flatten_domain() flatten_range() foreach_constraint() get_constraint_list() get_constraints() get_ctx() get_dim_name() get_div() get_id_dict() get_local_space() get_space() get_tuple_name() get_var_dict() get_var_ids() get_var_names() get_var_names_not_none() gist() gist_domain() has_defining_equality() has_dim_id() image_is_bounded() inequalities_matrix()

insert_dims() intersect() intersect_domain() intersect_params() intersect_range() involves_dims() is_disjoint() is_empty() is_equal() is_rational() is_single_valued() is_strict_subset() is_subset() is_universe() lexmax() lexmin() lexmin_pw_multi_aff() lower_bound_si() move_dims() n_constraint() neg() order_ge() order_gt() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() plain_get_val_if_fixed() plain_is_empty() plain_is_universe() preimage_domain_multi_aff() preimage_range_multi_aff() product() project_out() project_out_except() range() range_map() range_product() remove_dims() remove_divs() remove_divs_involving_dims() remove_redundancies() reverse() sample() set_dim_name() set_tuple_id() set_tuple_name() sum() to_list() to_map() to_str() total_dim() uncurry() union() upper_bound_si() wrap() zip()

__eq__(other: object) → bool

Return self==value.

__hash__(self) → int

__ne__(value, /)

Return self!=value.

add_constraint(self, constraint: Constraint) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

add_constraints(constraints: Iterable[Constraint]) → BasicT

Added in version 2011.3.

add_dims(self, type: dim_type, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

affine_hull(self) → BasicMap

align_params(self, model: Space) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

apply_domain(self, bmap2: BasicMap) → BasicMap

apply_range(self, bmap2: BasicMap) → BasicMap

can_curry(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

can_uncurry(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

can_zip(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

compute_divs(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

copy(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

curry(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

deltas(self) → BasicSet

deltas_map(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

detect_equalities(self) → BasicMap

dim(self, type: dim_type) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

domain(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

domain_map(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

domain_product(self, bmap2: BasicMap) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_constraints_involving_dims(self, type: dim_type, first: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_constraints_not_involving_dims(self, type: dim_type, first: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_unused_params(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

dump(self) → None

Warning

This function is not part of the officially public isl API. Use at your own risk.

eliminate(self, type: dim_type, first: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

empty = <nanobind.nb_func object>

equal = <nanobind.nb_func object>

equalities_matrix(self, c1: dim_type, c2: dim_type, c3: dim_type, c4: dim_type, c5: dim_type) → Mat

Warning

This function is not part of the officially public isl API. Use at your own risk.

equate(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

find_dim_by_name(self, type: dim_type, name: str) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

fix_val(self, type: dim_type, pos: int, v: Val | int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_product(self, bmap2: BasicMap) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_range_product(self, bmap2: BasicMap) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

flatten(self) → BasicMap

flatten_domain(self) → BasicMap

flatten_range(self) → BasicMap

foreach_constraint(self, fn: Callable[[Constraint], None]) → None

Parameters:

fn – callback(c)

Warning

This function is not part of the officially public isl API. Use at your own risk.

from_aff = <nanobind.nb_func object>

from_aff_list = <nanobind.nb_func object>

from_constraint = <nanobind.nb_func object>

from_constraint_matrices = <nanobind.nb_func object>

from_domain = <nanobind.nb_func object>

from_domain_and_range = <nanobind.nb_func object>

from_multi_aff = <nanobind.nb_func object>

from_qpolynomial = <nanobind.nb_func object>

from_range = <nanobind.nb_func object>

get_constraint_list(self) → ConstraintList

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_constraints() → list[Constraint]

Get a list of constraints.

get_ctx(self) → Context

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_name(self, type: dim_type, pos: int) → str | None

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_div(self, pos: int) → Aff

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_id_dict(dimtype: dim_type | None = None) → Mapping[Id, tuple[dim_type, int]]

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_local_space(self) → LocalSpace

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_space(self) → Space

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_tuple_name(self, type: dim_type) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_var_dict(dimtype: dim_type | None = None) → Mapping[str, tuple[dim_type, int]]

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype: dim_type) → Sequence[str | None]

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype: dim_type) → Sequence[str | None]

Return a list of dim names (in order) for dim_type dimtype.

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

Return a list of dim names (in order) for dim_type dimtype.

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

gist(self, context: BasicMap) → BasicMap

gist_domain(self, context: BasicSet) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_defining_equality(self, type: dim_type, pos: int) → Constraint

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_dim_id(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

identity = <nanobind.nb_func object>

image_is_bounded(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

inequalities_matrix(self, c1: dim_type, c2: dim_type, c3: dim_type, c4: dim_type, c5: dim_type) → Mat

Warning

This function is not part of the officially public isl API. Use at your own risk.

insert_dims(self, type: dim_type, pos: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect(self, bmap2: BasicMap) → BasicMap

intersect_domain(self, bset: BasicSet) → BasicMap

intersect_params(self, bset: BasicSet) → BasicMap

intersect_range(self, bset: BasicSet) → BasicMap

involves_dims(self, type: dim_type, first: int, n: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_disjoint(self, bmap2: BasicMap) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_empty(self) → bool

is_equal(self, bmap2: BasicMap) → bool

is_rational(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_single_valued(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_strict_subset(self, bmap2: BasicMap) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_subset(self, bmap2: BasicMap) → bool

is_universe(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

less_at = <nanobind.nb_func object>

lexmax(self) → Map

lexmin(self) → Map

lexmin_pw_multi_aff(self) → PwMultiAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

lower_bound_si(self, type: dim_type, pos: int, value: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

more_at = <nanobind.nb_func object>

move_dims(self, dst_type: dim_type, dst_pos: int, src_type: dim_type, src_pos: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_constraint(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

nat_universe = <nanobind.nb_func object>

neg(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

order_ge(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

order_gt(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmax(self, dom: BasicSet) → tuple[Map, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmax_pw_multi_aff(self, dom: BasicSet) → tuple[PwMultiAff, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmin(self, dom: BasicSet) → tuple[Map, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmin_pw_multi_aff(self, dom: BasicSet) → tuple[PwMultiAff, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_get_val_if_fixed(self, type: dim_type, pos: int) → Val

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_empty(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_universe(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_multi_aff(self, ma: MultiAff) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_range_multi_aff(self, ma: MultiAff) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

product(self, bmap2: BasicMap) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out(self, type: dim_type, first: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_except(names: Collection[str], types: Collection[dim_type]) → SetOrMapT

Parameters:

• types – list of dim_type determining the types of axes to project out

• names – names of axes matching the above which should be left alone by the projection

Added in version 2011.3.

range(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

range_map(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

range_product(self, bmap2: BasicMap) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

read_from_str = <nanobind.nb_func object>

remove_dims(self, type: dim_type, first: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs_involving_dims(self, type: dim_type, first: int, n: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_redundancies(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

reverse(self) → BasicMap

sample(self) → BasicMap

set_dim_name(self, type: dim_type, pos: int, s: str) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_id(self, type: dim_type, id: Id) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_name(self, type: dim_type, s: str) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

property space

sum(self, bmap2: BasicMap) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_list(self) → BasicMapList

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_map

to_str(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

total_dim(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

uncurry(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

union(self, bmap2: BasicMap) → Map

universe = <nanobind.nb_func object>

upper_bound_si(self, type: dim_type, pos: int, value: int) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

wrap(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

zip(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

Set

class islpy.Set(*args, **kwargs)

__eq__() __hash__() __len__() __ne__() add_constraint() add_constraints() add_dims() affine_hull() align_divs() align_params() apply() apply_pw_qpolynomial_fold() as_pw_multi_aff() bind() bounded_simple_hull() coalesce() coefficients() complement() compute_divs() convex_hull() copy() count_val() detect_equalities() dim() dim_has_any_lower_bound() dim_has_any_upper_bound() dim_has_lower_bound() dim_has_upper_bound() dim_is_bounded() dim_max() dim_max_val() dim_min() dim_min_val() dim_residue_class_val() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() eliminate_dims() eliminate_except() equate() find_dim_by_id() find_dim_by_name() fix_dim_si() fix_val() flat_product() flatten() flatten_map() follows_at() foreach_basic_set() foreach_point() from_params() get_basic_set_list() get_basic_sets() get_ctx() get_dim_id() get_dim_name() get_id_dict() get_lattice_tile() get_plain_multi_val_if_fixed() get_simple_fixed_box_hull() get_space() get_stride() get_stride_info() get_tuple_id() get_tuple_name() get_var_dict() get_var_ids() get_var_names() get_var_names_not_none() gist() gist_basic_set() gist_params() has_dim_id() has_dim_name() has_equal_space() has_tuple_id() has_tuple_name() identity() indicator_function() insert_dims() insert_domain() intersect() intersect_factor_domain() intersect_factor_range() intersect_params() involves_dims() involves_locals() is_bounded() is_box()

is_disjoint() is_empty() is_equal() is_params() is_singleton() is_strict_subset() is_subset() is_wrapping() lex_ge_set() lex_gt_set() lex_le_set() lex_lt_set() lexmax() lexmax_pw_multi_aff() lexmin() lexmin_pw_multi_aff() lift() lower_bound_multi_pw_aff() lower_bound_multi_val() lower_bound_val() make_disjoint() max_multi_pw_aff() max_val() min_multi_pw_aff() min_val() move_dims() n_basic_set() n_dim() n_param() neg() param_pw_aff_on_domain_id() params() partial_lexmax() partial_lexmin() plain_cmp() plain_get_val_if_fixed() plain_is_disjoint() plain_is_empty() plain_is_equal() plain_is_universe() plain_unshifted_simple_hull() polyhedral_hull() preimage_multi_aff() preimage_multi_pw_aff() preimage_pw_multi_aff() product() project_onto_map() project_out() project_out_all_params() project_out_except() project_out_param_id() project_out_param_id_list() pw_aff_on_domain_val() pw_multi_aff_on_domain_multi_val() remove_dims() remove_divs() remove_divs_involving_dims() remove_redundancies() remove_unknown_divs() reset_space() reset_tuple_id() reset_user() sample() sample_point() set_dim_id() set_dim_name() set_tuple_id() set_tuple_name() simple_hull() solutions() split_dims() subtract() sum() to_list() to_str() to_union_set() translation() tuple_dim() unbind_params() unbind_params_insert_domain() union() union_disjoint() unshifted_simple_hull() unshifted_simple_hull_from_set_list() unwrap() upper_bound_multi_pw_aff() upper_bound_multi_val() upper_bound_val() wrapped_domain_map() wrapped_reverse()

__eq__(other: object) → bool

Return self==value.

__hash__(self) → int

__hash__(self) -> int

Warning

This function is not part of the officially public isl API. Use at your own risk.

__len__(self) → int

__len__(self) -> int

Warning

This function is not part of the officially public isl API. Use at your own risk.

__ne__(value, /)

Return self!=value.

add_constraint(self, constraint: Constraint) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

add_constraints(constraints: Iterable[Constraint]) → BasicT

Added in version 2011.3.

add_dims(self, type: dim_type, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

affine_hull(self) → BasicSet

align_divs(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

align_params(self, model: Space) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

apply(self, map: Map | BasicMap) → Set

apply_pw_qpolynomial_fold(self, pwf: PwQPolynomialFold) → tuple[PwQPolynomialFold, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

as_pw_multi_aff(self) → PwMultiAff

bind(self, tuple: MultiId) → Set

bounded_simple_hull(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

box_from_points = <nanobind.nb_func object>

coalesce(self) → Set

coefficients(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

complement(self) → Set

compute_divs(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

convex_hull(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

copy(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

count_val(self) → Val

Warning

This function is not part of the officially public isl API. Use at your own risk.

detect_equalities(self) → Set

dim(self, type: dim_type) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_has_any_lower_bound(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_has_any_upper_bound(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_has_lower_bound(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_has_upper_bound(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_is_bounded(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_max(self, pos: int) → PwAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_max_val(self, pos: int) → Val

dim_min(self, pos: int) → PwAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_min_val(self, pos: int) → Val

dim_residue_class_val(self, pos: int) → tuple[Val, Val]

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_constraints_involving_dims(self, type: dim_type, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_constraints_not_involving_dims(self, type: dim_type, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_unused_params(self) → Set

dump(self) → None

Warning

This function is not part of the officially public isl API. Use at your own risk.

eliminate(self, type: dim_type, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

eliminate_dims(self, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

eliminate_except(names: Collection[str], types: Collection[dim_type]) → SetOrMapT

Parameters:

• types – list of dim_type determining the types of axes to eliminate

• names – names of axes matching the above which should be left alone by the eliminate

Added in version 2011.3.

empty = <nanobind.nb_func object>

equate(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

find_dim_by_id(self, type: dim_type, id: Id) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

find_dim_by_name(self, type: dim_type, name: str) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

fix_dim_si(self, dim: int, value: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

fix_val(self, type: dim_type, pos: int, v: Val | int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_product(self, set2: Set | BasicSet) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

flatten(self) → Set

flatten_map(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

follows_at(self, set2: Set | BasicSet, pos: int) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

foreach_basic_set(self, fn: Callable[[BasicSet], None]) → None

Parameters:

fn – callback(bset)

foreach_point(self, fn: Callable[[Point], None]) → None

Parameters:

fn – callback(pnt)

from_basic_set = <nanobind.nb_func object>

from_multi_aff = <nanobind.nb_func object>

from_multi_pw_aff = <nanobind.nb_func object>

from_params(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

from_point = <nanobind.nb_func object>

from_pw_aff = <nanobind.nb_func object>

from_pw_multi_aff = <nanobind.nb_func object>

from_union_set = <nanobind.nb_func object>

get_basic_set_list(self) → BasicSetList

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_basic_sets() → list[BasicSet]

Get the list of BasicSet instances in this Set.

get_ctx(self) → Context

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_id(self, type: dim_type, pos: int) → Id

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_name(self, type: dim_type, pos: int) → str | None

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_id_dict(dimtype: dim_type | None = None) → Mapping[Id, tuple[dim_type, int]]

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_lattice_tile(self) → FixedBox

get_plain_multi_val_if_fixed(self) → MultiVal

get_simple_fixed_box_hull(self) → FixedBox

get_space(self) → Space

get_stride(self, pos: int) → Val

get_stride_info(self, pos: int) → StrideInfo

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_tuple_id(self) → Id

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_tuple_name(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_var_dict(dimtype: dim_type | None = None) → Mapping[str, tuple[dim_type, int]]

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype: dim_type) → Sequence[str | None]

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype: dim_type) → Sequence[str | None]

Return a list of dim names (in order) for dim_type dimtype.

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

Return a list of dim names (in order) for dim_type dimtype.

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

gist(self, context: Set | BasicSet) → Set

gist_basic_set(self, context: BasicSet) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

gist_params(self, context: Set | BasicSet) → Set

has_dim_id(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_dim_name(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_equal_space(self, set2: Set | BasicSet) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_tuple_id(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_tuple_name(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

identity(self) → Map

indicator_function(self) → PwAff

insert_dims(self, type: dim_type, pos: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

insert_domain(self, domain: Space) → Map

intersect(self, set2: Set | BasicSet) → Set

intersect_factor_domain(self, domain: Set | BasicSet) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_factor_range(self, range: Set | BasicSet) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_params(self, params: Set | BasicSet) → Set

involves_dims(self, type: dim_type, first: int, n: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

involves_locals(self) → bool

is_bounded(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_box(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_disjoint(self, set2: Set | BasicSet) → bool

is_empty(self) → bool

is_equal(self, set2: Set | BasicSet) → bool

is_params(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_singleton(self) → bool

is_strict_subset(self, set2: Set | BasicSet) → bool

is_subset(self, set2: Set | BasicSet) → bool

is_wrapping(self) → bool

lex_ge_set(self, set2: Set | BasicSet) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_gt_set(self, set2: Set | BasicSet) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_le_set(self, set2: Set | BasicSet) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_lt_set(self, set2: Set | BasicSet) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lexmax(self) → Set

lexmax_pw_multi_aff(self) → PwMultiAff

lexmin(self) → Set

lexmin_pw_multi_aff(self) → PwMultiAff

lift(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

lower_bound_multi_pw_aff(self, lower: MultiPwAff) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

lower_bound_multi_val(self, lower: MultiVal) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

lower_bound_val(self, type: dim_type, pos: int, value: Val | int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

make_disjoint(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

max_multi_pw_aff(self) → MultiPwAff

max_val(self, obj: Aff) → Val

min_multi_pw_aff(self) → MultiPwAff

min_val(self, obj: Aff) → Val

move_dims(self, dst_type: dim_type, dst_pos: int, src_type: dim_type, src_pos: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_basic_set(self) → int

n_dim(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_param(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

nat_universe = <nanobind.nb_func object>

neg(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

param_pw_aff_on_domain_id(self, id: Id) → PwAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

params(self) → Set

partial_lexmax(self, dom: Set | BasicSet) → tuple[Set, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmin(self, dom: Set | BasicSet) → tuple[Set, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_cmp(self, set2: Set | BasicSet) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_get_val_if_fixed(self, type: dim_type, pos: int) → Val

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_disjoint(self, set2: Set | BasicSet) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_empty(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_equal(self, set2: Set | BasicSet) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_universe(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_unshifted_simple_hull(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

polyhedral_hull(self) → BasicSet

preimage_multi_aff(self, ma: MultiAff) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_multi_pw_aff(self, mpa: MultiPwAff) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_pw_multi_aff(self, pma: PwMultiAff | MultiAff) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

product(self, set2: Set | BasicSet) → Set

project_onto_map(self, type: dim_type, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out(self, type: dim_type, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_all_params(self) → Set

project_out_except(names: Collection[str], types: Collection[dim_type]) → SetOrMapT

Parameters:

• types – list of dim_type determining the types of axes to project out

• names – names of axes matching the above which should be left alone by the projection

Added in version 2011.3.

project_out_param_id(self, id: Id) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_param_id_list(self, list: IdList) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

pw_aff_on_domain_val(self, v: Val | int) → PwAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

pw_multi_aff_on_domain_multi_val(self, mv: MultiVal) → PwMultiAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

read_from_str = <nanobind.nb_func object>

remove_dims(self, type: dim_type, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs_involving_dims(self, type: dim_type, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_redundancies(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_unknown_divs(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

reset_space(self, space: Space) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

reset_tuple_id(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

reset_user(self) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

sample(self) → BasicSet

sample_point(self) → Point

set_dim_id(self, type: dim_type, pos: int, id: Id) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_dim_name(self, type: dim_type, pos: int, s: str) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_id(self, id: Id) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_name(self, s: str) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

simple_hull(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

solutions(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

property space

split_dims(self, type: dim_type, first: int, n: int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

subtract(self, set2: Set | BasicSet) → Set

sum(self, set2: Set | BasicSet) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_list(self) → SetList

to_str(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_union_set(self) → UnionSet

translation(self) → Map

tuple_dim(self) → int

unbind_params(self, tuple: MultiId) → Set

unbind_params_insert_domain(self, domain: MultiId) → Map

union(self, set2: Set | BasicSet) → Set

union_disjoint(self, set2: Set | BasicSet) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

universe = <nanobind.nb_func object>

unshifted_simple_hull(self) → BasicSet

unshifted_simple_hull_from_set_list(self, list: SetList) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

unwrap(self) → Map

upper_bound_multi_pw_aff(self, upper: MultiPwAff) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

upper_bound_multi_val(self, upper: MultiVal) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

upper_bound_val(self, type: dim_type, pos: int, value: Val | int) → Set

Warning

This function is not part of the officially public isl API. Use at your own risk.

wrapped_domain_map(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

wrapped_reverse(self) → Set

Map

class islpy.Map(*args, **kwargs)

__eq__() __hash__() __ne__() add_constraint() add_constraints() add_dims() affine_hull() align_divs() align_params() apply_domain() apply_pw_qpolynomial_fold() apply_range() as_pw_multi_aff() bind_domain() bind_range() can_curry() can_range_curry() can_uncurry() can_zip() coalesce() complement() compute_divs() convex_hull() copy() curry() deltas() deltas_map() detect_equalities() dim() dim_max() dim_min() domain() domain_factor_domain() domain_factor_range() domain_is_wrapping() domain_map() domain_product() domain_reverse() domain_tuple_dim() drop_constraints_involving_dims() drop_constraints_not_involving_dims() drop_unused_params() dump() eliminate() eq_at_multi_pw_aff() equate() factor_domain() factor_range() find_dim_by_id() find_dim_by_name() fix_input_si() fix_val() fixed_power_val() flat_domain_product() flat_product() flat_range_product() flatten() flatten_domain() flatten_range() floordiv_val() foreach_basic_map() get_basic_map_list() get_basic_maps() get_ctx() get_dim_id() get_dim_name() get_domain_tuple_id() get_id_dict() get_range_lattice_tile() get_range_simple_fixed_box_hull() get_range_stride_info() get_range_tuple_id() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_ids() get_var_names() get_var_names_not_none() gist() gist_basic_map() gist_domain() gist_params() gist_range() has_dim_id() has_dim_name() has_domain_tuple_id() has_equal_space() has_range_tuple_id() has_tuple_id() has_tuple_name() insert_dims() intersect() intersect_domain() intersect_domain_factor_domain() intersect_domain_factor_range() intersect_domain_wrapped_domain() intersect_params() intersect_range() intersect_range_factor_domain() intersect_range_factor_range() intersect_range_wrapped_domain() involves_dims()

is_bijective() is_disjoint() is_empty() is_equal() is_identity() is_injective() is_product() is_single_valued() is_strict_subset() is_subset() is_translation() lex_ge_at_multi_pw_aff() lex_ge_map() lex_gt_at_multi_pw_aff() lex_gt_map() lex_le_at_multi_pw_aff() lex_le_map() lex_lt_at_multi_pw_aff() lex_lt_map() lexmax() lexmax_pw_multi_aff() lexmin() lexmin_pw_multi_aff() lower_bound_multi_pw_aff() lower_bound_val() make_disjoint() max_multi_pw_aff() min_multi_pw_aff() move_dims() n_basic_map() neg() oppose() order_ge() order_gt() order_le() order_lt() params() partial_lexmax() partial_lexmin() plain_get_val_if_fixed() plain_is_empty() plain_is_equal() plain_is_injective() plain_is_single_valued() plain_is_universe() plain_unshifted_simple_hull() polyhedral_hull() power() preimage_domain_multi_aff() preimage_domain_multi_pw_aff() preimage_domain_pw_multi_aff() preimage_range_multi_aff() preimage_range_pw_multi_aff() product() project_out() project_out_all_params() project_out_except() project_out_param_id() project_out_param_id_list() range() range_curry() range_factor_domain() range_factor_range() range_is_wrapping() range_map() range_product() range_reverse() range_tuple_dim() reaching_path_lengths() remove_dims() remove_divs() remove_divs_involving_dims() remove_inputs() remove_redundancies() remove_unknown_divs() reset_tuple_id() reset_user() reverse() sample() set_dim_id() set_dim_name() set_domain_tuple_id() set_range_tuple_id() set_tuple_id() set_tuple_name() simple_hull() subtract() subtract_domain() subtract_range() sum() to_list() to_str() to_union_map() transitive_closure() uncurry() union() union_disjoint() unshifted_simple_hull() unshifted_simple_hull_from_map_list() upper_bound_multi_pw_aff() upper_bound_val() wrap() zip()

__eq__(other: object) → bool

Return self==value.

__hash__(self) → int

__hash__(self) -> int

Warning

This function is not part of the officially public isl API. Use at your own risk.

__ne__(value, /)

Return self!=value.

add_constraint(self, constraint: Constraint) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

add_constraints(constraints: Iterable[Constraint]) → BasicT

Added in version 2011.3.

add_dims(self, type: dim_type, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

affine_hull(self) → BasicMap

align_divs(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

align_params(self, model: Space) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

apply_domain(self, map2: Map | BasicMap) → Map

apply_pw_qpolynomial_fold(self, pwf: PwQPolynomialFold) → tuple[PwQPolynomialFold, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

apply_range(self, map2: Map | BasicMap) → Map

as_pw_multi_aff(self) → PwMultiAff

bind_domain(self, tuple: MultiId) → Set

bind_range(self, tuple: MultiId) → Set

can_curry(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

can_range_curry(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

can_uncurry(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

can_zip(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

coalesce(self) → Map

complement(self) → Map

compute_divs(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

convex_hull(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

copy(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

curry(self) → Map

deltas(self) → Set

deltas_map(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

detect_equalities(self) → Map

dim(self, type: dim_type) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_max(self, pos: int) → PwAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

dim_min(self, pos: int) → PwAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

domain(self) → Set

domain_factor_domain(self) → Map

domain_factor_range(self) → Map

domain_is_wrapping(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

domain_map(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

domain_product(self, map2: Map | BasicMap) → Map

domain_reverse(self) → Map

domain_tuple_dim(self) → int

drop_constraints_involving_dims(self, type: dim_type, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_constraints_not_involving_dims(self, type: dim_type, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_unused_params(self) → Map

dump(self) → None

Warning

This function is not part of the officially public isl API. Use at your own risk.

eliminate(self, type: dim_type, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

empty = <nanobind.nb_func object>

eq_at_multi_pw_aff(self, mpa: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

equate(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

factor_domain(self) → Map

factor_range(self) → Map

find_dim_by_id(self, type: dim_type, id: Id) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

find_dim_by_name(self, type: dim_type, name: str) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

fix_input_si(self, input: int, value: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

fix_val(self, type: dim_type, pos: int, v: Val | int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

fixed_power_val(self, exp: Val | int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_domain_product(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_product(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_range_product(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

flatten(self) → Map

flatten_domain(self) → Map

flatten_range(self) → Map

floordiv_val(self, d: Val | int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

foreach_basic_map(self, fn: Callable[[BasicMap], None]) → None

Parameters:

fn – callback(bmap)

from_aff = <nanobind.nb_func object>

from_basic_map = <nanobind.nb_func object>

from_domain = <nanobind.nb_func object>

from_domain_and_range = <nanobind.nb_func object>

from_multi_aff = <nanobind.nb_func object>

from_multi_pw_aff = <nanobind.nb_func object>

from_pw_aff = <nanobind.nb_func object>

from_pw_multi_aff = <nanobind.nb_func object>

from_range = <nanobind.nb_func object>

from_union_map = <nanobind.nb_func object>

get_basic_map_list(self) → BasicMapList

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_basic_maps() → list[BasicMap]

Get the list of BasicMap instances in this Map.

get_ctx(self) → Context

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_id(self, type: dim_type, pos: int) → Id

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_name(self, type: dim_type, pos: int) → str | None

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_domain_tuple_id(self) → Id

get_id_dict(dimtype: dim_type | None = None) → Mapping[Id, tuple[dim_type, int]]

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_range_lattice_tile(self) → FixedBox

get_range_simple_fixed_box_hull(self) → FixedBox

get_range_stride_info(self, pos: int) → StrideInfo

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_range_tuple_id(self) → Id

get_space(self) → Space

get_tuple_id(self, type: dim_type) → Id

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_tuple_name(self, type: dim_type) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_var_dict(dimtype: dim_type | None = None) → Mapping[str, tuple[dim_type, int]]

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype: dim_type) → Sequence[str | None]

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype: dim_type) → Sequence[str | None]

Return a list of dim names (in order) for dim_type dimtype.

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

Return a list of dim names (in order) for dim_type dimtype.

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

gist(self, context: Map | BasicMap) → Map

gist_basic_map(self, context: BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

gist_domain(self, context: Set | BasicSet) → Map

gist_params(self, context: Set | BasicSet) → Map

gist_range(self, context: Set | BasicSet) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_dim_id(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_dim_name(self, type: dim_type, pos: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_domain_tuple_id(self) → bool

has_equal_space(self, map2: Map | BasicMap) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_range_tuple_id(self) → bool

has_tuple_id(self, type: dim_type) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

has_tuple_name(self, type: dim_type) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

identity = <nanobind.nb_func object>

insert_dims(self, type: dim_type, pos: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect(self, map2: Map | BasicMap) → Map

intersect_domain(self, set: Set | BasicSet) → Map

intersect_domain_factor_domain(self, factor: Map | BasicMap) → Map

intersect_domain_factor_range(self, factor: Map | BasicMap) → Map

intersect_domain_wrapped_domain(self, domain: Set | BasicSet) → Map

intersect_params(self, params: Set | BasicSet) → Map

intersect_range(self, set: Set | BasicSet) → Map

intersect_range_factor_domain(self, factor: Map | BasicMap) → Map

intersect_range_factor_range(self, factor: Map | BasicMap) → Map

intersect_range_wrapped_domain(self, domain: Set | BasicSet) → Map

involves_dims(self, type: dim_type, first: int, n: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_bijective(self) → bool

is_disjoint(self, map2: Map | BasicMap) → bool

is_empty(self) → bool

is_equal(self, map2: Map | BasicMap) → bool

is_identity(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_injective(self) → bool

is_product(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_single_valued(self) → bool

is_strict_subset(self, map2: Map | BasicMap) → bool

is_subset(self, map2: Map | BasicMap) → bool

is_translation(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_ge = <nanobind.nb_func object>

lex_ge_at_multi_pw_aff(self, mpa: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_ge_first = <nanobind.nb_func object>

lex_ge_map(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_gt = <nanobind.nb_func object>

lex_gt_at_multi_pw_aff(self, mpa: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_gt_first = <nanobind.nb_func object>

lex_gt_map(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_le = <nanobind.nb_func object>

lex_le_at_multi_pw_aff(self, mpa: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_le_first = <nanobind.nb_func object>

lex_le_map(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_lt = <nanobind.nb_func object>

lex_lt_at_multi_pw_aff(self, mpa: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_lt_first = <nanobind.nb_func object>

lex_lt_map(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lexmax(self) → Map

lexmax_pw_multi_aff(self) → PwMultiAff

lexmin(self) → Map

lexmin_pw_multi_aff(self) → PwMultiAff

lower_bound_multi_pw_aff(self, lower: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

lower_bound_val(self, type: dim_type, pos: int, value: Val | int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

make_disjoint(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

max_multi_pw_aff(self) → MultiPwAff

min_multi_pw_aff(self) → MultiPwAff

move_dims(self, dst_type: dim_type, dst_pos: int, src_type: dim_type, src_pos: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_basic_map(self) → int

nat_universe = <nanobind.nb_func object>

neg(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

oppose(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

order_ge(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

order_gt(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

order_le(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

order_lt(self, type1: dim_type, pos1: int, type2: dim_type, pos2: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

params(self) → Set

partial_lexmax(self, dom: Set | BasicSet) → tuple[Map, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

partial_lexmin(self, dom: Set | BasicSet) → tuple[Map, Set]

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_get_val_if_fixed(self, type: dim_type, pos: int) → Val

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_empty(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_equal(self, map2: Map | BasicMap) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_injective(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_single_valued(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_universe(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_unshifted_simple_hull(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

polyhedral_hull(self) → BasicMap

power(self) → tuple[Map, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_multi_aff(self, ma: MultiAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_multi_pw_aff(self, mpa: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_pw_multi_aff(self, pma: PwMultiAff | MultiAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_range_multi_aff(self, ma: MultiAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_range_pw_multi_aff(self, pma: PwMultiAff | MultiAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

product(self, map2: Map | BasicMap) → Map

project_out(self, type: dim_type, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_all_params(self) → Map

project_out_except(names: Collection[str], types: Collection[dim_type]) → SetOrMapT

Parameters:

• types – list of dim_type determining the types of axes to project out

• names – names of axes matching the above which should be left alone by the projection

Added in version 2011.3.

project_out_param_id(self, id: Id) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_param_id_list(self, list: IdList) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

range(self) → Set

range_curry(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

range_factor_domain(self) → Map

range_factor_range(self) → Map

range_is_wrapping(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

range_map(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

range_product(self, map2: Map | BasicMap) → Map

range_reverse(self) → Map

range_tuple_dim(self) → int

reaching_path_lengths(self) → tuple[Map, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

read_from_str = <nanobind.nb_func object>

remove_dims(self, type: dim_type, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_divs_involving_dims(self, type: dim_type, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_inputs(self, first: int, n: int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_redundancies(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_unknown_divs(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

reset_tuple_id(self, type: dim_type) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

reset_user(self) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

reverse(self) → Map

sample(self) → BasicMap

set_dim_id(self, type: dim_type, pos: int, id: Id) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_dim_name(self, type: dim_type, pos: int, s: str) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_domain_tuple_id(self, id: Id) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_range_tuple_id(self, id: Id) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_id(self, type: dim_type, id: Id) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

set_tuple_name(self, type: dim_type, s: str) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

simple_hull(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

property space

subtract(self, map2: Map | BasicMap) → Map

subtract_domain(self, dom: Set | BasicSet) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

subtract_range(self, dom: Set | BasicSet) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

sum(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_list(self) → MapList

to_str(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_union_map(self) → UnionMap

transitive_closure(self) → tuple[Map, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

uncurry(self) → Map

union(self, map2: Map | BasicMap) → Map

union_disjoint(self, map2: Map | BasicMap) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

universe = <nanobind.nb_func object>

unshifted_simple_hull(self) → BasicMap

unshifted_simple_hull_from_map_list(self, list: MapList) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

upper_bound_multi_pw_aff(self, upper: MultiPwAff) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

upper_bound_val(self, type: dim_type, pos: int, value: Val | int) → Map

Warning

This function is not part of the officially public isl API. Use at your own risk.

wrap(self) → Set

zip(self) → Map

Union Set

class islpy.UnionSet(*args, **kwargs)

__eq__() __hash__() __ne__() add_set() affine_hull() align_params() apply() apply_union_pw_qpolynomial_fold() as_set() coalesce() coefficients() compute_divs() compute_schedule() contains() copy() detect_equalities() dim() drop_unused_params() dump() every_set() extract_set() foreach_point() foreach_set() get_basic_set_list() get_ctx() get_id_dict() get_set_list() get_space() get_var_dict() get_var_ids() get_var_names() get_var_names_not_none() gist() gist_params() identity() identity_union_pw_multi_aff() intersect() intersect_params()

is_disjoint() is_empty() is_equal() is_params() is_strict_subset() is_subset() isa_set() lex_ge_union_set() lex_gt_union_set() lex_le_union_set() lex_lt_union_set() lexmax() lexmin() lift() min_multi_union_pw_aff() n_set() params() polyhedral_hull() preimage_multi_aff() preimage_pw_multi_aff() preimage_union_pw_multi_aff() product() project_out() project_out_all_params() remove_divs() remove_redundancies() reset_user() sample() sample_point() simple_hull() solutions() subtract() to_list() to_str() union() universe() unwrap() wrapped_domain_map()

__eq__(other: object) → bool

Return self==value.

__hash__(self) → int

__hash__(self) -> int

Warning

This function is not part of the officially public isl API. Use at your own risk.

__ne__(value, /)

Return self!=value.

add_set(self, set: Set | BasicSet) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

affine_hull(self) → UnionSet

align_params(self, model: Space) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

apply(self, umap: UnionMap | BasicMap | Map) → UnionSet

apply_union_pw_qpolynomial_fold(self, upwf: UnionPwQPolynomialFold) → tuple[UnionPwQPolynomialFold, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

as_set(self) → Set

coalesce(self) → UnionSet

coefficients(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

compute_divs(self) → UnionSet

compute_schedule(self, validity: UnionMap | BasicMap | Map, proximity: UnionMap | BasicMap | Map) → Schedule

Warning

This function is not part of the officially public isl API. Use at your own risk.

contains(self, space: Space) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

copy(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

detect_equalities(self) → UnionSet

dim(self, type: dim_type) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

drop_unused_params(self) → UnionSet

dump(self) → None

Warning

This function is not part of the officially public isl API. Use at your own risk.

empty = <nanobind.nb_func object>

empty_ctx = <nanobind.nb_func object>

empty_space = <nanobind.nb_func object>

every_set(self, test: Callable[[Set], bool]) → bool

Parameters:

test – callback(set)

extract_set(self, space: Space) → Set

foreach_point(self, fn: Callable[[Point], None]) → None

Parameters:

fn – callback(pnt)

foreach_set(self, fn: Callable[[Set], None]) → None

Parameters:

fn – callback(set)

from_basic_set = <nanobind.nb_func object>

from_point = <nanobind.nb_func object>

from_set = <nanobind.nb_func object>

get_basic_set_list(self) → BasicSetList

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_ctx(self) → Context

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_id_dict(dimtype: dim_type | None = None) → Mapping[Id, tuple[dim_type, int]]

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_set_list(self) → SetList

get_space(self) → Space

get_var_dict(dimtype: dim_type | None = None) → Mapping[str, tuple[dim_type, int]]

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype: dim_type) → Sequence[str | None]

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype: dim_type) → Sequence[str | None]

Return a list of dim names (in order) for dim_type dimtype.

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

Return a list of dim names (in order) for dim_type dimtype.

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

gist(self, context: UnionSet | BasicSet | Set) → UnionSet

gist_params(self, set: Set | BasicSet) → UnionSet

identity(self) → UnionMap

identity_union_pw_multi_aff(self) → UnionPwMultiAff

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect(self, uset2: UnionSet | BasicSet | Set) → UnionSet

intersect_params(self, set: Set | BasicSet) → UnionSet

is_disjoint(self, uset2: UnionSet | BasicSet | Set) → bool

is_empty(self) → bool

is_equal(self, uset2: UnionSet | BasicSet | Set) → bool

is_params(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_strict_subset(self, uset2: UnionSet | BasicSet | Set) → bool

is_subset(self, uset2: UnionSet | BasicSet | Set) → bool

isa_set(self) → bool

lex_ge_union_set(self, uset2: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_gt_union_set(self, uset2: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_le_union_set(self, uset2: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_lt_union_set(self, uset2: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lexmax(self) → UnionSet

lexmin(self) → UnionSet

lift(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

min_multi_union_pw_aff(self, obj: MultiUnionPwAff) → MultiVal

Warning

This function is not part of the officially public isl API. Use at your own risk.

n_set(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

params(self) → Set

polyhedral_hull(self) → UnionSet

preimage_multi_aff(self, ma: MultiAff) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_pw_multi_aff(self, pma: PwMultiAff | MultiAff) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_union_pw_multi_aff(self, upma: UnionPwMultiAff | MultiAff | PwMultiAff) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

product(self, uset2: UnionSet | BasicSet | Set) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out(self, type: dim_type, first: int, n: int) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_all_params(self) → UnionSet

read_from_str = <nanobind.nb_func object>

remove_divs(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_redundancies(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

reset_user(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

sample(self) → BasicSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

sample_point(self) → Point

simple_hull(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

solutions(self) → UnionSet

Warning

This function is not part of the officially public isl API. Use at your own risk.

property space

subtract(self, uset2: UnionSet | BasicSet | Set) → UnionSet

to_list(self) → UnionSetList

to_str(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

union(self, uset2: UnionSet | BasicSet | Set) → UnionSet

universe(self) → UnionSet

unwrap(self) → UnionMap

wrapped_domain_map(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

Union Map

class islpy.UnionMap(*args, **kwargs)

__eq__() __hash__() __ne__() add_map() affine_hull() align_params() apply_domain() apply_range() apply_union_pw_qpolynomial_fold() as_map() as_multi_union_pw_aff() as_union_pw_multi_aff() bind_range() coalesce() compute_divs() compute_flow() contains() copy() curry() deltas() deltas_map() detect_equalities() dim() domain() domain_factor_domain() domain_factor_range() domain_map() domain_map_union_pw_multi_aff() domain_product() domain_reverse() drop_unused_params() dump() eq_at_multi_union_pw_aff() every_map() extract_map() factor_domain() factor_range() find_dim_by_name() fixed_power_val() flat_domain_product() flat_range_product() foreach_map() get_ctx() get_dim_id() get_id_dict() get_map_list() get_space() get_var_dict() get_var_ids() get_var_names() get_var_names_not_none() gist() gist_domain() gist_params() gist_range() intersect() intersect_domain() intersect_domain_factor_domain() intersect_domain_factor_range() intersect_domain_space() intersect_domain_union_set() intersect_domain_wrapped_domain_union_set() intersect_params() intersect_range() intersect_range_factor_domain() intersect_range_factor_range() intersect_range_space()

intersect_range_union_set() intersect_range_wrapped_domain_union_set() involves_dims() is_bijective() is_disjoint() is_empty() is_equal() is_identity() is_injective() is_single_valued() is_strict_subset() is_subset() isa_map() lex_ge_at_multi_union_pw_aff() lex_ge_union_map() lex_gt_at_multi_union_pw_aff() lex_gt_union_map() lex_le_at_multi_union_pw_aff() lex_le_union_map() lex_lt_at_multi_union_pw_aff() lex_lt_union_map() lexmax() lexmin() n_map() params() plain_is_empty() plain_is_injective() polyhedral_hull() power() preimage_domain_multi_aff() preimage_domain_multi_pw_aff() preimage_domain_pw_multi_aff() preimage_domain_union_pw_multi_aff() preimage_range_multi_aff() preimage_range_pw_multi_aff() preimage_range_union_pw_multi_aff() product() project_out() project_out_all_params() project_out_param_id() project_out_param_id_list() range() range_curry() range_factor_domain() range_factor_range() range_map() range_product() range_reverse() remove_divs() remove_map_if() remove_redundancies() reset_user() reverse() sample() simple_hull() subtract() subtract_domain() subtract_range() to_list() to_str() transitive_closure() uncurry() union() universe() wrap() zip()

__eq__(other: object) → bool

Return self==value.

__hash__(self) → int

__hash__(self) -> int

Warning

This function is not part of the officially public isl API. Use at your own risk.

__ne__(value, /)

Return self!=value.

add_map(self, map: Map | BasicMap) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

affine_hull(self) → UnionMap

align_params(self, model: Space) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

apply_domain(self, umap2: UnionMap | BasicMap | Map) → UnionMap

apply_range(self, umap2: UnionMap | BasicMap | Map) → UnionMap

apply_union_pw_qpolynomial_fold(self, upwf: UnionPwQPolynomialFold) → tuple[UnionPwQPolynomialFold, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

as_map(self) → Map

as_multi_union_pw_aff(self) → MultiUnionPwAff

as_union_pw_multi_aff(self) → UnionPwMultiAff

bind_range(self, tuple: MultiId) → UnionSet

coalesce(self) → UnionMap

compute_divs(self) → UnionMap

compute_flow(self, must_source: UnionMap | BasicMap | Map, may_source: UnionMap | BasicMap | Map, schedule: UnionMap | BasicMap | Map) → tuple[UnionMap, UnionMap, UnionMap, UnionMap]

Warning

This function is not part of the officially public isl API. Use at your own risk.

contains(self, space: Space) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

copy(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

curry(self) → UnionMap

deltas(self) → UnionSet

deltas_map(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

detect_equalities(self) → UnionMap

dim(self, type: dim_type) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

domain(self) → UnionSet

domain_factor_domain(self) → UnionMap

domain_factor_range(self) → UnionMap

domain_map(self) → UnionMap

domain_map_union_pw_multi_aff(self) → UnionPwMultiAff

domain_product(self, umap2: UnionMap | BasicMap | Map) → UnionMap

domain_reverse(self) → UnionMap

drop_unused_params(self) → UnionMap

dump(self) → None

Warning

This function is not part of the officially public isl API. Use at your own risk.

empty = <nanobind.nb_func object>

empty_ctx = <nanobind.nb_func object>

empty_space = <nanobind.nb_func object>

eq_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

every_map(self, test: Callable[[Map], bool]) → bool

Parameters:

test – callback(map)

extract_map(self, space: Space) → Map

factor_domain(self) → UnionMap

factor_range(self) → UnionMap

find_dim_by_name(self, type: dim_type, name: str) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

fixed_power_val(self, exp: Val | int) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_domain_product(self, umap2: UnionMap | BasicMap | Map) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

flat_range_product(self, umap2: UnionMap | BasicMap | Map) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

foreach_map(self, fn: Callable[[Map], None]) → None

Parameters:

fn – callback(map)

from_basic_map = <nanobind.nb_func object>

from_domain = <nanobind.nb_func object>

from_domain_and_range = <nanobind.nb_func object>

from_map = <nanobind.nb_func object>

from_multi_union_pw_aff = <nanobind.nb_func object>

from_range = <nanobind.nb_func object>

from_union_pw_aff = <nanobind.nb_func object>

from_union_pw_multi_aff = <nanobind.nb_func object>

get_ctx(self) → Context

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_dim_id(self, type: dim_type, pos: int) → Id

Warning

This function is not part of the officially public isl API. Use at your own risk.

get_id_dict(dimtype: dim_type | None = None) → Mapping[Id, tuple[dim_type, int]]

Return a dictionary mapping Id instances to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_map_list(self) → MapList

get_space(self) → Space

get_var_dict(dimtype: dim_type | None = None) → Mapping[str, tuple[dim_type, int]]

Return a dictionary mapping variable names to tuples of (dim_type, index).

Parameters:

dimtype – None to get all variables, otherwise one of dim_type.

get_var_ids(dimtype: dim_type) → Sequence[str | None]

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype: dim_type) → Sequence[str | None]

Return a list of dim names (in order) for dim_type dimtype.

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

Return a list of dim names (in order) for dim_type dimtype.

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

gist(self, context: UnionMap | BasicMap | Map) → UnionMap

gist_domain(self, uset: UnionSet | BasicSet | Set) → UnionMap

gist_params(self, set: Set | BasicSet) → UnionMap

gist_range(self, uset: UnionSet | BasicSet | Set) → UnionMap

intersect(self, umap2: UnionMap | BasicMap | Map) → UnionMap

intersect_domain(self, uset: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_domain_factor_domain(self, factor: UnionMap | BasicMap | Map) → UnionMap

intersect_domain_factor_range(self, factor: UnionMap | BasicMap | Map) → UnionMap

intersect_domain_space(self, space: Space) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_domain_union_set(self, uset: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_domain_wrapped_domain_union_set(self, domain: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_params(self, set: Set | BasicSet) → UnionMap

intersect_range(self, uset: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_range_factor_domain(self, factor: UnionMap | BasicMap | Map) → UnionMap

intersect_range_factor_range(self, factor: UnionMap | BasicMap | Map) → UnionMap

intersect_range_space(self, space: Space) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_range_union_set(self, uset: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

intersect_range_wrapped_domain_union_set(self, domain: UnionSet | BasicSet | Set) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

involves_dims(self, type: dim_type, first: int, n: int) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_bijective(self) → bool

is_disjoint(self, umap2: UnionMap | BasicMap | Map) → bool

is_empty(self) → bool

is_equal(self, umap2: UnionMap | BasicMap | Map) → bool

is_identity(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

is_injective(self) → bool

is_single_valued(self) → bool

is_strict_subset(self, umap2: UnionMap | BasicMap | Map) → bool

is_subset(self, umap2: UnionMap | BasicMap | Map) → bool

isa_map(self) → bool

lex_ge_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_ge_union_map(self, umap2: UnionMap | BasicMap | Map) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_gt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_gt_union_map(self, umap2: UnionMap | BasicMap | Map) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_le_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_le_union_map(self, umap2: UnionMap | BasicMap | Map) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_lt_at_multi_union_pw_aff(self, mupa: MultiUnionPwAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lex_lt_union_map(self, umap2: UnionMap | BasicMap | Map) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

lexmax(self) → UnionMap

lexmin(self) → UnionMap

n_map(self) → int

Warning

This function is not part of the officially public isl API. Use at your own risk.

params(self) → Set

plain_is_empty(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

plain_is_injective(self) → bool

Warning

This function is not part of the officially public isl API. Use at your own risk.

polyhedral_hull(self) → UnionMap

power(self) → tuple[UnionMap, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_multi_aff(self, ma: MultiAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_multi_pw_aff(self, mpa: MultiPwAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_pw_multi_aff(self, pma: PwMultiAff | MultiAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_domain_union_pw_multi_aff(self, upma: UnionPwMultiAff | MultiAff | PwMultiAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_range_multi_aff(self, ma: MultiAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_range_pw_multi_aff(self, pma: PwMultiAff | MultiAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

preimage_range_union_pw_multi_aff(self, upma: UnionPwMultiAff | MultiAff | PwMultiAff) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

product(self, umap2: UnionMap | BasicMap | Map) → UnionMap

project_out(self, type: dim_type, first: int, n: int) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_all_params(self) → UnionMap

project_out_param_id(self, id: Id) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

project_out_param_id_list(self, list: IdList) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

range(self) → UnionSet

range_curry(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

range_factor_domain(self) → UnionMap

range_factor_range(self) → UnionMap

range_map(self) → UnionMap

range_product(self, umap2: UnionMap | BasicMap | Map) → UnionMap

range_reverse(self) → UnionMap

read_from_str = <nanobind.nb_func object>

remove_divs(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_map_if(self, fn: Callable[[Map], bool]) → UnionMap

Parameters:

fn – callback(map)

Warning

This function is not part of the officially public isl API. Use at your own risk.

remove_redundancies(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

reset_user(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

reverse(self) → UnionMap

sample(self) → BasicMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

simple_hull(self) → UnionMap

Warning

This function is not part of the officially public isl API. Use at your own risk.

property space

subtract(self, umap2: UnionMap | BasicMap | Map) → UnionMap

subtract_domain(self, dom: UnionSet | BasicSet | Set) → UnionMap

subtract_range(self, dom: UnionSet | BasicSet | Set) → UnionMap

to_list(self) → UnionMapList

Warning

This function is not part of the officially public isl API. Use at your own risk.

to_str(self) → str

Warning

This function is not part of the officially public isl API. Use at your own risk.

transitive_closure(self) → tuple[UnionMap, bool]

Warning

This function is not part of the officially public isl API. Use at your own risk.

uncurry(self) → UnionMap

union(self, umap2: UnionMap | BasicMap | Map) → UnionMap

universe(self) → UnionMap

wrap(self) → UnionSet

zip(self) → UnionMap