Reference: Sets and Maps

Basic Set

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

__eq__() __hash__() __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_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_hash() 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() 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() size() 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)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_constraint

Overloaded function.

1. add_constraint(self, constraint: islpy._isl.Constraint) -> object

add_constraint(self, constraint)

Parameters:

• self – BasicSet

• constraint – Constraint

Returns:

BasicSet

Warning

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

2. add_constraint(self, arg: islpy._isl.Constraint, /) -> object

Upcast from BasicSet to Set

add_constraints(constraints)

Added in version 2011.3.

add_dims

Overloaded function.

1. add_dims(self, type: islpy._isl.dim_type, n: int) -> object

add_dims(self, type, n)

Parameters:

• self – BasicSet

• type – dim_type

• n – unsigned

Returns:

BasicSet

Warning

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

2. add_dims(self, arg0: islpy._isl.dim_type, arg1: int, /) -> object

Upcast from BasicSet to Set

add_set

Upcast from BasicSet to UnionSet

affine_hull

Overloaded function.

1. affine_hull(self) -> object

affine_hull(self)

Parameters:

self – BasicSet

Returns:

BasicSet

2. affine_hull(self) -> object

Upcast from BasicSet to Set

3. affine_hull(self) -> object

Upcast from BasicSet to UnionSet

align_divs

Upcast from BasicSet to Set

align_params

Overloaded function.

1. align_params(self, model: islpy._isl.Space) -> object

align_params(self, model)

Parameters:

• self – BasicSet

• model – Space

Returns:

BasicSet

Warning

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

2. align_params(self, arg: islpy._isl.Space, /) -> object

Upcast from BasicSet to Set

3. align_params(self, arg: islpy._isl.Space, /) -> object

Upcast from BasicSet to UnionSet

apply

Overloaded function.

1. apply(self, bmap: islpy._isl.BasicMap) -> object

apply(self, bmap)

Parameters:

• self – BasicSet

• bmap – BasicMap

Returns:

BasicSet

2. apply(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicSet to Set

3. apply(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicSet to UnionSet

apply_pw_qpolynomial_fold

Upcast from BasicSet to Set

apply_union_pw_qpolynomial_fold

Upcast from BasicSet to UnionSet

as_pw_multi_aff

Upcast from BasicSet to Set

as_set

Upcast from BasicSet to UnionSet

bind

Upcast from BasicSet to Set

bounded_simple_hull

Upcast from BasicSet to Set

box_from_points = <nanobind.nb_func object>

coalesce

Upcast from BasicSet to Set

coefficients

Overloaded function.

1. coefficients(self) -> object

coefficients(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. coefficients(self) -> object

Upcast from BasicSet to Set

3. coefficients(self) -> object

Upcast from BasicSet to UnionSet

compare_at(self, bset2, pos)

Parameters:

• self – BasicSet

• bset2 – BasicSet

• pos – int

Returns:

int

Warning

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

complement

Upcast from BasicSet to Set

compute_divs

Overloaded function.

1. compute_divs(self) -> object

compute_divs(self)

Parameters:

self – BasicSet

Returns:

Set

Warning

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

2. compute_divs(self) -> object

Upcast from BasicSet to Set

3. compute_divs(self) -> object

Upcast from BasicSet to UnionSet

compute_schedule

Upcast from BasicSet to UnionSet

compute_vertices(self)

Parameters:

self – BasicSet

Returns:

Vertices

Warning

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

contains

Upcast from BasicSet to UnionSet

convex_hull

Upcast from BasicSet to Set

copy

Overloaded function.

1. copy(self) -> object

copy(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. copy(self) -> object

Upcast from BasicSet to Set

3. copy(self) -> object

Upcast from BasicSet to UnionSet

count_val

Upcast from BasicSet to Set

detect_equalities

Overloaded function.

1. detect_equalities(self) -> object

detect_equalities(self)

Parameters:

self – BasicSet

Returns:

BasicSet

2. detect_equalities(self) -> object

Upcast from BasicSet to Set

3. detect_equalities(self) -> object

Upcast from BasicSet to UnionSet

dim

Overloaded function.

1. dim(self, type: islpy._isl.dim_type) -> int

dim(self, type)

Parameters:

• self – BasicSet

• type – dim_type

Returns:

isl_size

Warning

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

2. dim(self, arg: islpy._isl.dim_type, /) -> int

Upcast from BasicSet to Set

3. dim(self, arg: islpy._isl.dim_type, /) -> int

Upcast from BasicSet to UnionSet

dim_has_any_lower_bound

Upcast from BasicSet to Set

dim_has_any_upper_bound

Upcast from BasicSet to Set

dim_has_lower_bound

Upcast from BasicSet to Set

dim_has_upper_bound

Upcast from BasicSet to Set

dim_is_bounded

Upcast from BasicSet to Set

dim_max

Upcast from BasicSet to Set

dim_max_val

Overloaded function.

1. dim_max_val(self, pos: int) -> object

dim_max_val(self, pos)

Parameters:

• self – BasicSet

• pos – int

Returns:

Val

2. dim_max_val(self, arg: int, /) -> object

Upcast from BasicSet to Set

dim_min

Upcast from BasicSet to Set

dim_min_val

Upcast from BasicSet to Set

dim_residue_class_val

Upcast from BasicSet to Set

drop_constraints_involving_dims

Overloaded function.

1. drop_constraints_involving_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

drop_constraints_involving_dims(self, type, first, n)

Parameters:

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. drop_constraints_involving_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to Set

drop_constraints_not_involving_dims

Overloaded function.

1. drop_constraints_not_involving_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

drop_constraints_not_involving_dims(self, type, first, n)

Parameters:

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. drop_constraints_not_involving_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to Set

drop_unused_params

Overloaded function.

1. drop_unused_params(self) -> object

drop_unused_params(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. drop_unused_params(self) -> object

Upcast from BasicSet to Set

3. drop_unused_params(self) -> object

Upcast from BasicSet to UnionSet

dump

Overloaded function.

1. dump(self) -> None

dump(self)

Parameters:

self – BasicSet

Returns:

None

Warning

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

2. dump(self) -> None

Upcast from BasicSet to Set

3. dump(self) -> None

Upcast from BasicSet to UnionSet

eliminate

Overloaded function.

1. eliminate(self, type: islpy._isl.dim_type, first: int, n: int) -> object

eliminate(self, type, first, n)

Parameters:

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. eliminate(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to Set

eliminate_dims

Upcast from BasicSet to Set

eliminate_except(names, types)

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, c2, c3, c4)

Parameters:

• self – BasicSet

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

Returns:

Mat

Warning

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

equate

Upcast from BasicSet to Set

every_set

Upcast from BasicSet to UnionSet

extract_set

Upcast from BasicSet to UnionSet

find_dim_by_id

Upcast from BasicSet to Set

find_dim_by_name

Upcast from BasicSet to Set

fix_val

Overloaded function.

1. fix_val(self, type: islpy._isl.dim_type, pos: int, v: object) -> object

fix_val(self, type, pos, v)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

• v – Val

Returns:

BasicSet

Warning

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

2. fix_val(self, arg0: islpy._isl.dim_type, arg1: int, arg2: object, /) -> object

Upcast from BasicSet to Set

flat_product

Overloaded function.

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

flat_product(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

BasicSet

Warning

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

2. flat_product(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to Set

flatten

Overloaded function.

1. flatten(self) -> object

flatten(self)

Parameters:

self – BasicSet

Returns:

BasicSet

2. flatten(self) -> object

Upcast from BasicSet to Set

flatten_map

Upcast from BasicSet to Set

follows_at

Upcast from BasicSet to Set

foreach_basic_set

Upcast from BasicSet to Set

foreach_bound_pair(self, type, pos, fn)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

• fn – callback(lower, upper, bset)

Returns:

isl_stat

Warning

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

foreach_constraint(self, fn)

Parameters:

• self – BasicSet

• fn – callback(c)

Returns:

isl_stat

Warning

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

foreach_point

Upcast from BasicSet to Set

foreach_set

Upcast 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

Overloaded function.

1. from_params(self) -> object

from_params(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. from_params(self) -> object

Upcast from BasicSet to Set

from_point = <nanobind.nb_func object>

get_basic_set_list

Upcast from BasicSet to Set

get_basic_sets()

Get the list of BasicSet instances in this Set.

get_constraint_list(self)

Parameters:

self – BasicSet

Returns:

ConstraintList

Warning

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

get_constraints()

Get a list of constraints.

get_ctx

Overloaded function.

1. get_ctx(self) -> object

get_ctx(self)

Parameters:

self – BasicSet

Returns:

Context

Warning

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

2. get_ctx(self) -> object

Upcast from BasicSet to Set

3. get_ctx(self) -> object

Upcast from BasicSet to UnionSet

get_dim_id

Overloaded function.

1. get_dim_id(self, type: islpy._isl.dim_type, pos: int) -> object

get_dim_id(self, type, pos)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

Returns:

Id

Warning

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

2. get_dim_id(self, arg0: islpy._isl.dim_type, arg1: int, /) -> object

Upcast from BasicSet to Set

get_dim_name

Overloaded function.

1. get_dim_name(self, type: islpy._isl.dim_type, pos: int) -> object

get_dim_name(self, type, pos)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

Returns:

string

Warning

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

2. get_dim_name(self, arg0: islpy._isl.dim_type, arg1: int, /) -> object

Upcast from BasicSet to Set

get_div(self, pos)

Parameters:

• self – BasicSet

• pos – int

Returns:

Aff

Warning

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

get_hash

Upcast from BasicSet to Set

get_id_dict(dimtype=None)

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

Upcast from BasicSet to Set

get_local_space(self)

Parameters:

self – BasicSet

Returns:

LocalSpace

Warning

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

get_plain_multi_val_if_fixed

Upcast from BasicSet to Set

get_set_list

Upcast from BasicSet to UnionSet

get_simple_fixed_box_hull

Upcast from BasicSet to Set

get_space

Overloaded function.

1. get_space(self) -> object

get_space(self)

Parameters:

self – BasicSet

Returns:

Space

Warning

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

2. get_space(self) -> object

Upcast from BasicSet to Set

3. get_space(self) -> object

Upcast from BasicSet to UnionSet

get_stride

Upcast from BasicSet to Set

get_stride_info

Upcast from BasicSet to Set

get_tuple_id

Upcast from BasicSet to Set

get_tuple_name

Overloaded function.

1. get_tuple_name(self) -> object

get_tuple_name(self)

Parameters:

self – BasicSet

Returns:

string

Warning

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

2. get_tuple_name(self) -> object

Upcast from BasicSet to Set

get_var_dict(dimtype=None)

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)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist

Overloaded function.

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

gist(self, context)

Parameters:

• self – BasicSet

• context – BasicSet

Returns:

BasicSet

2. gist(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to Set

3. gist(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from BasicSet to UnionSet

gist_basic_set

Upcast from BasicSet to Set

gist_params

Upcast from BasicSet to Set

has_dim_id

Upcast from BasicSet to Set

has_dim_name

Upcast from BasicSet to Set

has_equal_space

Upcast from BasicSet to Set

has_tuple_id

Upcast from BasicSet to Set

has_tuple_name

Upcast from BasicSet to Set

identity

Upcast from BasicSet to Set

identity_union_pw_multi_aff

Upcast from BasicSet to UnionSet

indicator_function

Upcast from BasicSet to Set

inequalities_matrix(self, c1, c2, c3, c4)

Parameters:

• self – BasicSet

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

Returns:

Mat

Warning

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

insert_dims

Overloaded function.

1. insert_dims(self, type: islpy._isl.dim_type, pos: int, n: int) -> object

insert_dims(self, type, pos, n)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. insert_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to Set

insert_domain

Upcast from BasicSet to Set

intersect

Overloaded function.

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

intersect(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

BasicSet

2. intersect(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to Set

3. intersect(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from BasicSet to UnionSet

intersect_factor_domain

Upcast from BasicSet to Set

intersect_factor_range

Upcast from BasicSet to Set

intersect_params

Overloaded function.

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

intersect_params(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

BasicSet

2. intersect_params(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to Set

3. intersect_params(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to UnionSet

involves_dims

Overloaded function.

1. involves_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> bool

involves_dims(self, type, first, n)

Parameters:

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

bool

Warning

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

2. involves_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> bool

Upcast from BasicSet to Set

involves_locals

Upcast from BasicSet to Set

is_bounded

Overloaded function.

1. is_bounded(self) -> bool

is_bounded(self)

Parameters:

self – BasicSet

Returns:

bool

Warning

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

2. is_bounded(self) -> bool

Upcast from BasicSet to Set

is_box

Upcast from BasicSet to Set

is_disjoint

Overloaded function.

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

is_disjoint(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

bool

Warning

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

2. is_disjoint(self, arg: islpy._isl.Set, /) -> bool

Upcast from BasicSet to Set

3. is_disjoint(self, arg: islpy._isl.UnionSet, /) -> bool

Upcast from BasicSet to UnionSet

is_empty

Overloaded function.

1. is_empty(self) -> bool

is_empty(self)

Parameters:

self – BasicSet

Returns:

bool

2. is_empty(self) -> bool

Upcast from BasicSet to Set

3. is_empty(self) -> bool

Upcast from BasicSet to UnionSet

is_equal

Overloaded function.

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

is_equal(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

bool

2. is_equal(self, arg: islpy._isl.Set, /) -> bool

Upcast from BasicSet to Set

3. is_equal(self, arg: islpy._isl.UnionSet, /) -> bool

Upcast from BasicSet to UnionSet

is_params

Upcast from BasicSet to Set

is_rational(self)

Parameters:

self – BasicSet

Returns:

bool

Warning

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

is_singleton

Upcast from BasicSet to Set

is_strict_subset

Upcast from BasicSet to Set

is_subset

Overloaded function.

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

is_subset(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

bool

2. is_subset(self, arg: islpy._isl.Set, /) -> bool

Upcast from BasicSet to Set

3. is_subset(self, arg: islpy._isl.UnionSet, /) -> bool

Upcast from BasicSet to UnionSet

is_universe(self)

Parameters:

self – BasicSet

Returns:

bool

Warning

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

is_wrapping

Overloaded function.

1. is_wrapping(self) -> bool

is_wrapping(self)

Parameters:

self – BasicSet

Returns:

bool

2. is_wrapping(self) -> bool

Upcast from BasicSet to Set

isa_set

Upcast from BasicSet to UnionSet

lex_ge_set

Upcast from BasicSet to Set

lex_ge_union_set

Upcast from BasicSet to UnionSet

lex_gt_set

Upcast from BasicSet to Set

lex_gt_union_set

Upcast from BasicSet to UnionSet

lex_le_set

Upcast from BasicSet to Set

lex_le_union_set

Upcast from BasicSet to UnionSet

lex_lt_set

Upcast from BasicSet to Set

lex_lt_union_set

Upcast from BasicSet to UnionSet

lexmax

Overloaded function.

1. lexmax(self) -> object

lexmax(self)

Parameters:

self – BasicSet

Returns:

Set

2. lexmax(self) -> object

Upcast from BasicSet to Set

3. lexmax(self) -> object

Upcast from BasicSet to UnionSet

lexmax_pw_multi_aff

Upcast from BasicSet to Set

lexmin

Overloaded function.

1. lexmin(self) -> object

lexmin(self)

Parameters:

self – BasicSet

Returns:

Set

2. lexmin(self) -> object

Upcast from BasicSet to Set

3. lexmin(self) -> object

Upcast from BasicSet to UnionSet

lexmin_pw_multi_aff

Upcast from BasicSet to Set

lift

Overloaded function.

1. lift(self) -> object

lift(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. lift(self) -> object

Upcast from BasicSet to Set

3. lift(self) -> object

Upcast from BasicSet to UnionSet

lower_bound_multi_pw_aff

Upcast from BasicSet to Set

lower_bound_multi_val

Upcast from BasicSet to Set

lower_bound_val

Overloaded function.

1. lower_bound_val(self, type: islpy._isl.dim_type, pos: int, value: object) -> object

lower_bound_val(self, type, pos, value)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

• value – Val

Returns:

BasicSet

Warning

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

2. lower_bound_val(self, arg0: islpy._isl.dim_type, arg1: int, arg2: object, /) -> object

Upcast from BasicSet to Set

make_disjoint

Upcast from BasicSet to Set

max_multi_pw_aff

Upcast from BasicSet to Set

max_val

Overloaded function.

1. max_val(self, obj: islpy._isl.Aff) -> object

max_val(self, obj)

Parameters:

• self – BasicSet

• obj – Aff

Returns:

Val

Warning

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

2. max_val(self, arg: islpy._isl.Aff, /) -> object

Upcast from BasicSet to Set

min_multi_pw_aff

Upcast from BasicSet to Set

min_multi_union_pw_aff

Upcast from BasicSet to UnionSet

min_val

Upcast from BasicSet to Set

move_dims

Overloaded function.

1. move_dims(self, dst_type: islpy._isl.dim_type, dst_pos: int, src_type: islpy._isl.dim_type, src_pos: int, n: int) -> object

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)

Parameters:

• self – BasicSet

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. move_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: islpy._isl.dim_type, arg3: int, arg4: int, /) -> object

Upcast from BasicSet to Set

n_basic_set

Upcast from BasicSet to Set

n_constraint(self)

Parameters:

self – BasicSet

Returns:

isl_size

Warning

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

n_dim

Overloaded function.

1. n_dim(self) -> int

n_dim(self)

Parameters:

self – BasicSet

Returns:

isl_size

Warning

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

2. n_dim(self) -> int

Upcast from BasicSet to Set

n_param

Overloaded function.

1. n_param(self) -> int

n_param(self)

Parameters:

self – BasicSet

Returns:

isl_size

Warning

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

2. n_param(self) -> int

Upcast from BasicSet to Set

n_set

Upcast from BasicSet to UnionSet

nat_universe = <nanobind.nb_func object>

neg

Overloaded function.

1. neg(self) -> object

neg(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. neg(self) -> object

Upcast from BasicSet to Set

param_pw_aff_on_domain_id

Upcast from BasicSet to Set

params

Overloaded function.

1. params(self) -> object

params(self)

Parameters:

self – BasicSet

Returns:

BasicSet

2. params(self) -> object

Upcast from BasicSet to Set

3. params(self) -> object

Upcast from BasicSet to UnionSet

partial_lexmax

Overloaded function.

1. partial_lexmax(self, dom: islpy._isl.BasicSet) -> object

partial_lexmax(self, dom)

Parameters:

• self – BasicSet

• dom – BasicSet

Returns:

tuple: (Set, empty (Set))

Warning

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

2. partial_lexmax(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to Set

partial_lexmax_pw_multi_aff(self, dom)

Parameters:

• self – BasicSet

• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (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: islpy._isl.BasicSet) -> object

partial_lexmin(self, dom)

Parameters:

• self – BasicSet

• dom – BasicSet

Returns:

tuple: (Set, empty (Set))

Warning

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

2. partial_lexmin(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to Set

partial_lexmin_pw_multi_aff(self, dom)

Parameters:

• self – BasicSet

• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (Set))

Warning

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

plain_cmp

Upcast from BasicSet to Set

plain_get_val_if_fixed

Upcast from BasicSet to Set

plain_is_disjoint

Upcast from BasicSet to Set

plain_is_empty

Overloaded function.

1. plain_is_empty(self) -> bool

plain_is_empty(self)

Parameters:

self – BasicSet

Returns:

bool

Warning

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

2. plain_is_empty(self) -> bool

Upcast from BasicSet to Set

plain_is_equal

Overloaded function.

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

plain_is_equal(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

bool

Warning

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

2. plain_is_equal(self, arg: islpy._isl.Set, /) -> bool

Upcast from BasicSet to Set

plain_is_universe

Overloaded function.

1. plain_is_universe(self) -> bool

plain_is_universe(self)

Parameters:

self – BasicSet

Returns:

bool

Warning

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

2. plain_is_universe(self) -> bool

Upcast from BasicSet to Set

plain_unshifted_simple_hull

Upcast from BasicSet to Set

polyhedral_hull

Upcast from BasicSet to Set

positive_orthant = <nanobind.nb_func object>

preimage_multi_aff

Overloaded function.

1. preimage_multi_aff(self, ma: islpy._isl.MultiAff) -> object

preimage_multi_aff(self, ma)

Parameters:

• self – BasicSet

• ma – MultiAff

Returns:

BasicSet

Warning

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

2. preimage_multi_aff(self, arg: islpy._isl.MultiAff, /) -> object

Upcast from BasicSet to Set

3. preimage_multi_aff(self, arg: islpy._isl.MultiAff, /) -> object

Upcast from BasicSet to UnionSet

preimage_multi_pw_aff

Upcast from BasicSet to Set

preimage_pw_multi_aff

Upcast from BasicSet to Set

preimage_union_pw_multi_aff

Upcast from BasicSet to UnionSet

product

Upcast from BasicSet to Set

project_onto_map

Upcast from BasicSet to Set

project_out

Overloaded function.

1. project_out(self, type: islpy._isl.dim_type, first: int, n: int) -> object

project_out(self, type, first, n)

Parameters:

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. project_out(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to Set

3. project_out(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to UnionSet

project_out_all_params

Upcast from BasicSet to Set

project_out_except(names, types)

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

Upcast from BasicSet to Set

project_out_param_id_list

Upcast from BasicSet to Set

pw_aff_on_domain_val

Upcast from BasicSet to Set

pw_multi_aff_on_domain_multi_val

Upcast from BasicSet to Set

read_from_str = <nanobind.nb_func object>

reduced_basis(self)

Parameters:

self – BasicSet

Returns:

Mat

Warning

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

remove_dims

Overloaded function.

1. remove_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

remove_dims(self, type, first, n)

Parameters:

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. remove_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to Set

remove_divs

Overloaded function.

1. remove_divs(self) -> object

remove_divs(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. remove_divs(self) -> object

Upcast from BasicSet to Set

3. remove_divs(self) -> object

Upcast from BasicSet to UnionSet

remove_divs_involving_dims

Overloaded function.

1. remove_divs_involving_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

remove_divs_involving_dims(self, type, first, n)

Parameters:

• self – BasicSet

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicSet

Warning

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

2. remove_divs_involving_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicSet to Set

remove_redundancies

Overloaded function.

1. remove_redundancies(self) -> object

remove_redundancies(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. remove_redundancies(self) -> object

Upcast from BasicSet to Set

3. remove_redundancies(self) -> object

Upcast from BasicSet to UnionSet

remove_unknown_divs

Overloaded function.

1. remove_unknown_divs(self) -> object

remove_unknown_divs(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. remove_unknown_divs(self) -> object

Upcast from BasicSet to Set

reset_space

Upcast from BasicSet to Set

reset_tuple_id

Upcast from BasicSet to Set

reset_user

Upcast from BasicSet to Set

sample

Overloaded function.

1. sample(self) -> object

sample(self)

Parameters:

self – BasicSet

Returns:

BasicSet

2. sample(self) -> object

Upcast from BasicSet to Set

3. sample(self) -> object

Upcast from BasicSet to UnionSet

sample_point

Overloaded function.

1. sample_point(self) -> object

sample_point(self)

Parameters:

self – BasicSet

Returns:

Point

2. sample_point(self) -> object

Upcast from BasicSet to Set

3. sample_point(self) -> object

Upcast from BasicSet to UnionSet

set_dim_id

Upcast from BasicSet to Set

set_dim_name

Overloaded function.

1. set_dim_name(self, type: islpy._isl.dim_type, pos: int, s: str) -> object

set_dim_name(self, type, pos, s)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

• s – string

Returns:

BasicSet

Warning

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

2. set_dim_name(self, arg0: islpy._isl.dim_type, arg1: int, arg2: str, /) -> object

Upcast from BasicSet to Set

set_tuple_id

Overloaded function.

1. set_tuple_id(self, id: islpy._isl.Id) -> object

set_tuple_id(self, id)

Parameters:

• self – BasicSet

• id – Id

Returns:

BasicSet

Warning

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

2. set_tuple_id(self, arg: islpy._isl.Id, /) -> object

Upcast from BasicSet to Set

set_tuple_name

Overloaded function.

1. set_tuple_name(self, s: str) -> object

set_tuple_name(self, s)

Parameters:

• self – BasicSet

• s – string

Returns:

BasicSet

Warning

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

2. set_tuple_name(self, arg: str, /) -> object

Upcast from BasicSet to Set

simple_hull

Upcast from BasicSet to Set

size

Upcast from BasicSet to Set

solutions

Overloaded function.

1. solutions(self) -> object

solutions(self)

Parameters:

self – BasicSet

Returns:

BasicSet

Warning

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

2. solutions(self) -> object

Upcast from BasicSet to Set

3. solutions(self) -> object

Upcast from BasicSet to UnionSet

property space

get_space(self) -> object get_space(self) -> object get_space(self) -> object

Overloaded function.

1. get_space(self) -> object

get_space(self)

Parameters:

self – BasicSet

Returns:

Space

Warning

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

2. get_space(self) -> object

Upcast from BasicSet to Set

3. get_space(self) -> object

Upcast from BasicSet to UnionSet

split_dims

Upcast from BasicSet to Set

subtract

Upcast from BasicSet to Set

sum

Upcast from BasicSet to Set

to_list

Overloaded function.

1. to_list(self) -> object

to_list(self)

Parameters:

self – BasicSet

Returns:

BasicSetList

Warning

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

2. to_list(self) -> object

Upcast from BasicSet to Set

3. to_list(self) -> object

Upcast from BasicSet to UnionSet

to_set(self)

Parameters:

self – BasicSet

Returns:

Set

to_str

Overloaded function.

1. to_str(self) -> object

to_str(self)

Parameters:

self – BasicSet

Returns:

string

Warning

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

2. to_str(self) -> object

Upcast from BasicSet to Set

3. to_str(self) -> object

Upcast from BasicSet to UnionSet

to_union_set

Upcast from BasicSet to Set

total_dim(self)

Parameters:

self – BasicSet

Returns:

isl_size

Warning

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

translation

Upcast from BasicSet to Set

tuple_dim

Upcast from BasicSet to Set

unbind_params

Upcast from BasicSet to Set

unbind_params_insert_domain

Upcast from BasicSet to Set

union

Overloaded function.

1. union(self, bset2: islpy._isl.BasicSet) -> object

union(self, bset2)

Parameters:

• self – BasicSet

• bset2 – BasicSet

Returns:

Set

2. union(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicSet to Set

3. union(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from BasicSet to UnionSet

union_disjoint

Upcast from BasicSet to Set

universe = <nanobind.nb_func object>

unshifted_simple_hull

Upcast from BasicSet to Set

unshifted_simple_hull_from_set_list

Upcast from BasicSet to Set

unwrap

Overloaded function.

1. unwrap(self) -> object

unwrap(self)

Parameters:

self – BasicSet

Returns:

BasicMap

Warning

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

2. unwrap(self) -> object

Upcast from BasicSet to Set

3. unwrap(self) -> object

Upcast from BasicSet to UnionSet

upper_bound_multi_pw_aff

Upcast from BasicSet to Set

upper_bound_multi_val

Upcast from BasicSet to Set

upper_bound_val

Overloaded function.

1. upper_bound_val(self, type: islpy._isl.dim_type, pos: int, value: object) -> object

upper_bound_val(self, type, pos, value)

Parameters:

• self – BasicSet

• type – dim_type

• pos – unsigned

• value – Val

Returns:

BasicSet

Warning

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

2. upper_bound_val(self, arg0: islpy._isl.dim_type, arg1: int, arg2: object, /) -> object

Upcast from BasicSet to Set

wrapped_domain_map

Upcast from BasicSet to Set

wrapped_reverse

Upcast 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_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_hash() 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() 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_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)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_constraint

Overloaded function.

1. add_constraint(self, constraint: islpy._isl.Constraint) -> object

add_constraint(self, constraint)

Parameters:

• self – BasicMap

• constraint – Constraint

Returns:

BasicMap

Warning

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

2. add_constraint(self, arg: islpy._isl.Constraint, /) -> object

Upcast from BasicMap to Map

add_constraints(constraints)

Added in version 2011.3.

add_dims

Overloaded function.

1. add_dims(self, type: islpy._isl.dim_type, n: int) -> object

add_dims(self, type, n)

Parameters:

• self – BasicMap

• type – dim_type

• n – unsigned

Returns:

BasicMap

Warning

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

2. add_dims(self, arg0: islpy._isl.dim_type, arg1: int, /) -> object

Upcast from BasicMap to Map

add_map

Upcast from BasicMap to UnionMap

affine_hull

Overloaded function.

1. affine_hull(self) -> object

affine_hull(self)

Parameters:

self – BasicMap

Returns:

BasicMap

2. affine_hull(self) -> object

Upcast from BasicMap to Map

3. affine_hull(self) -> object

Upcast from BasicMap to UnionMap

align_divs

Upcast from BasicMap to Map

align_params

Overloaded function.

1. align_params(self, model: islpy._isl.Space) -> object

align_params(self, model)

Parameters:

• self – BasicMap

• model – Space

Returns:

BasicMap

Warning

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

2. align_params(self, arg: islpy._isl.Space, /) -> object

Upcast from BasicMap to Map

3. align_params(self, arg: islpy._isl.Space, /) -> object

Upcast from BasicMap to UnionMap

apply_domain

Overloaded function.

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

apply_domain(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

2. apply_domain(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. apply_domain(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

apply_pw_qpolynomial_fold

Upcast from BasicMap to Map

apply_range

Overloaded function.

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

apply_range(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

2. apply_range(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. apply_range(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

apply_union_pw_qpolynomial_fold

Upcast from BasicMap to UnionMap

as_map

Upcast from BasicMap to UnionMap

as_multi_union_pw_aff

Upcast from BasicMap to UnionMap

as_pw_multi_aff

Upcast from BasicMap to Map

as_union_pw_multi_aff

Upcast from BasicMap to UnionMap

bind_domain

Upcast from BasicMap to Map

bind_range

Upcast from BasicMap to Map

can_curry

Overloaded function.

1. can_curry(self) -> bool

can_curry(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

2. can_curry(self) -> bool

Upcast from BasicMap to Map

can_range_curry

Upcast from BasicMap to Map

can_uncurry

Overloaded function.

1. can_uncurry(self) -> bool

can_uncurry(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

2. can_uncurry(self) -> bool

Upcast from BasicMap to Map

can_zip

Overloaded function.

1. can_zip(self) -> bool

can_zip(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

2. can_zip(self) -> bool

Upcast from BasicMap to Map

coalesce

Upcast from BasicMap to Map

complement

Upcast from BasicMap to Map

compute_divs

Overloaded function.

1. compute_divs(self) -> object

compute_divs(self)

Parameters:

self – BasicMap

Returns:

Map

Warning

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

2. compute_divs(self) -> object

Upcast from BasicMap to Map

3. compute_divs(self) -> object

Upcast from BasicMap to UnionMap

compute_flow

Upcast from BasicMap to UnionMap

contains

Upcast from BasicMap to UnionMap

convex_hull

Upcast from BasicMap to Map

copy

Overloaded function.

1. copy(self) -> object

copy(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. copy(self) -> object

Upcast from BasicMap to Map

3. copy(self) -> object

Upcast from BasicMap to UnionMap

curry

Overloaded function.

1. curry(self) -> object

curry(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. curry(self) -> object

Upcast from BasicMap to Map

3. curry(self) -> object

Upcast from BasicMap to UnionMap

deltas

Overloaded function.

1. deltas(self) -> object

deltas(self)

Parameters:

self – BasicMap

Returns:

BasicSet

2. deltas(self) -> object

Upcast from BasicMap to Map

3. deltas(self) -> object

Upcast from BasicMap to UnionMap

deltas_map

Overloaded function.

1. deltas_map(self) -> object

deltas_map(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. deltas_map(self) -> object

Upcast from BasicMap to Map

3. deltas_map(self) -> object

Upcast from BasicMap to UnionMap

detect_equalities

Overloaded function.

1. detect_equalities(self) -> object

detect_equalities(self)

Parameters:

self – BasicMap

Returns:

BasicMap

2. detect_equalities(self) -> object

Upcast from BasicMap to Map

3. detect_equalities(self) -> object

Upcast from BasicMap to UnionMap

dim

Overloaded function.

1. dim(self, type: islpy._isl.dim_type) -> int

dim(self, type)

Parameters:

• self – BasicMap

• type – dim_type

Returns:

isl_size

Warning

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

2. dim(self, arg: islpy._isl.dim_type, /) -> int

Upcast from BasicMap to Map

3. dim(self, arg: islpy._isl.dim_type, /) -> int

Upcast from BasicMap to UnionMap

dim_max

Upcast from BasicMap to Map

dim_min

Upcast from BasicMap to Map

domain

Overloaded function.

1. domain(self) -> object

domain(self)

Parameters:

self – BasicMap

Returns:

BasicSet

Warning

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

2. domain(self) -> object

Upcast from BasicMap to Map

3. domain(self) -> object

Upcast from BasicMap to UnionMap

domain_factor_domain

Upcast from BasicMap to Map

domain_factor_range

Upcast from BasicMap to Map

domain_is_wrapping

Upcast from BasicMap to Map

domain_map

Overloaded function.

1. domain_map(self) -> object

domain_map(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. domain_map(self) -> object

Upcast from BasicMap to Map

3. domain_map(self) -> object

Upcast from BasicMap to UnionMap

domain_map_union_pw_multi_aff

Upcast from BasicMap to UnionMap

domain_product

Overloaded function.

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

domain_product(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

Warning

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

2. domain_product(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. domain_product(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

domain_reverse

Upcast from BasicMap to Map

domain_tuple_dim

Upcast from BasicMap to Map

drop_constraints_involving_dims

Overloaded function.

1. drop_constraints_involving_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

drop_constraints_involving_dims(self, type, first, n)

Parameters:

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. drop_constraints_involving_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to Map

drop_constraints_not_involving_dims

Overloaded function.

1. drop_constraints_not_involving_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

drop_constraints_not_involving_dims(self, type, first, n)

Parameters:

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. drop_constraints_not_involving_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to Map

drop_unused_params

Overloaded function.

1. drop_unused_params(self) -> object

drop_unused_params(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. drop_unused_params(self) -> object

Upcast from BasicMap to Map

3. drop_unused_params(self) -> object

Upcast from BasicMap to UnionMap

dump

Overloaded function.

1. dump(self) -> None

dump(self)

Parameters:

self – BasicMap

Returns:

None

Warning

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

2. dump(self) -> None

Upcast from BasicMap to Map

3. dump(self) -> None

Upcast from BasicMap to UnionMap

eliminate

Overloaded function.

1. eliminate(self, type: islpy._isl.dim_type, first: int, n: int) -> object

eliminate(self, type, first, n)

Parameters:

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. eliminate(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to Map

empty = <nanobind.nb_func object>

eq_at_multi_pw_aff

Upcast from BasicMap to Map

eq_at_multi_union_pw_aff

Upcast from BasicMap to UnionMap

equal = <nanobind.nb_func object>

equalities_matrix(self, c1, c2, c3, c4, c5)

Parameters:

• self – BasicMap

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

• c5 – dim_type

Returns:

Mat

Warning

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

equate

Overloaded function.

1. equate(self, type1: islpy._isl.dim_type, pos1: int, type2: islpy._isl.dim_type, pos2: int) -> object

equate(self, type1, pos1, type2, pos2)

Parameters:

• self – BasicMap

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns:

BasicMap

Warning

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

2. equate(self, arg0: islpy._isl.dim_type, arg1: int, arg2: islpy._isl.dim_type, arg3: int, /) -> object

Upcast from BasicMap to Map

every_map

Upcast from BasicMap to UnionMap

extract_map

Upcast from BasicMap to UnionMap

factor_domain

Upcast from BasicMap to Map

factor_range

Upcast from BasicMap to Map

find_dim_by_id

Upcast from BasicMap to Map

find_dim_by_name

Overloaded function.

1. find_dim_by_name(self, type: islpy._isl.dim_type, name: str) -> int

find_dim_by_name(self, type, name)

Parameters:

• self – BasicMap

• type – dim_type

• name – string

Returns:

int

Warning

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

2. find_dim_by_name(self, arg0: islpy._isl.dim_type, arg1: str, /) -> int

Upcast from BasicMap to Map

3. find_dim_by_name(self, arg0: islpy._isl.dim_type, arg1: str, /) -> int

Upcast from BasicMap to UnionMap

fix_val

Overloaded function.

1. fix_val(self, type: islpy._isl.dim_type, pos: int, v: object) -> object

fix_val(self, type, pos, v)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

• v – Val

Returns:

BasicMap

Warning

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

2. fix_val(self, arg0: islpy._isl.dim_type, arg1: int, arg2: object, /) -> object

Upcast from BasicMap to Map

fixed_power_val

Upcast from BasicMap to Map

flat_domain_product

Upcast from BasicMap to Map

flat_product

Overloaded function.

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

flat_product(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

Warning

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

2. flat_product(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

flat_range_product

Overloaded function.

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

flat_range_product(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

Warning

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

2. flat_range_product(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. flat_range_product(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

flatten

Overloaded function.

1. flatten(self) -> object

flatten(self)

Parameters:

self – BasicMap

Returns:

BasicMap

2. flatten(self) -> object

Upcast from BasicMap to Map

flatten_domain

Overloaded function.

1. flatten_domain(self) -> object

flatten_domain(self)

Parameters:

self – BasicMap

Returns:

BasicMap

2. flatten_domain(self) -> object

Upcast from BasicMap to Map

flatten_range

Overloaded function.

1. flatten_range(self) -> object

flatten_range(self)

Parameters:

self – BasicMap

Returns:

BasicMap

2. flatten_range(self) -> object

Upcast from BasicMap to Map

floordiv_val

Upcast from BasicMap to Map

foreach_basic_map

Upcast from BasicMap to Map

foreach_constraint(self, fn)

Parameters:

• self – BasicMap

• fn – callback(c)

Returns:

isl_stat

Warning

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

foreach_map

Upcast 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

Upcast from BasicMap to Map

get_constraint_list(self)

Parameters:

self – BasicMap

Returns:

ConstraintList

Warning

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

get_constraints()

Get a list of constraints.

get_ctx

Overloaded function.

1. get_ctx(self) -> object

get_ctx(self)

Parameters:

self – BasicMap

Returns:

Context

Warning

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

2. get_ctx(self) -> object

Upcast from BasicMap to Map

3. get_ctx(self) -> object

Upcast from BasicMap to UnionMap

get_dim_id

Upcast from BasicMap to Map

get_dim_name

Overloaded function.

1. get_dim_name(self, type: islpy._isl.dim_type, pos: int) -> object

get_dim_name(self, type, pos)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

Returns:

string

Warning

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

2. get_dim_name(self, arg0: islpy._isl.dim_type, arg1: int, /) -> object

Upcast from BasicMap to Map

get_div(self, pos)

Parameters:

• self – BasicMap

• pos – int

Returns:

Aff

Warning

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

get_domain_tuple_id

Upcast from BasicMap to Map

get_hash

Upcast from BasicMap to Map

get_id_dict(dimtype=None)

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)

Parameters:

self – BasicMap

Returns:

LocalSpace

Warning

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

get_map_list

Upcast from BasicMap to UnionMap

get_range_lattice_tile

Upcast from BasicMap to Map

get_range_simple_fixed_box_hull

Upcast from BasicMap to Map

get_range_stride_info

Upcast from BasicMap to Map

get_range_tuple_id

Upcast from BasicMap to Map

get_space

Overloaded function.

1. get_space(self) -> object

get_space(self)

Parameters:

self – BasicMap

Returns:

Space

Warning

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

2. get_space(self) -> object

Upcast from BasicMap to Map

3. get_space(self) -> object

Upcast from BasicMap to UnionMap

get_tuple_id

Upcast from BasicMap to Map

get_tuple_name

Overloaded function.

1. get_tuple_name(self, type: islpy._isl.dim_type) -> object

get_tuple_name(self, type)

Parameters:

• self – BasicMap

• type – dim_type

Returns:

string

Warning

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

2. get_tuple_name(self, arg: islpy._isl.dim_type, /) -> object

Upcast from BasicMap to Map

get_var_dict(dimtype=None)

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)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist

Overloaded function.

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

gist(self, context)

Parameters:

• self – BasicMap

• context – BasicMap

Returns:

BasicMap

2. gist(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. gist(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

gist_basic_map

Upcast from BasicMap to Map

gist_domain

Overloaded function.

1. gist_domain(self, context: islpy._isl.BasicSet) -> object

gist_domain(self, context)

Parameters:

• self – BasicMap

• context – BasicSet

Returns:

BasicMap

Warning

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

2. gist_domain(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicMap to Map

3. gist_domain(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from BasicMap to UnionMap

gist_params

Upcast from BasicMap to Map

gist_range

Upcast from BasicMap to Map

has_defining_equality(self, type, pos)

Parameters:

• self – BasicMap

• type – dim_type

• pos – int

Returns:

c (Constraint)

Warning

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

has_dim_id

Overloaded function.

1. has_dim_id(self, type: islpy._isl.dim_type, pos: int) -> bool

has_dim_id(self, type, pos)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

2. has_dim_id(self, arg0: islpy._isl.dim_type, arg1: int, /) -> bool

Upcast from BasicMap to Map

has_dim_name

Upcast from BasicMap to Map

has_domain_tuple_id

Upcast from BasicMap to Map

has_equal_space

Upcast from BasicMap to Map

has_range_tuple_id

Upcast from BasicMap to Map

has_tuple_id

Upcast from BasicMap to Map

has_tuple_name

Upcast from BasicMap to Map

identity = <nanobind.nb_func object>

image_is_bounded(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

inequalities_matrix(self, c1, c2, c3, c4, c5)

Parameters:

• self – BasicMap

• c1 – dim_type

• c2 – dim_type

• c3 – dim_type

• c4 – dim_type

• c5 – dim_type

Returns:

Mat

Warning

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

insert_dims

Overloaded function.

1. insert_dims(self, type: islpy._isl.dim_type, pos: int, n: int) -> object

insert_dims(self, type, pos, n)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. insert_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to Map

intersect

Overloaded function.

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

intersect(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

2. intersect(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. intersect(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

intersect_domain

Overloaded function.

1. intersect_domain(self, bset: islpy._isl.BasicSet) -> object

intersect_domain(self, bset)

Parameters:

• self – BasicMap

• bset – BasicSet

Returns:

BasicMap

2. intersect_domain(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicMap to Map

3. intersect_domain(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from BasicMap to UnionMap

intersect_domain_factor_domain

Upcast from BasicMap to Map

intersect_domain_factor_range

Upcast from BasicMap to Map

intersect_domain_space

Upcast from BasicMap to UnionMap

intersect_domain_union_set

Upcast from BasicMap to UnionMap

intersect_domain_wrapped_domain

Upcast from BasicMap to Map

intersect_domain_wrapped_domain_union_set

Upcast from BasicMap to UnionMap

intersect_params

Overloaded function.

1. intersect_params(self, bset: islpy._isl.BasicSet) -> object

intersect_params(self, bset)

Parameters:

• self – BasicMap

• bset – BasicSet

Returns:

BasicMap

2. intersect_params(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicMap to Map

3. intersect_params(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicMap to UnionMap

intersect_range

Overloaded function.

1. intersect_range(self, bset: islpy._isl.BasicSet) -> object

intersect_range(self, bset)

Parameters:

• self – BasicMap

• bset – BasicSet

Returns:

BasicMap

2. intersect_range(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicMap to Map

3. intersect_range(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from BasicMap to UnionMap

intersect_range_factor_domain

Upcast from BasicMap to Map

intersect_range_factor_range

Upcast from BasicMap to Map

intersect_range_space

Upcast from BasicMap to UnionMap

intersect_range_union_set

Upcast from BasicMap to UnionMap

intersect_range_wrapped_domain

Upcast from BasicMap to Map

intersect_range_wrapped_domain_union_set

Upcast from BasicMap to UnionMap

involves_dims

Overloaded function.

1. involves_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> bool

involves_dims(self, type, first, n)

Parameters:

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

bool

Warning

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

2. involves_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> bool

Upcast from BasicMap to Map

3. involves_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> bool

Upcast from BasicMap to UnionMap

is_bijective

Upcast from BasicMap to Map

is_disjoint

Overloaded function.

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

is_disjoint(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

bool

Warning

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

2. is_disjoint(self, arg: islpy._isl.Map, /) -> bool

Upcast from BasicMap to Map

3. is_disjoint(self, arg: islpy._isl.UnionMap, /) -> bool

Upcast from BasicMap to UnionMap

is_empty

Overloaded function.

1. is_empty(self) -> bool

is_empty(self)

Parameters:

self – BasicMap

Returns:

bool

2. is_empty(self) -> bool

Upcast from BasicMap to Map

3. is_empty(self) -> bool

Upcast from BasicMap to UnionMap

is_equal

Overloaded function.

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

is_equal(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

bool

2. is_equal(self, arg: islpy._isl.Map, /) -> bool

Upcast from BasicMap to Map

3. is_equal(self, arg: islpy._isl.UnionMap, /) -> bool

Upcast from BasicMap to UnionMap

is_identity

Upcast from BasicMap to Map

is_injective

Upcast from BasicMap to Map

is_product

Upcast from BasicMap to Map

is_rational(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

is_single_valued

Overloaded function.

1. is_single_valued(self) -> bool

is_single_valued(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

2. is_single_valued(self) -> bool

Upcast from BasicMap to Map

3. is_single_valued(self) -> bool

Upcast from BasicMap to UnionMap

is_strict_subset

Overloaded function.

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

is_strict_subset(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

bool

Warning

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

2. is_strict_subset(self, arg: islpy._isl.Map, /) -> bool

Upcast from BasicMap to Map

3. is_strict_subset(self, arg: islpy._isl.UnionMap, /) -> bool

Upcast from BasicMap to UnionMap

is_subset

Overloaded function.

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

is_subset(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

bool

2. is_subset(self, arg: islpy._isl.Map, /) -> bool

Upcast from BasicMap to Map

3. is_subset(self, arg: islpy._isl.UnionMap, /) -> bool

Upcast from BasicMap to UnionMap

is_translation

Upcast from BasicMap to Map

is_universe(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

isa_map

Upcast from BasicMap to UnionMap

less_at = <nanobind.nb_func object>

lex_ge_at_multi_pw_aff

Upcast from BasicMap to Map

lex_ge_at_multi_union_pw_aff

Upcast from BasicMap to UnionMap

lex_ge_map

Upcast from BasicMap to Map

lex_ge_union_map

Upcast from BasicMap to UnionMap

lex_gt_at_multi_pw_aff

Upcast from BasicMap to Map

lex_gt_at_multi_union_pw_aff

Upcast from BasicMap to UnionMap

lex_gt_map

Upcast from BasicMap to Map

lex_gt_union_map

Upcast from BasicMap to UnionMap

lex_le_at_multi_pw_aff

Upcast from BasicMap to Map

lex_le_at_multi_union_pw_aff

Upcast from BasicMap to UnionMap

lex_le_map

Upcast from BasicMap to Map

lex_le_union_map

Upcast from BasicMap to UnionMap

lex_lt_at_multi_pw_aff

Upcast from BasicMap to Map

lex_lt_at_multi_union_pw_aff

Upcast from BasicMap to UnionMap

lex_lt_map

Upcast from BasicMap to Map

lex_lt_union_map

Upcast from BasicMap to UnionMap

lexmax

Overloaded function.

1. lexmax(self) -> object

lexmax(self)

Parameters:

self – BasicMap

Returns:

Map

2. lexmax(self) -> object

Upcast from BasicMap to Map

3. lexmax(self) -> object

Upcast from BasicMap to UnionMap

lexmax_pw_multi_aff

Upcast from BasicMap to Map

lexmin

Overloaded function.

1. lexmin(self) -> object

lexmin(self)

Parameters:

self – BasicMap

Returns:

Map

2. lexmin(self) -> object

Upcast from BasicMap to Map

3. lexmin(self) -> object

Upcast from BasicMap to UnionMap

lexmin_pw_multi_aff

Overloaded function.

1. lexmin_pw_multi_aff(self) -> object

lexmin_pw_multi_aff(self)

Parameters:

self – BasicMap

Returns:

PwMultiAff

Warning

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

2. lexmin_pw_multi_aff(self) -> object

Upcast from BasicMap to Map

lower_bound_multi_pw_aff

Upcast from BasicMap to Map

lower_bound_si(self, type, pos, value)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

• value – int

Returns:

BasicMap

Warning

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

lower_bound_val

Upcast from BasicMap to Map

make_disjoint

Upcast from BasicMap to Map

max_multi_pw_aff

Upcast from BasicMap to Map

min_multi_pw_aff

Upcast from BasicMap to Map

more_at = <nanobind.nb_func object>

move_dims

Overloaded function.

1. move_dims(self, dst_type: islpy._isl.dim_type, dst_pos: int, src_type: islpy._isl.dim_type, src_pos: int, n: int) -> object

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)

Parameters:

• self – BasicMap

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. move_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: islpy._isl.dim_type, arg3: int, arg4: int, /) -> object

Upcast from BasicMap to Map

n_basic_map

Upcast from BasicMap to Map

n_constraint(self)

Parameters:

self – BasicMap

Returns:

isl_size

Warning

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

n_map

Upcast from BasicMap to UnionMap

nat_universe = <nanobind.nb_func object>

neg

Overloaded function.

1. neg(self) -> object

neg(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. neg(self) -> object

Upcast from BasicMap to Map

oppose

Upcast from BasicMap to Map

order_ge

Overloaded function.

1. order_ge(self, type1: islpy._isl.dim_type, pos1: int, type2: islpy._isl.dim_type, pos2: int) -> object

order_ge(self, type1, pos1, type2, pos2)

Parameters:

• self – BasicMap

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns:

BasicMap

Warning

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

2. order_ge(self, arg0: islpy._isl.dim_type, arg1: int, arg2: islpy._isl.dim_type, arg3: int, /) -> object

Upcast from BasicMap to Map

order_gt

Overloaded function.

1. order_gt(self, type1: islpy._isl.dim_type, pos1: int, type2: islpy._isl.dim_type, pos2: int) -> object

order_gt(self, type1, pos1, type2, pos2)

Parameters:

• self – BasicMap

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns:

BasicMap

Warning

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

2. order_gt(self, arg0: islpy._isl.dim_type, arg1: int, arg2: islpy._isl.dim_type, arg3: int, /) -> object

Upcast from BasicMap to Map

order_le

Upcast from BasicMap to Map

order_lt

Upcast from BasicMap to Map

params

Upcast from BasicMap to Map

partial_lexmax

Overloaded function.

1. partial_lexmax(self, dom: islpy._isl.BasicSet) -> object

partial_lexmax(self, dom)

Parameters:

• self – BasicMap

• dom – BasicSet

Returns:

tuple: (Map, empty (Set))

Warning

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

2. partial_lexmax(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicMap to Map

partial_lexmax_pw_multi_aff(self, dom)

Parameters:

• self – BasicMap

• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (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: islpy._isl.BasicSet) -> object

partial_lexmin(self, dom)

Parameters:

• self – BasicMap

• dom – BasicSet

Returns:

tuple: (Map, empty (Set))

Warning

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

2. partial_lexmin(self, arg: islpy._isl.Set, /) -> object

Upcast from BasicMap to Map

partial_lexmin_pw_multi_aff(self, dom)

Parameters:

• self – BasicMap

• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (Set))

Warning

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

plain_get_val_if_fixed

Overloaded function.

1. plain_get_val_if_fixed(self, type: islpy._isl.dim_type, pos: int) -> object

plain_get_val_if_fixed(self, type, pos)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

Returns:

Val

Warning

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

2. plain_get_val_if_fixed(self, arg0: islpy._isl.dim_type, arg1: int, /) -> object

Upcast from BasicMap to Map

plain_is_empty

Overloaded function.

1. plain_is_empty(self) -> bool

plain_is_empty(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

2. plain_is_empty(self) -> bool

Upcast from BasicMap to Map

3. plain_is_empty(self) -> bool

Upcast from BasicMap to UnionMap

plain_is_equal

Upcast from BasicMap to Map

plain_is_injective

Upcast from BasicMap to Map

plain_is_single_valued

Upcast from BasicMap to Map

plain_is_universe

Overloaded function.

1. plain_is_universe(self) -> bool

plain_is_universe(self)

Parameters:

self – BasicMap

Returns:

bool

Warning

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

2. plain_is_universe(self) -> bool

Upcast from BasicMap to Map

plain_unshifted_simple_hull

Upcast from BasicMap to Map

polyhedral_hull

Upcast from BasicMap to Map

power

Upcast from BasicMap to Map

preimage_domain_multi_aff

Overloaded function.

1. preimage_domain_multi_aff(self, ma: islpy._isl.MultiAff) -> object

preimage_domain_multi_aff(self, ma)

Parameters:

• self – BasicMap

• ma – MultiAff

Returns:

BasicMap

Warning

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

2. preimage_domain_multi_aff(self, arg: islpy._isl.MultiAff, /) -> object

Upcast from BasicMap to Map

3. preimage_domain_multi_aff(self, arg: islpy._isl.MultiAff, /) -> object

Upcast from BasicMap to UnionMap

preimage_domain_multi_pw_aff

Upcast from BasicMap to Map

preimage_domain_pw_multi_aff

Upcast from BasicMap to Map

preimage_domain_union_pw_multi_aff

Upcast from BasicMap to UnionMap

preimage_range_multi_aff

Overloaded function.

1. preimage_range_multi_aff(self, ma: islpy._isl.MultiAff) -> object

preimage_range_multi_aff(self, ma)

Parameters:

• self – BasicMap

• ma – MultiAff

Returns:

BasicMap

Warning

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

2. preimage_range_multi_aff(self, arg: islpy._isl.MultiAff, /) -> object

Upcast from BasicMap to Map

3. preimage_range_multi_aff(self, arg: islpy._isl.MultiAff, /) -> object

Upcast from BasicMap to UnionMap

preimage_range_pw_multi_aff

Upcast from BasicMap to Map

preimage_range_union_pw_multi_aff

Upcast from BasicMap to UnionMap

product

Overloaded function.

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

product(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

Warning

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

2. product(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. product(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

project_out

Overloaded function.

1. project_out(self, type: islpy._isl.dim_type, first: int, n: int) -> object

project_out(self, type, first, n)

Parameters:

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. project_out(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to Map

3. project_out(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to UnionMap

project_out_all_params

Upcast from BasicMap to Map

project_out_except(names, types)

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

Upcast from BasicMap to Map

project_out_param_id_list

Upcast from BasicMap to Map

range

Overloaded function.

1. range(self) -> object

range(self)

Parameters:

self – BasicMap

Returns:

BasicSet

Warning

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

2. range(self) -> object

Upcast from BasicMap to Map

3. range(self) -> object

Upcast from BasicMap to UnionMap

range_curry

Upcast from BasicMap to Map

range_factor_domain

Upcast from BasicMap to Map

range_factor_range

Upcast from BasicMap to Map

range_is_wrapping

Upcast from BasicMap to Map

range_map

Overloaded function.

1. range_map(self) -> object

range_map(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. range_map(self) -> object

Upcast from BasicMap to Map

3. range_map(self) -> object

Upcast from BasicMap to UnionMap

range_product

Overloaded function.

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

range_product(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

Warning

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

2. range_product(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. range_product(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

range_reverse

Upcast from BasicMap to Map

range_tuple_dim

Upcast from BasicMap to Map

reaching_path_lengths

Upcast from BasicMap to Map

read_from_str = <nanobind.nb_func object>

remove_dims

Overloaded function.

1. remove_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

remove_dims(self, type, first, n)

Parameters:

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. remove_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to Map

remove_divs

Overloaded function.

1. remove_divs(self) -> object

remove_divs(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. remove_divs(self) -> object

Upcast from BasicMap to Map

3. remove_divs(self) -> object

Upcast from BasicMap to UnionMap

remove_divs_involving_dims

Overloaded function.

1. remove_divs_involving_dims(self, type: islpy._isl.dim_type, first: int, n: int) -> object

remove_divs_involving_dims(self, type, first, n)

Parameters:

• self – BasicMap

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

BasicMap

Warning

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

2. remove_divs_involving_dims(self, arg0: islpy._isl.dim_type, arg1: int, arg2: int, /) -> object

Upcast from BasicMap to Map

remove_inputs

Upcast from BasicMap to Map

remove_map_if

Upcast from BasicMap to UnionMap

remove_redundancies

Overloaded function.

1. remove_redundancies(self) -> object

remove_redundancies(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. remove_redundancies(self) -> object

Upcast from BasicMap to Map

3. remove_redundancies(self) -> object

Upcast from BasicMap to UnionMap

remove_unknown_divs

Upcast from BasicMap to Map

reset_tuple_id

Upcast from BasicMap to Map

reset_user

Upcast from BasicMap to Map

reverse

Overloaded function.

1. reverse(self) -> object

reverse(self)

Parameters:

self – BasicMap

Returns:

BasicMap

2. reverse(self) -> object

Upcast from BasicMap to Map

3. reverse(self) -> object

Upcast from BasicMap to UnionMap

sample

Overloaded function.

1. sample(self) -> object

sample(self)

Parameters:

self – BasicMap

Returns:

BasicMap

2. sample(self) -> object

Upcast from BasicMap to Map

3. sample(self) -> object

Upcast from BasicMap to UnionMap

set_dim_id

Upcast from BasicMap to Map

set_dim_name

Overloaded function.

1. set_dim_name(self, type: islpy._isl.dim_type, pos: int, s: str) -> object

set_dim_name(self, type, pos, s)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

• s – string

Returns:

BasicMap

Warning

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

2. set_dim_name(self, arg0: islpy._isl.dim_type, arg1: int, arg2: str, /) -> object

Upcast from BasicMap to Map

set_domain_tuple_id

Upcast from BasicMap to Map

set_range_tuple_id

Upcast from BasicMap to Map

set_tuple_id

Overloaded function.

1. set_tuple_id(self, type: islpy._isl.dim_type, id: islpy._isl.Id) -> object

set_tuple_id(self, type, id)

Parameters:

• self – BasicMap

• type – dim_type

• id – Id

Returns:

BasicMap

Warning

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

2. set_tuple_id(self, arg0: islpy._isl.dim_type, arg1: islpy._isl.Id, /) -> object

Upcast from BasicMap to Map

set_tuple_name

Overloaded function.

1. set_tuple_name(self, type: islpy._isl.dim_type, s: str) -> object

set_tuple_name(self, type, s)

Parameters:

• self – BasicMap

• type – dim_type

• s – string

Returns:

BasicMap

Warning

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

2. set_tuple_name(self, arg0: islpy._isl.dim_type, arg1: str, /) -> object

Upcast from BasicMap to Map

simple_hull

Upcast from BasicMap to Map

property space

get_space(self) -> object get_space(self) -> object get_space(self) -> object

Overloaded function.

1. get_space(self) -> object

get_space(self)

Parameters:

self – BasicMap

Returns:

Space

Warning

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

2. get_space(self) -> object

Upcast from BasicMap to Map

3. get_space(self) -> object

Upcast from BasicMap to UnionMap

subtract

Upcast from BasicMap to Map

subtract_domain

Upcast from BasicMap to Map

subtract_range

Upcast from BasicMap to Map

sum

Overloaded function.

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

sum(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

BasicMap

Warning

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

2. sum(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

to_list

Overloaded function.

1. to_list(self) -> object

to_list(self)

Parameters:

self – BasicMap

Returns:

BasicMapList

Warning

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

2. to_list(self) -> object

Upcast from BasicMap to Map

3. to_list(self) -> object

Upcast from BasicMap to UnionMap

to_str

Overloaded function.

1. to_str(self) -> object

to_str(self)

Parameters:

self – BasicMap

Returns:

string

Warning

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

2. to_str(self) -> object

Upcast from BasicMap to Map

3. to_str(self) -> object

Upcast from BasicMap to UnionMap

to_union_map

Upcast from BasicMap to Map

total_dim(self)

Parameters:

self – BasicMap

Returns:

isl_size

Warning

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

transitive_closure

Upcast from BasicMap to Map

uncurry

Overloaded function.

1. uncurry(self) -> object

uncurry(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. uncurry(self) -> object

Upcast from BasicMap to Map

3. uncurry(self) -> object

Upcast from BasicMap to UnionMap

union

Overloaded function.

1. union(self, bmap2: islpy._isl.BasicMap) -> object

union(self, bmap2)

Parameters:

• self – BasicMap

• bmap2 – BasicMap

Returns:

Map

2. union(self, arg: islpy._isl.Map, /) -> object

Upcast from BasicMap to Map

3. union(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from BasicMap to UnionMap

union_disjoint

Upcast from BasicMap to Map

universe = <nanobind.nb_func object>

unshifted_simple_hull

Upcast from BasicMap to Map

unshifted_simple_hull_from_map_list

Upcast from BasicMap to Map

upper_bound_multi_pw_aff

Upcast from BasicMap to Map

upper_bound_si(self, type, pos, value)

Parameters:

• self – BasicMap

• type – dim_type

• pos – unsigned

• value – int

Returns:

BasicMap

Warning

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

upper_bound_val

Upcast from BasicMap to Map

wrap

Overloaded function.

1. wrap(self) -> object

wrap(self)

Parameters:

self – BasicMap

Returns:

BasicSet

Warning

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

2. wrap(self) -> object

Upcast from BasicMap to Map

3. wrap(self) -> object

Upcast from BasicMap to UnionMap

zip

Overloaded function.

1. zip(self) -> object

zip(self)

Parameters:

self – BasicMap

Returns:

BasicMap

Warning

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

2. zip(self) -> object

Upcast from BasicMap to Map

3. zip(self) -> object

Upcast from BasicMap to UnionMap

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_hash() 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() 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)

Return self==value.

__hash__(self) → int

get_hash(self)

Parameters:

self – Set

Returns:

uint32_t

Warning

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

__len__(self) → int

size(self)

Parameters:

self – Set

Returns:

int

Warning

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

__ne__(other)

Return self!=value.

add_constraint(self, constraint)

Parameters:

• self – Set

• constraint – Constraint

Returns:

Set

Warning

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

add_constraints(constraints)

Added in version 2011.3.

add_dims(self, type, n)

Parameters:

• self – Set

• type – dim_type

• n – unsigned

Returns:

Set

Warning

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

add_set

Upcast from Set to UnionSet

affine_hull

Overloaded function.

1. affine_hull(self) -> object

affine_hull(self)

Parameters:

self – Set

Returns:

BasicSet

2. affine_hull(self) -> object

Upcast from Set to UnionSet

align_divs(self)

Parameters:

self – Set

Returns:

Set

Warning

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

align_params

Overloaded function.

1. align_params(self, model: islpy._isl.Space) -> object

align_params(self, model)

Parameters:

• self – Set

• model – Space

Returns:

Set

Warning

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

2. align_params(self, arg: islpy._isl.Space, /) -> object

Upcast from Set to UnionSet

apply

Overloaded function.

1. apply(self, map: islpy._isl.Map) -> object

apply(self, map)

Parameters:

• self – Set

• map – Map

Returns:

Set

2. apply(self, arg: islpy._isl.UnionMap, /) -> object

Upcast from Set to UnionSet

apply_pw_qpolynomial_fold(self, pwf)

Parameters:

• self – Set

• pwf – PwQPolynomialFold

Returns:

tuple: (PwQPolynomialFold, tight (Bool))

Warning

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

apply_union_pw_qpolynomial_fold

Upcast from Set to UnionSet

as_pw_multi_aff(self)

Parameters:

self – Set

Returns:

PwMultiAff

as_set

Upcast from Set to UnionSet

bind(self, tuple)

Parameters:

• self – Set

• tuple – MultiId

Returns:

Set

bounded_simple_hull(self)

Parameters:

self – Set

Returns:

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

Overloaded function.

1. coalesce(self) -> object

coalesce(self)

Parameters:

self – Set

Returns:

Set

2. coalesce(self) -> object

Upcast from Set to UnionSet

coefficients

Overloaded function.

1. coefficients(self) -> object

coefficients(self)

Parameters:

self – Set

Returns:

BasicSet

Warning

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

2. coefficients(self) -> object

Upcast from Set to UnionSet

complement(self)

Parameters:

self – Set

Returns:

Set

compute_divs

Overloaded function.

1. compute_divs(self) -> object

compute_divs(self)

Parameters:

self – Set

Returns:

Set

Warning

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

2. compute_divs(self) -> object

Upcast from Set to UnionSet

compute_schedule

Upcast from Set to UnionSet

contains

Upcast from Set to UnionSet

convex_hull(self)

Parameters:

self – Set

Returns:

BasicSet

Warning

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

copy

Overloaded function.

1. copy(self) -> object

copy(self)

Parameters:

self – Set

Returns:

Set

Warning

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

2. copy(self) -> object

Upcast from Set to UnionSet

count_val(self)

Parameters:

self – Set

Returns:

Val

Warning

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

detect_equalities

Overloaded function.

1. detect_equalities(self) -> object

detect_equalities(self)

Parameters:

self – Set

Returns:

Set

2. detect_equalities(self) -> object

Upcast from Set to UnionSet

dim

Overloaded function.

1. dim(self, type: islpy._isl.dim_type) -> int

dim(self, type)

Parameters:

• self – Set

• type – dim_type

Returns:

isl_size

Warning

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

2. dim(self, arg: islpy._isl.dim_type, /) -> int

Upcast from Set to UnionSet

dim_has_any_lower_bound(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

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, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

dim_has_lower_bound(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

dim_has_upper_bound(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

dim_is_bounded(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

dim_max(self, pos)

Parameters:

• self – Set

• pos – int

Returns:

PwAff

Warning

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

dim_max_val(self, pos)

Parameters:

• self – Set

• pos – int

Returns:

Val

dim_min(self, pos)

Parameters:

• self – Set

• pos – int

Returns:

PwAff

Warning

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

dim_min_val(self, pos)

Parameters:

• self – Set

• pos – int

Returns:

Val

dim_residue_class_val(self, pos)

Parameters:

• self – Set

• pos – int

Returns:

tuple: (modulo (Val), residue (Val))

Warning

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

drop_constraints_involving_dims(self, type, first, n)

Parameters:

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

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, first, n)

Parameters:

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

Set

Warning

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

drop_unused_params

Overloaded function.

1. drop_unused_params(self) -> object

drop_unused_params(self)

Parameters:

self – Set

Returns:

Set

2. drop_unused_params(self) -> object

Upcast from Set to UnionSet

dump

Overloaded function.

1. dump(self) -> None

dump(self)

Parameters:

self – Set

Returns:

None

Warning

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

2. dump(self) -> None

Upcast from Set to UnionSet

eliminate(self, type, first, n)

Parameters:

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

Set

Warning

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

eliminate_dims(self, first, n)

Parameters:

• self – Set

• first – unsigned

• n – unsigned

Returns:

Set

Warning

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

eliminate_except(names, types)

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, pos1, type2, pos2)

Parameters:

• self – Set

• type1 – dim_type

• pos1 – int

• type2 – dim_type

• pos2 – int

Returns:

Set

Warning

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

every_set

Upcast from Set to UnionSet

extract_set

Upcast from Set to UnionSet

find_dim_by_id(self, type, id)

Parameters:

• self – Set

• type – dim_type

• id – Id

Returns:

int

Warning

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

find_dim_by_name(self, type, name)

Parameters:

• self – Set

• type – dim_type

• name – string

Returns:

int

Warning

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

fix_dim_si(self, dim, value)

Parameters:

• self – Set

• dim – unsigned

• value – int

Returns:

Set

Warning

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

fix_val(self, type, pos, v)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

• v – Val

Returns:

Set

Warning

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

flat_product(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

Set

Warning

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

flatten(self)

Parameters:

self – Set

Returns:

Set

flatten_map(self)

Parameters:

self – Set

Returns:

Map

Warning

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

follows_at(self, set2, pos)

Parameters:

• self – Set

• set2 – Set

• pos – int

Returns:

int

Warning

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

foreach_basic_set(self, fn)

Parameters:

• self – Set

• fn – callback(bset)

Returns:

isl_stat

foreach_point

Overloaded function.

1. foreach_point(self, fn: object) -> islpy._isl.stat

foreach_point(self, fn)

Parameters:

• self – Set

• fn – callback(pnt)

Returns:

isl_stat

2. foreach_point(self, arg: object, /) -> islpy._isl.stat

Upcast from Set to UnionSet

foreach_set

Upcast 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)

Parameters:

self – Set

Returns:

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

Overloaded function.

1. get_basic_set_list(self) -> object

get_basic_set_list(self)

Parameters:

self – Set

Returns:

BasicSetList

Warning

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

2. get_basic_set_list(self) -> object

Upcast from Set to UnionSet

get_basic_sets()

Get the list of BasicSet instances in this Set.

get_ctx

Overloaded function.

1. get_ctx(self) -> object

get_ctx(self)

Parameters:

self – Set

Returns:

Context

Warning

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

2. get_ctx(self) -> object

Upcast from Set to UnionSet

get_dim_id(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

Id

Warning

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

get_dim_name(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

string

Warning

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

get_hash

Upcast from Set to UnionSet

get_id_dict(dimtype=None)

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)

Parameters:

self – Set

Returns:

FixedBox

get_plain_multi_val_if_fixed(self)

Parameters:

self – Set

Returns:

MultiVal

get_set_list

Upcast from Set to UnionSet

get_simple_fixed_box_hull(self)

Parameters:

self – Set

Returns:

FixedBox

get_space

Overloaded function.

1. get_space(self) -> object

get_space(self)

Parameters:

self – Set

Returns:

Space

2. get_space(self) -> object

Upcast from Set to UnionSet

get_stride(self, pos)

Parameters:

• self – Set

• pos – int

Returns:

Val

get_stride_info(self, pos)

Parameters:

• self – Set

• pos – int

Returns:

StrideInfo

Warning

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

get_tuple_id(self)

Parameters:

self – Set

Returns:

Id

Warning

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

get_tuple_name(self)

Parameters:

self – Set

Returns:

string

Warning

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

get_var_dict(dimtype=None)

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)

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)

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

gist

Overloaded function.

1. gist(self, context: islpy._isl.Set) -> object

gist(self, context)

Parameters:

• self – Set

• context – Set

Returns:

Set

2. gist(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from Set to UnionSet

gist_basic_set(self, context)

Parameters:

• self – Set

• context – BasicSet

Returns:

Set

Warning

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

gist_params

Overloaded function.

1. gist_params(self, context: islpy._isl.Set) -> object

gist_params(self, context)

Parameters:

• self – Set

• context – Set

Returns:

Set

2. gist_params(self, arg: islpy._isl.Set, /) -> object

Upcast from Set to UnionSet

has_dim_id(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

has_dim_name(self, type, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

has_equal_space(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

bool

Warning

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

has_tuple_id(self)

Parameters:

self – Set

Returns:

bool

Warning

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

has_tuple_name(self)

Parameters:

self – Set

Returns:

bool

Warning

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

identity

Overloaded function.

1. identity(self) -> object

identity(self)

Parameters:

self – Set

Returns:

Map

2. identity(self) -> object

Upcast from Set to UnionSet

identity_union_pw_multi_aff

Upcast from Set to UnionSet

indicator_function(self)

Parameters:

self – Set

Returns:

PwAff

insert_dims(self, type, pos, n)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

• n – unsigned

Returns:

Set

Warning

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

insert_domain(self, domain)

Parameters:

• self – Set

• domain – Space

Returns:

Map

intersect

Overloaded function.

1. intersect(self, set2: islpy._isl.Set) -> object

intersect(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

Set

2. intersect(self, arg: islpy._isl.UnionSet, /) -> object

Upcast from Set to UnionSet

intersect_factor_domain(self, domain)

Parameters:

• self – Set

• domain – Set

Returns:

Set

Warning

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

intersect_factor_range(self, range)

Parameters:

• self – Set

• range – Set

Returns:

Set

Warning

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

intersect_params

Overloaded function.

1. intersect_params(self, params: islpy._isl.Set) -> object

intersect_params(self, params)

Parameters:

• self – Set

• params – Set

Returns:

Set

2. intersect_params(self, arg: islpy._isl.Set, /) -> object

Upcast from Set to UnionSet

involves_dims(self, type, first, n)

Parameters:

• self – Set

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

bool

Warning

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

involves_locals(self)

Parameters:

self – Set

Returns:

bool

is_bounded(self)

Parameters:

self – Set

Returns:

bool

Warning

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

is_box(self)

Parameters:

self – Set

Returns:

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: islpy._isl.Set) -> bool

is_disjoint(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

bool

2. is_disjoint(self, arg: islpy._isl.UnionSet, /) -> bool

Upcast from Set to UnionSet

is_empty

Overloaded function.

1. is_empty(self) -> bool

is_empty(self)

Parameters:

self – Set

Returns:

bool

2. is_empty(self) -> bool

Upcast from Set to UnionSet

is_equal

Overloaded function.

1. is_equal(self, set2: islpy._isl.Set) -> bool

is_equal(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

bool

2. is_equal(self, arg: islpy._isl.UnionSet, /) -> bool

Upcast from Set to UnionSet

is_params

Overloaded function.

1. is_params(self) -> bool

is_params(self)

Parameters:

self – Set

Returns:

bool

Warning

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

2. is_params(self) -> bool

Upcast from Set to UnionSet

is_singleton(self)

Parameters:

self – Set

Returns:

bool

is_strict_subset

Overloaded function.

1. is_strict_subset(self, set2: islpy._isl.Set) -> bool

is_strict_subset(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

bool

2. is_strict_subset(self, arg: islpy._isl.UnionSet, /) -> bool

Upcast from Set to UnionSet

is_subset

Overloaded function.

1. is_subset(self, set2: islpy._isl.Set) -> bool

is_subset(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

bool

2. is_subset(self, arg: islpy._isl.UnionSet, /) -> bool

Upcast from Set to UnionSet

is_wrapping(self)

Parameters:

self – Set

Returns:

bool

isa_set

Upcast from Set to UnionSet

lex_ge_set(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

Map

Warning

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

lex_ge_union_set

Upcast from Set to UnionSet

lex_gt_set(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

Map

Warning

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

lex_gt_union_set

Upcast from Set to UnionSet

lex_le_set(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

Map

Warning

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

lex_le_union_set

Upcast from Set to UnionSet

lex_lt_set(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

Map

Warning

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

lex_lt_union_set

Upcast from Set to UnionSet

lexmax

Overloaded function.

1. lexmax(self) -> object

lexmax(self)

Parameters:

self – Set

Returns:

Set

2. lexmax(self) -> object

Upcast from Set to UnionSet

lexmax_pw_multi_aff(self)

Parameters:

self – Set

Returns:

PwMultiAff

lexmin

Overloaded function.

1. lexmin(self) -> object

lexmin(self)

Parameters:

self – Set

Returns:

Set

2. lexmin(self) -> object

Upcast from Set to UnionSet

lexmin_pw_multi_aff(self)

Parameters:

self – Set

Returns:

PwMultiAff

lift

Overloaded function.

1. lift(self) -> object

lift(self)

Parameters:

self – Set

Returns:

Set

Warning

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

2. lift(self) -> object

Upcast from Set to UnionSet

lower_bound_multi_pw_aff(self, lower)

Parameters:

• self – Set

• lower – MultiPwAff

Returns:

Set

Warning

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

lower_bound_multi_val(self, lower)

Parameters:

• self – Set

• lower – MultiVal

Returns:

Set

Warning

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

lower_bound_val(self, type, pos, value)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

• value – Val

Returns:

Set

Warning

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

make_disjoint(self)

Parameters:

self – Set

Returns:

Set

Warning

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

max_multi_pw_aff(self)

Parameters:

self – Set

Returns:

MultiPwAff

max_val(self, obj)

Parameters:

• self – Set

• obj – Aff

Returns:

Val

min_multi_pw_aff(self)

Parameters:

self – Set

Returns:

MultiPwAff

min_multi_union_pw_aff

Upcast from Set to UnionSet

min_val(self, obj)

Parameters:

• self – Set

• obj – Aff

Returns:

Val

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)

Parameters:

• self – Set

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns:

Set

Warning

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

n_basic_set(self)

Parameters:

self – Set

Returns:

isl_size

n_dim(self)

Parameters:

self – Set

Returns:

isl_size

Warning

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

n_param(self)

Parameters:

self – Set

Returns:

isl_size

Warning

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

n_set

Upcast from Set to UnionSet

nat_universe = <nanobind.nb_func object>

neg(self)

Parameters:

self – Set

Returns:

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)

Parameters:

• self – Set

• id – Id

Returns:

PwAff

Warning

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

params

Overloaded function.

1. params(self) -> object

params(self)

Parameters:

self – Set

Returns:

Set

2. params(self) -> object

Upcast from Set to UnionSet

partial_lexmax(self, dom)

Parameters:

• self – Set

• dom – Set

Returns:

tuple: (Set, empty (Set))

Warning

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

partial_lexmin(self, dom)

Parameters:

• self – Set

• dom – Set

Returns:

tuple: (Set, empty (Set))

Warning

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

plain_cmp(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

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, pos)

Parameters:

• self – Set

• type – dim_type

• pos – unsigned

Returns:

Val

Warning

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

plain_is_disjoint(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

bool

Warning

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

plain_is_empty(self)

Parameters:

self – Set

Returns:

bool

Warning

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

plain_is_equal(self, set2)

Parameters:

• self – Set

• set2 – Set

Returns:

bool

Warning

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

plain_is_universe(self)

Parameters:

self – Set

Returns:

bool

Warning

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

plain_unshifted_simple_hull(self)

Parameters:

self – Set

Returns:

BasicSet

Warning

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

polyhedral_hull

Overloaded function.

1. polyhedral_hull(self) -> object

polyhedral_hull(self)

Parameters:

self –