Reference: Sets and Maps

Basic Set

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

__eq__() __hash__() __len__() __ne__() add_constraint() add_constraints() add_dims() add_set() affine_hull() align_divs() align_params() apply() apply_pw_qpolynomial_fold() apply_union_pw_qpolynomial_fold() as_pw_multi_aff() as_set() bind() bounded_simple_hull() coalesce() coefficients() compare_at() complement() compute_divs() compute_schedule() compute_vertices() contains() 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() equalities_matrix() equate() every_set() extract_set() find_dim_by_id() find_dim_by_name() fix_dim_si() fix_val() flat_product() flatten() flatten_map() follows_at() foreach_basic_set() foreach_bound_pair() foreach_constraint() foreach_point() foreach_set() from_params() get_basic_set_list() get_basic_sets() get_constraint_list() get_constraints() get_ctx() get_dim_id() get_dim_name() get_div() get_id_dict() get_lattice_tile() get_local_space() get_plain_multi_val_if_fixed() get_set_list() 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() identity_union_pw_multi_aff() indicator_function() inequalities_matrix() 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_rational() is_singleton() is_strict_subset() is_subset() is_universe() is_wrapping() isa_set() lex_ge_set() lex_ge_union_set() lex_gt_set() lex_gt_union_set() lex_le_set() lex_le_union_set() lex_lt_set() lex_lt_union_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_multi_union_pw_aff() min_val() move_dims() n_basic_set() n_constraint() n_dim() n_param() n_set() neg() param_pw_aff_on_domain_id() params() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() 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() preimage_union_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() reduced_basis() 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_set() to_str() to_union_set() total_dim() 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

__len__(self) → int

__len__(self) -> int

Warning

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

Downcast from BasicSet to Set.

__ne__(other: object) → bool

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.

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

Warning

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

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

align_params(self, model: Space) → BasicSet

Warning

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

apply

Overloaded function.

1. apply(self, bmap: BasicMap) -> BasicSet

apply(self, bmap: BasicMap) -> BasicSet

2. apply(self, map: Map | BasicMap) -> Set

apply(self, map: Map | BasicMap) -> Set

Downcast from BasicSet to Set.

3. apply(self, umap: UnionMap | BasicMap | Map) -> UnionSet

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

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to UnionSet.

as_pw_multi_aff(self) → PwMultiAff

Downcast from BasicSet to Set.

as_set(self) → Set

Downcast from BasicSet to UnionSet.

bind(self, tuple: MultiId) → Set

Downcast from BasicSet to Set.

bounded_simple_hull(self) → BasicSet

Warning

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

Downcast from BasicSet to Set.

box_from_points = <nanobind.nb_func object>

coalesce(self) → Set

Downcast from BasicSet to Set.

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.

complement(self) → Set

Downcast from BasicSet to Set.

compute_divs(self) → Set

Warning

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

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.

Downcast from BasicSet to UnionSet.

compute_vertices(self) → Vertices

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.

Downcast from BasicSet to UnionSet.

convex_hull(self) → BasicSet

Warning

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

Downcast from BasicSet to Set.

copy(self) → BasicSet

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.

Downcast from BasicSet to Set.

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_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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

dim_max(self, pos: int) → PwAff

Warning

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

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

dim_min_val(self, pos: int) → Val

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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_dims(self, first: int, n: int) → Set

Warning

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

Downcast from BasicSet to Set.

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.

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.

Downcast from BasicSet to Set.

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

Parameters:

test – callback(set)

Downcast from BasicSet to UnionSet.

extract_set(self, space: Space) → Set

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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

Overloaded function.

1. flat_product(self, bset2: BasicSet) -> BasicSet

flat_product(self, bset2: BasicSet) -> BasicSet

Warning

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

2. flat_product(self, set2: Set | BasicSet) -> Set

flat_product(self, set2: Set | BasicSet) -> Set

Warning

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

Downcast from BasicSet to Set.

flatten(self) → BasicSet

flatten_map(self) → Map

Warning

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

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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

Parameters:

fn – callback(bset)

Downcast from BasicSet to Set.

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.

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

Parameters:

fn – callback(pnt)

Downcast from BasicSet to Set.

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

Parameters:

fn – callback(set)

Downcast from BasicSet to UnionSet.

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_set_list(self) → BasicSetList

Warning

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

Downcast from BasicSet to Set.

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_lattice_tile(self) → FixedBox

Downcast from BasicSet to Set.

get_local_space(self) → LocalSpace

Warning

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

get_plain_multi_val_if_fixed(self) → MultiVal

Downcast from BasicSet to Set.

get_set_list(self) → SetList

Downcast from BasicSet to UnionSet.

get_simple_fixed_box_hull(self) → FixedBox

Downcast from BasicSet to Set.

get_space(self) → Space

Warning

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

get_stride(self, pos: int) → Val

Downcast from BasicSet to Set.

get_stride_info(self, pos: int) → StrideInfo

Warning

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

Downcast from BasicSet to Set.

get_tuple_id(self) → Id

Warning

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

Downcast from BasicSet to Set.

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

Overloaded function.

1. gist(self, context: BasicSet) -> BasicSet

gist(self, context: BasicSet) -> BasicSet

2. gist(self, context: Set | BasicSet) -> Set

gist(self, context: Set | BasicSet) -> Set

Downcast from BasicSet to Set.

3. gist(self, context: UnionSet | BasicSet | Set) -> UnionSet

gist(self, context: UnionSet | BasicSet | Set) -> UnionSet

Downcast from BasicSet to UnionSet.

gist_basic_set(self, context: BasicSet) → Set

Warning

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

Downcast from BasicSet to Set.

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

Downcast from BasicSet to 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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

has_tuple_id(self) → bool

Warning

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

Downcast from BasicSet to Set.

has_tuple_name(self) → bool

Warning

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

Downcast from BasicSet to Set.

identity(self) → Map

Downcast from BasicSet to Set.

identity_union_pw_multi_aff(self) → UnionPwMultiAff

Warning

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

Downcast from BasicSet to UnionSet.

indicator_function(self) → PwAff

Downcast from BasicSet to Set.

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.

insert_domain(self, domain: Space) → Map

Downcast from BasicSet to Set.

intersect

Overloaded function.

1. intersect(self, bset2: BasicSet) -> BasicSet

intersect(self, bset2: BasicSet) -> BasicSet

2. intersect(self, set2: Set | BasicSet) -> Set

intersect(self, set2: Set | BasicSet) -> Set

Downcast from BasicSet to Set.

3. intersect(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

intersect(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

intersect_params

Overloaded function.

1. intersect_params(self, bset2: BasicSet) -> BasicSet

intersect_params(self, bset2: BasicSet) -> BasicSet

2. intersect_params(self, params: Set | BasicSet) -> Set

intersect_params(self, params: Set | BasicSet) -> Set

Downcast from BasicSet to 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

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

is_disjoint

Overloaded function.

1. is_disjoint(self, bset2: BasicSet) -> bool

is_disjoint(self, bset2: BasicSet) -> bool

Warning

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

2. is_disjoint(self, set2: Set | BasicSet) -> bool

is_disjoint(self, set2: Set | BasicSet) -> bool

Downcast from BasicSet to Set.

3. is_disjoint(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from BasicSet to UnionSet.

is_empty(self) → bool

is_equal

Overloaded function.

1. is_equal(self, bset2: BasicSet) -> bool

is_equal(self, bset2: BasicSet) -> bool

2. is_equal(self, set2: Set | BasicSet) -> bool

is_equal(self, set2: Set | BasicSet) -> bool

Downcast from BasicSet to Set.

3. is_equal(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from BasicSet to UnionSet.

is_params

is_rational(self) → bool

Warning

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

is_singleton(self) → bool

Downcast from BasicSet to Set.

is_strict_subset

Overloaded function.

1. is_strict_subset(self, set2: Set | BasicSet) -> bool

is_strict_subset(self, set2: Set | BasicSet) -> bool

Downcast from BasicSet to Set.

2. is_strict_subset(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from BasicSet to UnionSet.

is_subset

Overloaded function.

1. is_subset(self, bset2: BasicSet) -> bool

is_subset(self, bset2: BasicSet) -> bool

2. is_subset(self, set2: Set | BasicSet) -> bool

is_subset(self, set2: Set | BasicSet) -> bool

Downcast from BasicSet to Set.

3. is_subset(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from BasicSet to UnionSet.

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

isa_set(self) → bool

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to UnionSet.

lexmax(self) → Set

lexmax_pw_multi_aff(self) → PwMultiAff

Downcast from BasicSet to Set.

lexmin(self) → Set

lexmin_pw_multi_aff(self) → PwMultiAff

Downcast from BasicSet to Set.

lift(self) → BasicSet

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

make_disjoint(self) → Set

Warning

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

Downcast from BasicSet to Set.

max_multi_pw_aff(self) → MultiPwAff

Downcast from BasicSet to Set.

max_val(self, obj: Aff) → Val

Warning

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

min_multi_pw_aff(self) → MultiPwAff

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to UnionSet.

min_val(self, obj: Aff) → Val

Downcast from BasicSet to Set.

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_basic_set(self) → int

Downcast from BasicSet to Set.

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.

n_set(self) → int

Warning

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

Downcast from BasicSet to UnionSet.

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.

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.

Downcast from BasicSet to Set.

params(self) → BasicSet

partial_lexmax

Overloaded function.

1. partial_lexmax(self, dom: BasicSet) -> tuple[Set, Set]

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.

2. partial_lexmax(self, dom: Set | BasicSet) -> tuple[Set, 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.

Downcast from BasicSet to Set.

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

Overloaded function.

1. partial_lexmin(self, dom: BasicSet) -> tuple[Set, Set]

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.

2. partial_lexmin(self, dom: Set | BasicSet) -> tuple[Set, Set]

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.

Downcast from BasicSet to Set.

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_cmp(self, set2: Set | BasicSet) → int

Warning

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

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to 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_equal

Overloaded function.

1. plain_is_equal(self, bset2: BasicSet) -> bool

plain_is_equal(self, bset2: BasicSet) -> bool

Warning

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

2. plain_is_equal(self, set2: Set | BasicSet) -> bool

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

polyhedral_hull(self) → BasicSet

Downcast from BasicSet to Set.

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.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to UnionSet.

product

Overloaded function.

1. product(self, set2: Set | BasicSet) -> Set

product(self, set2: Set | BasicSet) -> Set

Downcast from BasicSet to Set.

2. product(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

product(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Warning

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

Downcast from BasicSet to UnionSet.

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.

Downcast from BasicSet to Set.

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_all_params(self) → Set

Downcast from BasicSet to 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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

reset_space(self, space: Space) → Set

Warning

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

Downcast from BasicSet to Set.

reset_tuple_id(self) → Set

Warning

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

Downcast from BasicSet to Set.

reset_user(self) → Set

Warning

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

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

simple_hull(self) → BasicSet

Warning

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

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

subtract

Overloaded function.

1. subtract(self, set2: Set | BasicSet) -> Set

subtract(self, set2: Set | BasicSet) -> Set

Downcast from BasicSet to Set.

2. subtract(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

subtract(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Downcast from BasicSet to UnionSet.

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

Warning

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

Downcast from BasicSet to Set.

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.

to_union_set(self) → UnionSet

Downcast from BasicSet to Set.

total_dim(self) → int

Warning

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

translation(self) → Map

Downcast from BasicSet to Set.

tuple_dim(self) → int

Downcast from BasicSet to Set.

unbind_params(self, tuple: MultiId) → Set

Downcast from BasicSet to Set.

unbind_params_insert_domain(self, domain: MultiId) → Map

Downcast from BasicSet to Set.

union

Overloaded function.

1. union(self, bset2: BasicSet) -> Set

union(self, bset2: BasicSet) -> Set

2. union(self, set2: Set | BasicSet) -> Set

union(self, set2: Set | BasicSet) -> Set

Downcast from BasicSet to Set.

3. union(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

union(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Downcast from BasicSet to UnionSet.

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

Warning

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

Downcast from BasicSet to Set.

universe = <nanobind.nb_func object>

unshifted_simple_hull(self) → BasicSet

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

unwrap(self) → 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) → Set

Warning

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

Downcast from BasicSet to Set.

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.

Downcast from BasicSet to Set.

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.

wrapped_domain_map(self) → Map

Warning

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

Downcast from BasicSet to Set.

wrapped_reverse(self) → Set

Downcast from BasicSet to Set.

Basic Map

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

__eq__() __hash__() __ne__() add_constraint() add_constraints() add_dims() add_map() affine_hull() align_divs() align_params() apply_domain() apply_pw_qpolynomial_fold() apply_range() apply_union_pw_qpolynomial_fold() as_map() as_multi_union_pw_aff() as_pw_multi_aff() as_union_pw_multi_aff() bind_domain() bind_range() can_curry() can_range_curry() can_uncurry() can_zip() coalesce() complement() compute_divs() compute_flow() contains() 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_map_union_pw_multi_aff() 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() eq_at_multi_union_pw_aff() equalities_matrix() equate() every_map() extract_map() 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() foreach_constraint() foreach_map() get_basic_map_list() get_constraint_list() get_constraints() get_ctx() get_dim_id() get_dim_name() get_div() get_domain_tuple_id() get_id_dict() get_local_space() get_map_list() 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_defining_equality() has_dim_id() has_dim_name() has_domain_tuple_id() has_equal_space() has_range_tuple_id() has_tuple_id() has_tuple_name() image_is_bounded() inequalities_matrix() insert_dims() intersect() intersect_domain() intersect_domain_factor_domain() intersect_domain_factor_range() intersect_domain_space() intersect_domain_union_set() intersect_domain_wrapped_domain() 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()

intersect_range_wrapped_domain_union_set() involves_dims() is_bijective() is_disjoint() is_empty() is_equal() is_identity() is_injective() is_product() is_rational() is_single_valued() is_strict_subset() is_subset() is_translation() is_universe() isa_map() lex_ge_at_multi_pw_aff() lex_ge_at_multi_union_pw_aff() lex_ge_map() lex_ge_union_map() lex_gt_at_multi_pw_aff() lex_gt_at_multi_union_pw_aff() lex_gt_map() lex_gt_union_map() lex_le_at_multi_pw_aff() lex_le_at_multi_union_pw_aff() lex_le_map() lex_le_union_map() lex_lt_at_multi_pw_aff() lex_lt_at_multi_union_pw_aff() lex_lt_map() lex_lt_union_map() lexmax() lexmax_pw_multi_aff() lexmin() lexmin_pw_multi_aff() lower_bound_multi_pw_aff() lower_bound_si() lower_bound_val() make_disjoint() max_multi_pw_aff() min_multi_pw_aff() move_dims() n_basic_map() n_constraint() n_map() neg() oppose() order_ge() order_gt() order_le() order_lt() params() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() 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_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_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_map_if() 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_map() to_str() to_union_map() total_dim() transitive_closure() uncurry() union() union_disjoint() unshifted_simple_hull() unshifted_simple_hull_from_map_list() upper_bound_multi_pw_aff() upper_bound_si() upper_bound_val() wrap() zip()

__eq__(other: object) → bool

Return self==value.

__hash__(self) → int

__ne__(other: object) → bool

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.

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

Warning

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

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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

Overloaded function.

1. apply_domain(self, bmap2: BasicMap) -> BasicMap

apply_domain(self, bmap2: BasicMap) -> BasicMap

2. apply_domain(self, map2: Map | BasicMap) -> Map

apply_domain(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. apply_domain(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

apply_domain(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

apply_range

Overloaded function.

1. apply_range(self, bmap2: BasicMap) -> BasicMap

apply_range(self, bmap2: BasicMap) -> BasicMap

2. apply_range(self, map2: Map | BasicMap) -> Map

apply_range(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. apply_range(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

apply_range(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to 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.

Downcast from BasicMap to UnionMap.

as_map(self) → Map

Downcast from BasicMap to UnionMap.

as_multi_union_pw_aff(self) → MultiUnionPwAff

Downcast from BasicMap to UnionMap.

as_pw_multi_aff(self) → PwMultiAff

Downcast from BasicMap to Map.

as_union_pw_multi_aff(self) → UnionPwMultiAff

Downcast from BasicMap to UnionMap.

bind_domain(self, tuple: MultiId) → Set

Downcast from BasicMap to Map.

bind_range(self, tuple: MultiId) → Set

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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

Downcast from BasicMap to Map.

complement(self) → Map

Downcast from BasicMap to Map.

compute_divs(self) → Map

Warning

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

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.

Downcast from BasicMap to UnionMap.

contains(self, space: Space) → bool

Warning

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

Downcast from BasicMap to UnionMap.

convex_hull(self) → BasicMap

Warning

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

Downcast from BasicMap to Map.

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.

dim_max(self, pos: int) → PwAff

Warning

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

Downcast from BasicMap to Map.

dim_min(self, pos: int) → PwAff

Warning

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

Downcast from BasicMap to Map.

domain(self) → BasicSet

Warning

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

domain_factor_domain(self) → Map

Downcast from BasicMap to Map.

domain_factor_range(self) → Map

Downcast from BasicMap to Map.

domain_is_wrapping(self) → bool

Warning

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

Downcast from BasicMap to Map.

domain_map(self) → BasicMap

Warning

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

domain_map_union_pw_multi_aff(self) → UnionPwMultiAff

Downcast from BasicMap to UnionMap.

domain_product

Overloaded function.

1. domain_product(self, bmap2: BasicMap) -> BasicMap

domain_product(self, bmap2: BasicMap) -> BasicMap

Warning

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

2. domain_product(self, map2: Map | BasicMap) -> Map

domain_product(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. domain_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

domain_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

domain_reverse(self) → Map

Downcast from BasicMap to Map.

domain_tuple_dim(self) → int

Downcast from BasicMap to Map.

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>

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

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

Parameters:

test – callback(map)

Downcast from BasicMap to UnionMap.

extract_map(self, space: Space) → Map

Downcast from BasicMap to UnionMap.

factor_domain(self) → Map

Downcast from BasicMap to Map.

factor_range(self) → Map

Downcast from BasicMap to 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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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.

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.

Downcast from BasicMap to Map.

flat_domain_product

Overloaded function.

1. flat_domain_product(self, map2: Map | BasicMap) -> Map

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.

Downcast from BasicMap to Map.

2. flat_domain_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

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.

Downcast from BasicMap to UnionMap.

flat_product

Overloaded function.

1. flat_product(self, bmap2: BasicMap) -> BasicMap

flat_product(self, bmap2: BasicMap) -> BasicMap

Warning

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

2. flat_product(self, map2: Map | BasicMap) -> Map

flat_product(self, map2: Map | BasicMap) -> Map

Warning

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

Downcast from BasicMap to Map.

flat_range_product

Overloaded function.

1. flat_range_product(self, bmap2: BasicMap) -> BasicMap

flat_range_product(self, bmap2: BasicMap) -> BasicMap

Warning

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

2. flat_range_product(self, map2: Map | BasicMap) -> Map

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.

Downcast from BasicMap to Map.

3. flat_range_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

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.

Downcast from BasicMap to UnionMap.

flatten(self) → BasicMap

flatten_domain(self) → BasicMap

flatten_range(self) → BasicMap

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

Warning

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

Downcast from BasicMap to Map.

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

Parameters:

fn – callback(bmap)

Downcast from BasicMap to Map.

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.

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

Parameters:

fn – callback(map)

Downcast from BasicMap to UnionMap.

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_basic_map_list(self) → BasicMapList

Warning

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

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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_domain_tuple_id(self) → Id

Downcast from BasicMap to Map.

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_map_list(self) → MapList

Downcast from BasicMap to UnionMap.

get_range_lattice_tile(self) → FixedBox

Downcast from BasicMap to Map.

get_range_simple_fixed_box_hull(self) → FixedBox

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

get_range_tuple_id(self) → Id

Downcast from BasicMap to Map.

get_space(self) → Space

Warning

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

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.

Downcast from BasicMap to Map.

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

Overloaded function.

1. gist(self, context: BasicMap) -> BasicMap

gist(self, context: BasicMap) -> BasicMap

2. gist(self, context: Map | BasicMap) -> Map

gist(self, context: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. gist(self, context: UnionMap | BasicMap | Map) -> UnionMap

gist(self, context: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

gist_basic_map(self, context: BasicMap) → Map

Warning

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

Downcast from BasicMap to Map.

gist_domain

Overloaded function.

1. gist_domain(self, context: BasicSet) -> BasicMap

gist_domain(self, context: BasicSet) -> BasicMap

Warning

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

2. gist_domain(self, context: Set | BasicSet) -> Map

gist_domain(self, context: Set | BasicSet) -> Map

Downcast from BasicMap to Map.

3. gist_domain(self, uset: UnionSet | BasicSet | Set) -> UnionMap

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

Downcast from BasicMap to UnionMap.

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

Downcast from BasicMap to Map.

gist_range

Overloaded function.

1. gist_range(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.

Downcast from BasicMap to Map.

2. gist_range(self, uset: UnionSet | BasicSet | Set) -> UnionMap

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

Downcast from BasicMap to UnionMap.

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.

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.

Downcast from BasicMap to Map.

has_domain_tuple_id(self) → bool

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

has_range_tuple_id(self) → bool

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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

Overloaded function.

1. intersect(self, bmap2: BasicMap) -> BasicMap

intersect(self, bmap2: BasicMap) -> BasicMap

2. intersect(self, map2: Map | BasicMap) -> Map

intersect(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. intersect(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

intersect(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

intersect_domain

Overloaded function.

1. intersect_domain(self, bset: BasicSet) -> BasicMap

intersect_domain(self, bset: BasicSet) -> BasicMap

2. intersect_domain(self, set: Set | BasicSet) -> Map

intersect_domain(self, set: Set | BasicSet) -> Map

Downcast from BasicMap to Map.

3. intersect_domain(self, uset: UnionSet | BasicSet | Set) -> 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.

Downcast from BasicMap to UnionMap.

intersect_domain_factor_domain

Overloaded function.

1. intersect_domain_factor_domain(self, factor: Map | BasicMap) -> Map

intersect_domain_factor_domain(self, factor: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

2. intersect_domain_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_domain_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

intersect_domain_factor_range

Overloaded function.

1. intersect_domain_factor_range(self, factor: Map | BasicMap) -> Map

intersect_domain_factor_range(self, factor: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

2. intersect_domain_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_domain_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to 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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to UnionMap.

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

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

intersect_params

Overloaded function.

1. intersect_params(self, bset: BasicSet) -> BasicMap

intersect_params(self, bset: BasicSet) -> BasicMap

2. intersect_params(self, params: Set | BasicSet) -> Map

intersect_params(self, params: Set | BasicSet) -> Map

Downcast from BasicMap to Map.

intersect_range

Overloaded function.

1. intersect_range(self, bset: BasicSet) -> BasicMap

intersect_range(self, bset: BasicSet) -> BasicMap

2. intersect_range(self, set: Set | BasicSet) -> Map

intersect_range(self, set: Set | BasicSet) -> Map

Downcast from BasicMap to Map.

3. intersect_range(self, uset: UnionSet | BasicSet | Set) -> 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.

Downcast from BasicMap to UnionMap.

intersect_range_factor_domain

Overloaded function.

1. intersect_range_factor_domain(self, factor: Map | BasicMap) -> Map

intersect_range_factor_domain(self, factor: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

2. intersect_range_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_range_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

intersect_range_factor_range

Overloaded function.

1. intersect_range_factor_range(self, factor: Map | BasicMap) -> Map

intersect_range_factor_range(self, factor: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

2. intersect_range_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_range_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to 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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to UnionMap.

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

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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

Downcast from BasicMap to Map.

is_disjoint

Overloaded function.

1. is_disjoint(self, bmap2: BasicMap) -> bool

is_disjoint(self, bmap2: BasicMap) -> bool

Warning

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

2. is_disjoint(self, map2: Map | BasicMap) -> bool

is_disjoint(self, map2: Map | BasicMap) -> bool

Downcast from BasicMap to Map.

3. is_disjoint(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from BasicMap to UnionMap.

is_empty(self) → bool

is_equal

Overloaded function.

1. is_equal(self, bmap2: BasicMap) -> bool

is_equal(self, bmap2: BasicMap) -> bool

2. is_equal(self, map2: Map | BasicMap) -> bool

is_equal(self, map2: Map | BasicMap) -> bool

Downcast from BasicMap to Map.

3. is_equal(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from BasicMap to UnionMap.

is_identity(self) → bool

Warning

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

Downcast from BasicMap to Map.

is_injective(self) → bool

Downcast from BasicMap to Map.

is_product(self) → bool

Warning

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

Downcast from BasicMap to Map.

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

Overloaded function.

1. is_strict_subset(self, bmap2: BasicMap) -> bool

is_strict_subset(self, bmap2: BasicMap) -> bool

Warning

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

2. is_strict_subset(self, map2: Map | BasicMap) -> bool

is_strict_subset(self, map2: Map | BasicMap) -> bool

Downcast from BasicMap to Map.

3. is_strict_subset(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from BasicMap to UnionMap.

is_subset

Overloaded function.

1. is_subset(self, bmap2: BasicMap) -> bool

is_subset(self, bmap2: BasicMap) -> bool

2. is_subset(self, map2: Map | BasicMap) -> bool

is_subset(self, map2: Map | BasicMap) -> bool

Downcast from BasicMap to Map.

3. is_subset(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from BasicMap to UnionMap.

is_translation(self) → bool

Warning

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

Downcast from BasicMap to Map.

is_universe(self) → bool

Warning

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

isa_map(self) → bool

Downcast from BasicMap to UnionMap.

less_at = <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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

lexmax(self) → Map

lexmax_pw_multi_aff(self) → PwMultiAff

Downcast from BasicMap to 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_multi_pw_aff(self, lower: MultiPwAff) → Map

Warning

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

Downcast from BasicMap to Map.

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.

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.

Downcast from BasicMap to Map.

make_disjoint(self) → Map

Warning

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

Downcast from BasicMap to Map.

max_multi_pw_aff(self) → MultiPwAff

Downcast from BasicMap to Map.

min_multi_pw_aff(self) → MultiPwAff

Downcast from BasicMap to Map.

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_basic_map(self) → int

Downcast from BasicMap to Map.

n_constraint(self) → int

Warning

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

n_map(self) → int

Warning

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

Downcast from BasicMap to UnionMap.

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.

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.

Downcast from BasicMap to Map.

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.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

params(self) → Set

Downcast from BasicMap to Map.

partial_lexmax

Overloaded function.

1. partial_lexmax(self, dom: BasicSet) -> tuple[Map, Set]

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.

2. partial_lexmax(self, dom: Set | BasicSet) -> tuple[Map, 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.

Downcast from BasicMap to Map.

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

Overloaded function.

1. partial_lexmin(self, dom: BasicSet) -> tuple[Map, Set]

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.

2. partial_lexmin(self, dom: Set | BasicSet) -> tuple[Map, Set]

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.

Downcast from BasicMap to Map.

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_equal(self, map2: Map | BasicMap) → bool

Warning

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

Downcast from BasicMap to Map.

plain_is_injective(self) → bool

Warning

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

Downcast from BasicMap to Map.

plain_is_single_valued(self) → bool

Warning

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

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

polyhedral_hull(self) → BasicMap

Downcast from BasicMap to Map.

power(self) → tuple[Map, bool]

Warning

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

Downcast from BasicMap to Map.

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_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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

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.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

product

Overloaded function.

1. product(self, bmap2: BasicMap) -> BasicMap

product(self, bmap2: BasicMap) -> BasicMap

Warning

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

2. product(self, map2: Map | BasicMap) -> Map

product(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

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_all_params(self) → Map

Downcast from BasicMap to 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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

range(self) → BasicSet

Warning

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

range_curry(self) → Map

Warning

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

Downcast from BasicMap to Map.

range_factor_domain(self) → Map

Downcast from BasicMap to Map.

range_factor_range(self) → Map

Downcast from BasicMap to Map.

range_is_wrapping(self) → bool

Warning

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

Downcast from BasicMap to Map.

range_map(self) → BasicMap

Warning

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

range_product

Overloaded function.

1. range_product(self, bmap2: BasicMap) -> BasicMap

range_product(self, bmap2: BasicMap) -> BasicMap

Warning

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

2. range_product(self, map2: Map | BasicMap) -> Map

range_product(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. range_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

range_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

range_reverse(self) → Map

Downcast from BasicMap to Map.

range_tuple_dim(self) → int

Downcast from BasicMap to Map.

reaching_path_lengths(self) → tuple[Map, bool]

Warning

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

Downcast from BasicMap to Map.

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_inputs(self, first: int, n: int) → Map

Warning

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

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to UnionMap.

remove_redundancies(self) → BasicMap

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

reset_user(self) → Map

Warning

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

Downcast from BasicMap to Map.

reverse(self) → BasicMap

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.

Downcast from BasicMap to Map.

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_domain_tuple_id(self, id: Id) → Map

Warning

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

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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.

simple_hull(self) → BasicMap

Warning

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

Downcast from BasicMap to Map.

property space

subtract

Overloaded function.

1. subtract(self, map2: Map | BasicMap) -> Map

subtract(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

2. subtract(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

subtract(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

subtract_domain

Overloaded function.

1. subtract_domain(self, dom: Set | BasicSet) -> 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.

Downcast from BasicMap to Map.

2. subtract_domain(self, dom: UnionSet | BasicSet | Set) -> UnionMap

subtract_domain(self, dom: UnionSet | BasicSet | Set) -> UnionMap

Downcast from BasicMap to UnionMap.

subtract_range

Overloaded function.

1. subtract_range(self, dom: Set | BasicSet) -> Map

subtract_range(self, dom: Set | BasicSet) -> Map

Warning

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

Downcast from BasicMap to Map.

2. subtract_range(self, dom: UnionSet | BasicSet | Set) -> UnionMap

subtract_range(self, dom: UnionSet | BasicSet | Set) -> UnionMap

Downcast from BasicMap to UnionMap.

sum

Overloaded function.

1. sum(self, bmap2: BasicMap) -> BasicMap

sum(self, bmap2: BasicMap) -> BasicMap

Warning

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

2. sum(self, map2: Map | BasicMap) -> Map

sum(self, map2: Map | BasicMap) -> Map

Warning

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

Downcast from BasicMap to Map.

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.

to_union_map(self) → UnionMap

Downcast from BasicMap to Map.

total_dim(self) → int

Warning

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

transitive_closure(self) → tuple[Map, bool]

Warning

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

Downcast from BasicMap to Map.

uncurry(self) → BasicMap

Warning

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

union

Overloaded function.

1. union(self, bmap2: BasicMap) -> Map

union(self, bmap2: BasicMap) -> Map

2. union(self, map2: Map | BasicMap) -> Map

union(self, map2: Map | BasicMap) -> Map

Downcast from BasicMap to Map.

3. union(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

union(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from BasicMap to UnionMap.

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

Warning

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

Downcast from BasicMap to Map.

universe = <nanobind.nb_func object>

unshifted_simple_hull(self) → BasicMap

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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.

Downcast from BasicMap to Map.

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.

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.

Downcast from BasicMap to Map.

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() add_set() affine_hull() align_divs() align_params() apply() apply_pw_qpolynomial_fold() apply_union_pw_qpolynomial_fold() as_pw_multi_aff() as_set() bind() bounded_simple_hull() coalesce() coefficients() complement() compute_divs() compute_schedule() contains() 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() every_set() extract_set() 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() foreach_set() 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_set_list() 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() identity_union_pw_multi_aff() 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() isa_set() lex_ge_set() lex_ge_union_set() lex_gt_set() lex_gt_union_set() lex_le_set() lex_le_union_set() lex_lt_set() lex_lt_union_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_multi_union_pw_aff() min_val() move_dims() n_basic_set() n_dim() n_param() n_set() 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() preimage_union_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__(other: object) → bool

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.

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

Warning

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

Downcast from Set to UnionSet.

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

Overloaded function.

1. apply(self, map: Map | BasicMap) -> Set

apply(self, map: Map | BasicMap) -> Set

2. apply(self, umap: UnionMap | BasicMap | Map) -> UnionSet

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

Downcast from Set to UnionSet.

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_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.

Downcast from Set to UnionSet.

as_pw_multi_aff(self) → PwMultiAff

as_set(self) → Set

Downcast from Set to UnionSet.

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.

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.

Downcast from Set to UnionSet.

contains(self, space: Space) → bool

Warning

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

Downcast from Set to UnionSet.

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.

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

Parameters:

test – callback(set)

Downcast from Set to UnionSet.

extract_set(self, space: Space) → Set

Downcast from Set to UnionSet.

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)

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

Parameters:

fn – callback(set)

Downcast from Set to UnionSet.

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_set_list(self) → SetList

Downcast from Set to UnionSet.

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

Overloaded function.

1. gist(self, context: Set | BasicSet) -> Set

gist(self, context: Set | BasicSet) -> Set

2. gist(self, context: UnionSet | BasicSet | Set) -> UnionSet

gist(self, context: UnionSet | BasicSet | Set) -> UnionSet

Downcast from Set to UnionSet.

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

identity_union_pw_multi_aff(self) → UnionPwMultiAff

Warning

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

Downcast from Set to UnionSet.

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

Overloaded function.

1. intersect(self, set2: Set | BasicSet) -> Set

intersect(self, set2: Set | BasicSet) -> Set

2. intersect(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

intersect(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Downcast from Set to UnionSet.

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

Overloaded function.

1. is_disjoint(self, set2: Set | BasicSet) -> bool

is_disjoint(self, set2: Set | BasicSet) -> bool

2. is_disjoint(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from Set to UnionSet.

is_empty(self) → bool

is_equal

Overloaded function.

1. is_equal(self, set2: Set | BasicSet) -> bool

is_equal(self, set2: Set | BasicSet) -> bool

2. is_equal(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from Set to UnionSet.

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

Overloaded function.

1. is_strict_subset(self, set2: Set | BasicSet) -> bool

is_strict_subset(self, set2: Set | BasicSet) -> bool

2. is_strict_subset(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from Set to UnionSet.

is_subset

Overloaded function.

1. is_subset(self, set2: Set | BasicSet) -> bool

is_subset(self, set2: Set | BasicSet) -> bool

2. is_subset(self, uset2: UnionSet | BasicSet | Set) -> bool

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

Downcast from Set to UnionSet.

is_wrapping(self) → bool

isa_set(self) → bool

Downcast from Set to UnionSet.

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_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.

Downcast from Set to UnionSet.

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_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.

Downcast from Set to UnionSet.

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_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.

Downcast from Set to UnionSet.

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.

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.

Downcast from Set to UnionSet.

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_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.

Downcast from Set to UnionSet.

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.

n_set(self) → int

Warning

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

Downcast from Set to UnionSet.

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.

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.

Downcast from Set to UnionSet.

product

Overloaded function.

1. product(self, set2: Set | BasicSet) -> Set

product(self, set2: Set | BasicSet) -> Set

2. product(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

product(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Warning

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

Downcast from Set to UnionSet.

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

Overloaded function.

1. subtract(self, set2: Set | BasicSet) -> Set

subtract(self, set2: Set | BasicSet) -> Set

2. subtract(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

subtract(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Downcast from Set to UnionSet.

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

Overloaded function.

1. union(self, set2: Set | BasicSet) -> Set

union(self, set2: Set | BasicSet) -> Set

2. union(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

union(self, uset2: UnionSet | BasicSet | Set) -> UnionSet

Downcast from Set to UnionSet.

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() add_map() affine_hull() align_divs() align_params() apply_domain() apply_pw_qpolynomial_fold() apply_range() apply_union_pw_qpolynomial_fold() as_map() as_multi_union_pw_aff() as_pw_multi_aff() as_union_pw_multi_aff() bind_domain() bind_range() can_curry() can_range_curry() can_uncurry() can_zip() coalesce() complement() compute_divs() compute_flow() contains() 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_map_union_pw_multi_aff() 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() eq_at_multi_union_pw_aff() equate() every_map() extract_map() 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() foreach_map() get_basic_map_list() get_basic_maps() get_ctx() get_dim_id() get_dim_name() get_domain_tuple_id() get_id_dict() get_map_list() 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_space() intersect_domain_union_set() intersect_domain_wrapped_domain() 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() intersect_range_wrapped_domain_union_set() 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() isa_map() lex_ge_at_multi_pw_aff() lex_ge_at_multi_union_pw_aff() lex_ge_map() lex_ge_union_map() lex_gt_at_multi_pw_aff() lex_gt_at_multi_union_pw_aff() lex_gt_map() lex_gt_union_map() lex_le_at_multi_pw_aff() lex_le_at_multi_union_pw_aff() lex_le_map() lex_le_union_map() lex_lt_at_multi_pw_aff() lex_lt_at_multi_union_pw_aff() lex_lt_map() lex_lt_union_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() n_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_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_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_map_if() 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__(other: object) → bool

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.

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

Warning

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

Downcast from Map to UnionMap.

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

Overloaded function.

1. apply_domain(self, map2: Map | BasicMap) -> Map

apply_domain(self, map2: Map | BasicMap) -> Map

2. apply_domain(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

apply_domain(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

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

Overloaded function.

1. apply_range(self, map2: Map | BasicMap) -> Map

apply_range(self, map2: Map | BasicMap) -> Map

2. apply_range(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

apply_range(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to 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.

Downcast from Map to UnionMap.

as_map(self) → Map

Downcast from Map to UnionMap.

as_multi_union_pw_aff(self) → MultiUnionPwAff

Downcast from Map to UnionMap.

as_pw_multi_aff(self) → PwMultiAff

as_union_pw_multi_aff(self) → UnionPwMultiAff

Downcast from Map to UnionMap.

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.

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.

Downcast from Map to UnionMap.

contains(self, space: Space) → bool

Warning

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

Downcast from Map to UnionMap.

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_map_union_pw_multi_aff(self) → UnionPwMultiAff

Downcast from Map to UnionMap.

domain_product

Overloaded function.

1. domain_product(self, map2: Map | BasicMap) -> Map

domain_product(self, map2: Map | BasicMap) -> Map

2. domain_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

domain_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

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.

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.

Downcast from Map to UnionMap.

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.

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

Parameters:

test – callback(map)

Downcast from Map to UnionMap.

extract_map(self, space: Space) → Map

Downcast from Map to UnionMap.

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

Overloaded function.

1. flat_domain_product(self, map2: Map | BasicMap) -> Map

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.

2. flat_domain_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

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.

Downcast from Map to UnionMap.

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

Overloaded function.

1. flat_range_product(self, map2: Map | BasicMap) -> Map

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.

2. flat_range_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

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.

Downcast from Map to UnionMap.

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)

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

Parameters:

fn – callback(map)

Downcast from Map to UnionMap.

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_map_list(self) → MapList

Downcast from Map to UnionMap.

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

Overloaded function.

1. gist(self, context: Map | BasicMap) -> Map

gist(self, context: Map | BasicMap) -> Map

2. gist(self, context: UnionMap | BasicMap | Map) -> UnionMap

gist(self, context: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

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

Overloaded function.

1. gist_domain(self, context: Set | BasicSet) -> Map

gist_domain(self, context: Set | BasicSet) -> Map

2. gist_domain(self, uset: UnionSet | BasicSet | Set) -> UnionMap

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

Downcast from Map to UnionMap.

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

gist_range

Overloaded function.

1. gist_range(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.

2. gist_range(self, uset: UnionSet | BasicSet | Set) -> UnionMap

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

Downcast from Map to UnionMap.

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

Overloaded function.

1. intersect(self, map2: Map | BasicMap) -> Map

intersect(self, map2: Map | BasicMap) -> Map

2. intersect(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

intersect(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

intersect_domain

Overloaded function.

1. intersect_domain(self, set: Set | BasicSet) -> Map

intersect_domain(self, set: Set | BasicSet) -> Map

2. intersect_domain(self, uset: UnionSet | BasicSet | Set) -> 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.

Downcast from Map to UnionMap.

intersect_domain_factor_domain

Overloaded function.

1. intersect_domain_factor_domain(self, factor: Map | BasicMap) -> Map

intersect_domain_factor_domain(self, factor: Map | BasicMap) -> Map

2. intersect_domain_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_domain_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

intersect_domain_factor_range

Overloaded function.

1. intersect_domain_factor_range(self, factor: Map | BasicMap) -> Map

intersect_domain_factor_range(self, factor: Map | BasicMap) -> Map

2. intersect_domain_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_domain_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to 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.

Downcast from Map to UnionMap.

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.

Downcast from Map to UnionMap.

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

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.

Downcast from Map to UnionMap.

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

intersect_range

Overloaded function.

1. intersect_range(self, set: Set | BasicSet) -> Map

intersect_range(self, set: Set | BasicSet) -> Map

2. intersect_range(self, uset: UnionSet | BasicSet | Set) -> 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.

Downcast from Map to UnionMap.

intersect_range_factor_domain

Overloaded function.

1. intersect_range_factor_domain(self, factor: Map | BasicMap) -> Map

intersect_range_factor_domain(self, factor: Map | BasicMap) -> Map

2. intersect_range_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_range_factor_domain(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

intersect_range_factor_range

Overloaded function.

1. intersect_range_factor_range(self, factor: Map | BasicMap) -> Map

intersect_range_factor_range(self, factor: Map | BasicMap) -> Map

2. intersect_range_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

intersect_range_factor_range(self, factor: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to 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.

Downcast from Map to UnionMap.

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.

Downcast from Map to UnionMap.

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

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.

Downcast from Map to UnionMap.

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

Overloaded function.

1. is_disjoint(self, map2: Map | BasicMap) -> bool

is_disjoint(self, map2: Map | BasicMap) -> bool

2. is_disjoint(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from Map to UnionMap.

is_empty(self) → bool

is_equal

Overloaded function.

1. is_equal(self, map2: Map | BasicMap) -> bool

is_equal(self, map2: Map | BasicMap) -> bool

2. is_equal(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from Map to UnionMap.

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

Overloaded function.

1. is_strict_subset(self, map2: Map | BasicMap) -> bool

is_strict_subset(self, map2: Map | BasicMap) -> bool

2. is_strict_subset(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from Map to UnionMap.

is_subset

Overloaded function.

1. is_subset(self, map2: Map | BasicMap) -> bool

is_subset(self, map2: Map | BasicMap) -> bool

2. is_subset(self, umap2: UnionMap | BasicMap | Map) -> bool

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

Downcast from Map to UnionMap.

is_translation(self) → bool

Warning

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

isa_map(self) → bool

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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.

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.

Downcast from Map to UnionMap.

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

n_map(self) → int

Warning

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

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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.

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.

Downcast from Map to UnionMap.

product

Overloaded function.

1. product(self, map2: Map | BasicMap) -> Map

product(self, map2: Map | BasicMap) -> Map

2. product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

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

Overloaded function.

1. range_product(self, map2: Map | BasicMap) -> Map

range_product(self, map2: Map | BasicMap) -> Map

2. range_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

range_product(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

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_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.

Downcast from Map to UnionMap.

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

Overloaded function.

1. subtract(self, map2: Map | BasicMap) -> Map

subtract(self, map2: Map | BasicMap) -> Map

2. subtract(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

subtract(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

subtract_domain

Overloaded function.

1. subtract_domain(self, dom: Set | BasicSet) -> 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.

2. subtract_domain(self, dom: UnionSet | BasicSet | Set) -> UnionMap

subtract_domain(self, dom: UnionSet | BasicSet | Set) -> UnionMap

Downcast from Map to UnionMap.

subtract_range

Overloaded function.

1. subtract_range(self, dom: Set | BasicSet) -> Map

subtract_range(self, dom: Set | BasicSet) -> Map

Warning

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

2. subtract_range(self, dom: UnionSet | BasicSet | Set) -> UnionMap

subtract_range(self, dom: UnionSet | BasicSet | Set) -> UnionMap

Downcast from Map to UnionMap.

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

Overloaded function.

1. union(self, map2: Map | BasicMap) -> Map

union(self, map2: Map | BasicMap) -> Map

2. union(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

union(self, umap2: UnionMap | BasicMap | Map) -> UnionMap

Downcast from Map to UnionMap.

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__(other: object) → bool

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__(other: object) → bool

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