Reference: Sets and Maps¶

Basic Set¶

class islpy.BasicSet(*args, **kwargs)¶
__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:
Returns:

BasicSet

Warning

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

  1. 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:
Returns:

BasicSet

Warning

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

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

  1. affine_hull(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

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

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

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

Upcast from BasicSet to Set

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

  1. coefficients(self) -> object

Upcast from BasicSet to Set

  1. coefficients(self) -> object

Upcast from BasicSet to UnionSet

compare_at(self, bset2, pos)¶
Parameters:
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.

  1. compute_divs(self) -> object

Upcast from BasicSet to Set

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

  1. copy(self) -> object

Upcast from BasicSet to Set

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

  1. detect_equalities(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

isl_size

Warning

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

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

Upcast from BasicSet to Set

  1. 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:
Returns:

Val

  1. 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:
Returns:

BasicSet

Warning

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

  1. 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:
Returns:

BasicSet

Warning

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

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

  1. drop_unused_params(self) -> object

Upcast from BasicSet to Set

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

  1. dump(self) -> None

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

  1. 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:
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:
Returns:

BasicSet

Warning

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

  1. 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:
Returns:

BasicSet

Warning

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

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

  1. 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:
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.

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

  1. get_ctx(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

Id

Warning

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

  1. 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:
Returns:

string

Warning

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

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

Upcast from BasicSet to Set

get_div(self, pos)¶
Parameters:
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.

  1. get_space(self) -> object

Upcast from BasicSet to Set

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

  1. 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:
Returns:

BasicSet

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

Upcast from BasicSet to Set

  1. 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:
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:
Returns:

BasicSet

Warning

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

  1. 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:
Returns:

BasicSet

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

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

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

Upcast from BasicSet to Set

  1. 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:
Returns:

bool

Warning

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

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

  1. 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:
Returns:

bool

Warning

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

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

Upcast from BasicSet to Set

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

  1. is_empty(self) -> bool

Upcast from BasicSet to Set

  1. 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:
Returns:

bool

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

Upcast from BasicSet to Set

  1. 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:
Returns:

bool

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

Upcast from BasicSet to Set

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

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

  1. lexmax(self) -> object

Upcast from BasicSet to Set

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

  1. lexmin(self) -> object

Upcast from BasicSet to Set

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

  1. lift(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

  1. 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:
Returns:

Val

Warning

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

  1. 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:
Returns:

BasicSet

Warning

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

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

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

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

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

  1. params(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

tuple: (Set, empty (Set))

Warning

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

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

Upcast from BasicSet to Set

partial_lexmax_pw_multi_aff(self, dom)¶
Parameters:
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:
Returns:

tuple: (Set, empty (Set))

Warning

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

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

Upcast from BasicSet to Set

partial_lexmin_pw_multi_aff(self, dom)¶
Parameters:
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.

  1. 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:
Returns:

bool

Warning

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

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

  1. 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:
Returns:

BasicSet

Warning

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

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

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

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

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

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

  1. remove_divs(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

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

  1. remove_redundancies(self) -> object

Upcast from BasicSet to Set

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

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

  1. sample(self) -> object

Upcast from BasicSet to Set

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

  1. sample_point(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

  1. 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:
Returns:

BasicSet

Warning

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

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

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

  1. solutions(self) -> object

Upcast from BasicSet to Set

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

  1. get_space(self) -> object

Upcast from BasicSet to Set

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

  1. to_list(self) -> object

Upcast from BasicSet to Set

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

  1. to_str(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

Set

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

Upcast from BasicSet to Set

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

  1. unwrap(self) -> object

Upcast from BasicSet to Set

  1. 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:
Returns:

BasicSet

Warning

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

  1. 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__(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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

Warning

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

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

  1. affine_hull(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

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

Upcast from BasicMap to Map

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

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

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

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

  1. compute_divs(self) -> object

Upcast from BasicMap to Map

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

  1. copy(self) -> object

Upcast from BasicMap to Map

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

  1. curry(self) -> object

Upcast from BasicMap to Map

  1. curry(self) -> object

Upcast from BasicMap to UnionMap

deltas¶

Overloaded function.

  1. deltas(self) -> object

deltas(self)

Parameters:

self – BasicMap

Returns:

BasicSet

  1. deltas(self) -> object

Upcast from BasicMap to Map

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

  1. deltas_map(self) -> object

Upcast from BasicMap to Map

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

  1. detect_equalities(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

isl_size

Warning

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

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

Upcast from BasicMap to Map

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

  1. domain(self) -> object

Upcast from BasicMap to Map

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

  1. domain_map(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

Warning

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

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

  1. drop_unused_params(self) -> object

Upcast from BasicMap to Map

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

  1. dump(self) -> None

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

int

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

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

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

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

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

  1. get_ctx(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

string

Warning

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

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

Upcast from BasicMap to Map

get_div(self, pos)¶
Parameters:
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.

  1. get_space(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

string

Warning

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

  1. 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:
Returns:

BasicMap

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
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:
Returns:

bool

Warning

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

  1. 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:
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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

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

Upcast from BasicMap to Map

  1. 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:
Returns:

bool

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

bool

Warning

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

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

Upcast from BasicMap to Map

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

  1. is_empty(self) -> bool

Upcast from BasicMap to Map

  1. 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:
Returns:

bool

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

Upcast from BasicMap to Map

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

  1. is_single_valued(self) -> bool

Upcast from BasicMap to Map

  1. 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:
Returns:

bool

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

bool

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

Upcast from BasicMap to Map

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

  1. lexmax(self) -> object

Upcast from BasicMap to Map

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

  1. lexmin(self) -> object

Upcast from BasicMap to Map

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

  1. 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:
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:
Returns:

BasicMap

Warning

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

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

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

tuple: (Map, empty (Set))

Warning

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

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

Upcast from BasicMap to Map

partial_lexmax_pw_multi_aff(self, dom)¶
Parameters:
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:
Returns:

tuple: (Map, empty (Set))

Warning

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

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

Upcast from BasicMap to Map

partial_lexmin_pw_multi_aff(self, dom)¶
Parameters:
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:
Returns:

Val

Warning

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

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

  1. plain_is_empty(self) -> bool

Upcast from BasicMap to Map

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

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

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

  1. range(self) -> object

Upcast from BasicMap to Map

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

  1. range_map(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

  1. remove_divs(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

  1. remove_redundancies(self) -> object

Upcast from BasicMap to Map

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

  1. reverse(self) -> object

Upcast from BasicMap to Map

  1. reverse(self) -> object

Upcast from BasicMap to UnionMap

sample¶

Overloaded function.

  1. sample(self) -> object

sample(self)

Parameters:

self – BasicMap

Returns:

BasicMap

  1. sample(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

Warning

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

  1. 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:
Returns:

BasicMap

Warning

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

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

  1. get_space(self) -> object

Upcast from BasicMap to Map

  1. 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:
Returns:

BasicMap

Warning

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

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

  1. to_list(self) -> object

Upcast from BasicMap to Map

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

  1. to_str(self) -> object

Upcast from BasicMap to Map

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

  1. uncurry(self) -> object

Upcast from BasicMap to Map

  1. uncurry(self) -> object

Upcast from BasicMap to UnionMap

union¶

Overloaded function.

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

union(self, bmap2)

Parameters:
Returns:

Map

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

Upcast from BasicMap to Map

  1. 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:
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.

  1. wrap(self) -> object

Upcast from BasicMap to Map

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

  1. zip(self) -> object

Upcast from BasicMap to Map

  1. zip(self) -> object

Upcast from BasicMap to UnionMap

Set¶

class islpy.Set(*args, **kwargs)¶
__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:
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:
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

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

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

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

Upcast from Set to UnionSet

apply_pw_qpolynomial_fold(self, pwf)¶
Parameters:
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:
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

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

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

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

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

  1. 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:
Returns:

isl_size

Warning

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

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

Upcast from Set to UnionSet

dim_has_any_lower_bound(self, type, pos)¶
Parameters:
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:
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:
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:
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:
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:
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:
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

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

  1. dump(self) -> None

Upcast from Set to UnionSet

eliminate(self, type, first, n)¶
Parameters:
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:
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:
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:
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:
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:
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

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

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

  1. get_ctx(self) -> object

Upcast from Set to UnionSet

get_dim_id(self, type, pos)¶
Parameters:
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:
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

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

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

Upcast from Set to UnionSet

gist_basic_set(self, context)¶
Parameters:
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

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

Upcast from Set to UnionSet

has_dim_id(self, type, pos)¶
Parameters:
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:
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

  1. 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:
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

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

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

Upcast from Set to UnionSet

involves_dims(self, type, first, n)¶
Parameters:
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

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

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

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

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

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

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

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

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

  1. lift(self) -> object

Upcast from Set to UnionSet

lower_bound_multi_pw_aff(self, lower)¶
Parameters:
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:
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:
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:
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

  1. 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:
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 –