Reference: Basic Building Blocks

Context

class islpy.Context

__eq__() __hash__() __ne__() abort() aborted() get_ast_always_print_block() get_ast_build_allow_else() get_ast_build_allow_or() get_ast_build_atomic_upper_bound() get_ast_build_detect_min_max() get_ast_build_exploit_nested_bounds() get_ast_build_group_coscheduled() get_ast_build_prefer_pdiv() get_ast_build_scale_strides() get_ast_build_separation_bounds() get_ast_iterator_type() get_ast_print_macro_once() get_ast_print_outermost_block() get_bound() get_coalesce_bounded_wrapping() get_coalesce_preserve_locals() get_gbr_only_first() get_max_operations() get_on_error() get_pip_symmetry() get_schedule_algorithm() get_schedule_carry_self_first() get_schedule_max_coefficient() get_schedule_max_constant_term() get_schedule_maximize_band_depth() get_schedule_maximize_coincidence() get_schedule_outer_coincidence() get_schedule_separate_components() get_schedule_serialize_sccs() get_schedule_split_scaled() get_schedule_treat_coalescing() get_schedule_whole_component() get_tile_scale_tile_loops()

get_tile_shift_point_loops() reset_operations() resume() set_ast_always_print_block() set_ast_build_allow_else() set_ast_build_allow_or() set_ast_build_atomic_upper_bound() set_ast_build_detect_min_max() set_ast_build_exploit_nested_bounds() set_ast_build_group_coscheduled() set_ast_build_prefer_pdiv() set_ast_build_scale_strides() set_ast_build_separation_bounds() set_ast_iterator_type() set_ast_print_macro_once() set_ast_print_outermost_block() set_bound() set_coalesce_bounded_wrapping() set_coalesce_preserve_locals() set_gbr_only_first() set_max_operations() set_on_error() set_pip_symmetry() set_schedule_algorithm() set_schedule_carry_self_first() set_schedule_max_coefficient() set_schedule_max_constant_term() set_schedule_maximize_band_depth() set_schedule_maximize_coincidence() set_schedule_outer_coincidence() set_schedule_separate_components() set_schedule_serialize_sccs() set_schedule_split_scaled() set_schedule_treat_coalescing() set_schedule_whole_component() set_tile_scale_tile_loops() set_tile_shift_point_loops()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

abort(self)

Parameters:

self – Context

Returns:

None

Warning

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

aborted(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_always_print_block(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_allow_else(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_allow_or(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_atomic_upper_bound(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_detect_min_max(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_exploit_nested_bounds(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_group_coscheduled(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_prefer_pdiv(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_scale_strides(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_build_separation_bounds(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_iterator_type(self)

Parameters:

self – Context

Returns:

string

Warning

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

get_ast_print_macro_once(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_ast_print_outermost_block(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_bound(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_coalesce_bounded_wrapping(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_coalesce_preserve_locals(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_gbr_only_first(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_max_operations(self)

Parameters:

self – Context

Returns:

unsigned long

Warning

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

get_on_error(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_pip_symmetry(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_algorithm(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_carry_self_first(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_max_coefficient(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_max_constant_term(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_maximize_band_depth(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_maximize_coincidence(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_outer_coincidence(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_separate_components(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_serialize_sccs(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_split_scaled(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_treat_coalescing(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_schedule_whole_component(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_tile_scale_tile_loops(self)

Parameters:

self – Context

Returns:

int

Warning

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

get_tile_shift_point_loops(self)

Parameters:

self – Context

Returns:

int

Warning

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

reset_operations(self)

Parameters:

self – Context

Returns:

None

Warning

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

resume(self)

Parameters:

self – Context

Returns:

None

Warning

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

set_ast_always_print_block(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_allow_else(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_allow_or(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_atomic_upper_bound(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_detect_min_max(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_exploit_nested_bounds(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_group_coscheduled(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_prefer_pdiv(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_scale_strides(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_build_separation_bounds(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_iterator_type(self, val)

Parameters:

• self – Context

• val – string

Returns:

isl_stat

Warning

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

set_ast_print_macro_once(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_ast_print_outermost_block(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_bound(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_coalesce_bounded_wrapping(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_coalesce_preserve_locals(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_gbr_only_first(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_max_operations(self, max_operations)

Parameters:

• self – Context

• max_operations – int

Returns:

None

Warning

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

set_on_error(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_pip_symmetry(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_algorithm(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_carry_self_first(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_max_coefficient(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_max_constant_term(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_maximize_band_depth(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_maximize_coincidence(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_outer_coincidence(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_separate_components(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_serialize_sccs(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_split_scaled(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_treat_coalescing(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_schedule_whole_component(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_tile_scale_tile_loops(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

set_tile_shift_point_loops(self, val)

Parameters:

• self – Context

• val – int

Returns:

isl_stat

Warning

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

Id

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

__eq__() __hash__() __ne__() dump() get_ctx()

get_name() get_user() to_list() to_str()

__eq__(self, other: islpy._isl.Id) → bool

__eq__(self, other)

Parameters:

• self – Id

• other – Id

Returns:

bool

__hash__(self) → int

get_hash(self)

Parameters:

self – Id

Returns:

uint32_t

Warning

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

__ne__(self, other: islpy._isl.Id) → bool

__ne__(self, other)

Parameters:

• self – Id

• other – Id

Returns:

bool

dump(self)

Parameters:

self – Id

Returns:

None

Warning

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

get_ctx(self)

Parameters:

self – Id

Returns:

Context

Warning

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

get_name(self)

Parameters:

self – Id

Returns:

string

get_user(self)

Parameters:

self – Id

Returns:

a user-specified python object

Warning

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

property name

get_name(self) -> object

get_name(self)

Parameters:

self – Id

Returns:

string

read_from_str = <nanobind.nb_func object>

to_list(self)

Parameters:

self – Id

Returns:

IdList

to_str(self)

Parameters:

self – Id

Returns:

string

Warning

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

property user

get_user(self) -> object

get_user(self)

Parameters:

self – Id

Returns:

a user-specified python object

Warning

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

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

__eq__() __hash__() __len__() __ne__() align_params() copy() dump() factor_range() flat_range_product() flatten_range() from_range() get_at() get_ctx() get_domain_space() get_id() get_id_dict()

get_list() get_space() get_var_dict() get_var_ids() get_var_names() plain_is_equal() range_factor_domain() range_factor_range() range_is_wrapping() range_product() range_splice() reset_user() set_at() set_id() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__(self) → int

size(self)

Parameters:

self – MultiId

Returns:

isl_size

__ne__(value, /)

Return self!=value.

align_params(self, model)

Parameters:

• self – MultiId

• model – Space

Returns:

MultiId

Warning

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

copy(self)

Parameters:

self – MultiId

Returns:

MultiId

Warning

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

dump(self)

Parameters:

self – MultiId

Returns:

None

Warning

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

factor_range(self)

Parameters:

self – MultiId

Returns:

MultiId

Warning

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

flat_range_product(self, multi2)

Parameters:

• self – MultiId

• multi2 – MultiId

Returns:

MultiId

flatten_range(self)

Parameters:

self – MultiId

Returns:

MultiId

Warning

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

from_id_list = <nanobind.nb_func object>

from_range(self)

Parameters:

self – MultiId

Returns:

MultiId

Warning

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

get_at(self, pos)

Parameters:

• self – MultiId

• pos – int

Returns:

Id

get_ctx(self)

Parameters:

self – MultiId

Returns:

Context

Warning

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

get_domain_space(self)

Parameters:

self – MultiId

Returns:

Space

Warning

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

get_id(self, pos)

Parameters:

• self – MultiId

• pos – int

Returns:

Id

Warning

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

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_list(self)

Parameters:

self – MultiId

Returns:

IdList

get_space(self)

Parameters:

self – MultiId

Returns:

Space

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.

plain_is_equal(self, multi2)

Parameters:

• self – MultiId

• multi2 – MultiId

Returns:

bool

range_factor_domain(self)

Parameters:

self – MultiId

Returns:

MultiId

Warning

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

range_factor_range(self)

Parameters:

self – MultiId

Returns:

MultiId

Warning

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

range_is_wrapping(self)

Parameters:

self – MultiId

Returns:

bool

Warning

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

range_product(self, multi2)

Parameters:

• self – MultiId

• multi2 – MultiId

Returns:

MultiId

range_splice(self, pos, multi2)

Parameters:

• self – MultiId

• pos – unsigned

• multi2 – MultiId

Returns:

MultiId

Warning

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

read_from_str = <nanobind.nb_func object>

reset_user(self)

Parameters:

self – MultiId

Returns:

MultiId

Warning

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

set_at(self, pos, el)

Parameters:

• self – MultiId

• pos – int

• el – Id

Returns:

MultiId

set_id(self, pos, el)

Parameters:

• self – MultiId

• pos – int

• el – Id

Returns:

MultiId

Warning

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

property space

get_space(self) -> object

get_space(self)

Parameters:

self – MultiId

Returns:

Space

to_str(self)

Parameters:

self – MultiId

Returns:

string

Warning

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

Space

(formerly called Dim. A compatibility alias is in place.)

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

__eq__() __hash__() __ne__() add_dims() add_named_tuple_id_ui() add_param_id() add_unnamed_tuple_ui() align_params() can_curry() can_range_curry() can_uncurry() can_zip() copy() create_from_names() curry() dim() domain() domain_factor_domain() domain_factor_range() domain_is_wrapping() domain_map() domain_map_multi_aff() domain_map_pw_multi_aff() domain_product() domain_reverse() domain_wrapped_domain() domain_wrapped_range() drop_all_params() drop_dims() drop_inputs() drop_outputs() dump() extend() factor_domain() factor_range() find_dim_by_id() find_dim_by_name() flatten_domain() flatten_range() from_domain() from_range() get_ctx() get_dim_id() get_dim_name() get_div() get_domain_tuple_id() get_id_dict() get_range_tuple_id() get_space() get_tuple_id() get_tuple_name() get_var_dict() has_dim_id() has_dim_name() has_domain_tuple_id() has_equal_params() has_equal_tuples() has_range_tuple_id() has_tuple_id() has_tuple_name() identity_multi_aff_on_domain() identity_multi_pw_aff_on_domain()

identity_pw_multi_aff_on_domain() insert_dims() intersect() is_domain() is_equal() is_map() is_params() is_product() is_range() is_set() is_wrapping() join() lifting() map_from_domain_and_range() map_from_set() match() move_dims() multi_aff() multi_aff_on_domain_multi_val() multi_id() multi_pw_aff() multi_union_pw_aff() multi_val() param_aff_on_domain_id() params() product() range() range_curry() range_factor_domain() range_factor_range() range_is_wrapping() range_map() range_map_multi_aff() range_map_pw_multi_aff() range_product() range_reverse() range_wrapped_domain() range_wrapped_range() reset_tuple_id() reset_user() reverse() set_dim_id() set_dim_name() set_domain_tuple_id() set_from_params() set_range_tuple_id() set_tuple_id() set_tuple_name() to_str() tuple_is_equal() uncurry() universe_map() universe_set() unwrap() wrap() wrapped_reverse() zero_aff_on_domain() zero_multi_aff() zero_multi_pw_aff() zero_multi_union_pw_aff() zero_multi_val() zip()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_dims

Overloaded function.

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

add_dims(self, type, n)

Parameters:

• self – Space

• type – dim_type

• n – unsigned

Returns:

Space

Warning

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

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

Upcast from Space to LocalSpace

add_named_tuple_id_ui(self, tuple_id, dim)

Parameters:

• self – Space

• tuple_id – Id

• dim – unsigned

Returns:

Space

Warning

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

add_param_id(self, id)

Parameters:

• self – Space

• id – Id

Returns:

Space

Warning

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

add_unnamed_tuple_ui(self, dim)

Parameters:

• self – Space

• dim – unsigned

Returns:

Space

Warning

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

align_params(self, space2)

Parameters:

• self – Space

• space2 – Space

Returns:

Space

Warning

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

alloc = <nanobind.nb_func object>

can_curry(self)

Parameters:

self – Space

Returns:

bool

Warning

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

can_range_curry(self)

Parameters:

self – Space

Returns:

bool

Warning

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

can_uncurry(self)

Parameters:

self – Space

Returns:

bool

Warning

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

can_zip(self)

Parameters:

self – Space

Returns:

bool

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 – Space

Returns:

Space

Warning

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

2. copy(self) -> object

Upcast from Space to LocalSpace

static create_from_names(ctx, set=None, in_=None, out=None, params=())

Create a Space from lists of variable names.

Parameters:

• set – names of set-type variables.

• in – names of in-type variables.

• out – names of out-type variables.

• params – names of parameter-type variables.

curry(self)

Parameters:

self – Space

Returns:

Space

dim

Overloaded function.

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

dim(self, type)

Parameters:

• self – Space

• type – dim_type

Returns:

isl_size

Warning

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

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

Upcast from Space to LocalSpace

domain

Overloaded function.

1. domain(self) -> object

domain(self)

Parameters:

self – Space

Returns:

Space

2. domain(self) -> object

Upcast from Space to LocalSpace

domain_factor_domain(self)

Parameters:

self – Space

Returns:

Space

Warning

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

domain_factor_range(self)

Parameters:

self – Space

Returns:

Space

Warning

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

domain_is_wrapping(self)

Parameters:

self – Space

Returns:

bool

Warning

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

domain_map(self)

Parameters:

self – Space

Returns:

Space

Warning

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

domain_map_multi_aff(self)

Parameters:

self – Space

Returns:

MultiAff

domain_map_pw_multi_aff(self)

Parameters:

self – Space

Returns:

PwMultiAff

domain_product(self, right)

Parameters:

• self – Space

• right – Space

Returns:

Space

Warning

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

domain_reverse(self)

Parameters:

self – Space

Returns:

Space

domain_wrapped_domain(self)

Parameters:

self – Space

Returns:

Space

Warning

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

domain_wrapped_range(self)

Parameters:

self – Space

Returns:

Space

Warning

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

drop_all_params(self)

Parameters:

self – Space

Returns:

Space

drop_dims

Overloaded function.

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

drop_dims(self, type, first, num)

Parameters:

• self – Space

• type – dim_type

• first – unsigned

• num – unsigned

Returns:

Space

Warning

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

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

Upcast from Space to LocalSpace

drop_inputs(self, first, n)

Parameters:

• self – Space

• first – unsigned

• n – unsigned

Returns:

Space

Warning

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

drop_outputs(self, first, n)

Parameters:

• self – Space

• first – unsigned

• n – unsigned

Returns:

Space

Warning

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

dump

Overloaded function.

1. dump(self) -> None

dump(self)

Parameters:

self – Space

Returns:

None

Warning

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

2. dump(self) -> None

Upcast from Space to LocalSpace

extend(self, nparam, n_in, n_out)

Parameters:

• self – Space

• nparam – unsigned

• n_in – unsigned

• n_out – unsigned

Returns:

Space

Warning

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

factor_domain(self)

Parameters:

self – Space

Returns:

Space

Warning

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

factor_range(self)

Parameters:

self – Space

Returns:

Space

Warning

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

find_dim_by_id(self, type, id)

Parameters:

• self – Space

• type – dim_type

• id – Id

Returns:

int

Warning

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

find_dim_by_name

Overloaded function.

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

find_dim_by_name(self, type, name)

Parameters:

• self – Space

• type – dim_type

• name – string

Returns:

int

Warning

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

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

Upcast from Space to LocalSpace

flatten_domain

Overloaded function.

1. flatten_domain(self) -> object

flatten_domain(self)

Parameters:

self – Space

Returns:

Space

2. flatten_domain(self) -> object

Upcast from Space to LocalSpace

flatten_range

Overloaded function.

1. flatten_range(self) -> object

flatten_range(self)

Parameters:

self – Space

Returns:

Space

2. flatten_range(self) -> object

Upcast from Space to LocalSpace

from_domain

Overloaded function.

1. from_domain(self) -> object

from_domain(self)

Parameters:

self – Space

Returns:

Space

Warning

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

2. from_domain(self) -> object

Upcast from Space to LocalSpace

from_range(self)

Parameters:

self – Space

Returns:

Space

Warning

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

get_ctx

Overloaded function.

1. get_ctx(self) -> object

get_ctx(self)

Parameters:

self – Space

Returns:

Context

Warning

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

2. get_ctx(self) -> object

Upcast from Space to LocalSpace

get_dim_id

Overloaded function.

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

get_dim_id(self, type, pos)

Parameters:

• self – Space

• type – dim_type

• pos – unsigned

Returns:

Id

Warning

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

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

Upcast from Space to LocalSpace

get_dim_name

Overloaded function.

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

get_dim_name(self, type, pos)

Parameters:

• self – Space

• type – dim_type

• pos – unsigned

Returns:

string

Warning

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

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

Upcast from Space to LocalSpace

get_div

Upcast from Space to LocalSpace

get_domain_tuple_id(self)

Parameters:

self – Space

Returns:

Id

get_id_dict(dimtype=None)

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

Parameters:

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

get_range_tuple_id(self)

Parameters:

self – Space

Returns:

Id

get_space

Upcast from Space to LocalSpace

get_tuple_id(self, type)

Parameters:

• self – Space

• type – dim_type

Returns:

Id

Warning

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

get_tuple_name(self, type)

Parameters:

• self – Space

• type – dim_type

Returns:

string

Warning

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

get_var_dict(dimtype=None, ignore_out=False)

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

Parameters:

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

has_dim_id

Overloaded function.

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

has_dim_id(self, type, pos)

Parameters:

• self – Space

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

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

Upcast from Space to LocalSpace

has_dim_name

Overloaded function.

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

has_dim_name(self, type, pos)

Parameters:

• self – Space

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

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

Upcast from Space to LocalSpace

has_domain_tuple_id(self)

Parameters:

self – Space

Returns:

bool

has_equal_params(self, space2)

Parameters:

• self – Space

• space2 – Space

Returns:

bool

Warning

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

has_equal_tuples(self, space2)

Parameters:

• self – Space

• space2 – Space

Returns:

bool

Warning

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

has_range_tuple_id(self)

Parameters:

self – Space

Returns:

bool

has_tuple_id(self, type)

Parameters:

• self – Space

• type – dim_type

Returns:

bool

Warning

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

has_tuple_name(self, type)

Parameters:

• self – Space

• type – dim_type

Returns:

bool

Warning

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

identity_multi_aff_on_domain(self)

Parameters:

self – Space

Returns:

MultiAff

identity_multi_pw_aff_on_domain(self)

Parameters:

self – Space

Returns:

MultiPwAff

identity_pw_multi_aff_on_domain(self)

Parameters:

self – Space

Returns:

PwMultiAff

insert_dims

Overloaded function.

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

insert_dims(self, type, pos, n)

Parameters:

• self – Space

• type – dim_type

• pos – unsigned

• n – unsigned

Returns:

Space

Warning

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

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

Upcast from Space to LocalSpace

intersect

Upcast from Space to LocalSpace

is_domain(self, space2)

Parameters:

• self – Space

• space2 – Space

Returns:

bool

Warning

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

is_equal

Overloaded function.

1. is_equal(self, space2: islpy._isl.Space) -> bool

is_equal(self, space2)

Parameters:

• self – Space

• space2 – Space

Returns:

bool

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

Upcast from Space to LocalSpace

is_map(self)

Parameters:

self – Space

Returns:

bool

Warning

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

is_params

Overloaded function.

1. is_params(self) -> bool

is_params(self)

Parameters:

self – Space

Returns:

bool

Warning

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

2. is_params(self) -> bool

Upcast from Space to LocalSpace

is_product(self)

Parameters:

self – Space

Returns:

bool

Warning

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

is_range(self, space2)

Parameters:

• self – Space

• space2 – Space

Returns:

bool

Warning

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

is_set

Overloaded function.

1. is_set(self) -> bool

is_set(self)

Parameters:

self – Space

Returns:

bool

Warning

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

2. is_set(self) -> bool

Upcast from Space to LocalSpace

is_wrapping(self)

Parameters:

self – Space

Returns:

bool

join(self, right)

Parameters:

• self – Space

• right – Space

Returns:

Space

Warning

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

lifting

Upcast from Space to LocalSpace

map_from_domain_and_range(self, range)

Parameters:

• self – Space

• range – Space

Returns:

Space

Warning

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

map_from_set(self)

Parameters:

self – Space

Returns:

Space

match(self, type1, space2, type2)

Parameters:

• self – Space

• type1 – dim_type

• space2 – Space

• type2 – dim_type

Returns:

bool

Warning

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

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

Parameters:

• self – Space

• dst_type – dim_type

• dst_pos – unsigned

• src_type – dim_type

• src_pos – unsigned

• n – unsigned

Returns:

Space

Warning

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

multi_aff(self, list)

Parameters:

• self – Space

• list – AffList

Returns:

MultiAff

multi_aff_on_domain_multi_val(self, mv)

Parameters:

• self – Space

• mv – MultiVal

Returns:

MultiAff

Warning

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

multi_id(self, list)

Parameters:

• self – Space

• list – IdList

Returns:

MultiId

multi_pw_aff(self, list)

Parameters:

• self – Space

• list – PwAffList

Returns:

MultiPwAff

multi_union_pw_aff(self, list)

Parameters:

• self – Space

• list – UnionPwAffList

Returns:

MultiUnionPwAff

multi_val(self, list)

Parameters:

• self – Space

• list – ValList

Returns:

MultiVal

param_aff_on_domain_id(self, id)

Parameters:

• self – Space

• id – Id

Returns:

Aff

Warning

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

params(self)

Parameters:

self – Space

Returns:

Space

params_alloc = <nanobind.nb_func object>

product(self, right)

Parameters:

• self – Space

• right – Space

Returns:

Space

range

Overloaded function.

1. range(self) -> object

range(self)

Parameters:

self – Space

Returns:

Space

2. range(self) -> object

Upcast from Space to LocalSpace

range_curry(self)

Parameters:

self – Space

Returns:

Space

Warning

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

range_factor_domain(self)

Parameters:

self – Space

Returns:

Space

Warning

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

range_factor_range(self)

Parameters:

self – Space

Returns:

Space

Warning

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

range_is_wrapping(self)

Parameters:

self – Space

Returns:

bool

Warning

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

range_map(self)

Parameters:

self – Space

Returns:

Space

Warning

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

range_map_multi_aff(self)

Parameters:

self – Space

Returns:

MultiAff

range_map_pw_multi_aff(self)

Parameters:

self – Space

Returns:

PwMultiAff

range_product(self, right)

Parameters:

• self – Space

• right – Space

Returns:

Space

Warning

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

range_reverse(self)

Parameters:

self – Space

Returns:

Space

range_wrapped_domain(self)

Parameters:

self – Space

Returns:

Space

Warning

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

range_wrapped_range(self)

Parameters:

self – Space

Returns:

Space

Warning

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

read_from_str = <nanobind.nb_func object>

reset_tuple_id(self, type)

Parameters:

• self – Space

• type – dim_type

Returns:

Space

Warning

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

reset_user(self)

Parameters:

self – Space

Returns:

Space

Warning

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

reverse(self)

Parameters:

self – Space

Returns:

Space

set_alloc = <nanobind.nb_func object>

set_dim_id

Overloaded function.

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

set_dim_id(self, type, pos, id)

Parameters:

• self – Space

• type – dim_type

• pos – unsigned

• id – Id

Returns:

Space

Warning

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

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

Upcast from Space to LocalSpace

set_dim_name

Overloaded function.

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

set_dim_name(self, type, pos, name)

Parameters:

• self – Space

• type – dim_type

• pos – unsigned

• name – string

Returns:

Space

Warning

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

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

Upcast from Space to LocalSpace

set_domain_tuple_id(self, id)

Parameters:

• self – Space

• id – Id

Returns:

Space

Warning

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

set_from_params

Overloaded function.

1. set_from_params(self) -> object

set_from_params(self)

Parameters:

self – Space

Returns:

Space

Warning

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

2. set_from_params(self) -> object

Upcast from Space to LocalSpace

set_range_tuple_id(self, id)

Parameters:

• self – Space

• id – Id

Returns:

Space

Warning

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

set_tuple_id

Overloaded function.

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

set_tuple_id(self, type, id)

Parameters:

• self – Space

• type – dim_type

• id – Id

Returns:

Space

Warning

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

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

Upcast from Space to LocalSpace

set_tuple_name(self, type, s)

Parameters:

• self – Space

• type – dim_type

• s – string

Returns:

Space

Warning

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

to_str(self)

Parameters:

self – Space

Returns:

string

Warning

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

tuple_is_equal(self, type1, space2, type2)

Parameters:

• self – Space

• type1 – dim_type

• space2 – Space

• type2 – dim_type

Returns:

bool

Warning

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

uncurry(self)

Parameters:

self – Space

Returns:

Space

unit = <nanobind.nb_func object>

universe_map(self)

Parameters:

self – Space

Returns:

Map

universe_set(self)

Parameters:

self – Space

Returns:

Set

unwrap(self)

Parameters:

self – Space

Returns:

Space

wrap

Overloaded function.

1. wrap(self) -> object

wrap(self)

Parameters:

self – Space

Returns:

Space

2. wrap(self) -> object

Upcast from Space to LocalSpace

wrapped_reverse(self)

Parameters:

self – Space

Returns:

Space

zero_aff_on_domain(self)

Parameters:

self – Space

Returns:

Aff

zero_multi_aff(self)

Parameters:

self – Space

Returns:

MultiAff

zero_multi_pw_aff(self)

Parameters:

self – Space

Returns:

MultiPwAff

zero_multi_union_pw_aff(self)

Parameters:

self – Space

Returns:

MultiUnionPwAff

zero_multi_val(self)

Parameters:

self – Space

Returns:

MultiVal

zip(self)

Parameters:

self – Space

Returns:

Space

Warning

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

Local Space

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

__eq__() __hash__() __ne__() add_dims() copy() dim() domain() drop_dims() dump() find_dim_by_name() flatten_domain() flatten_range() from_domain() get_ctx() get_dim_id() get_dim_name() get_div() get_id_dict()

get_space() get_var_dict() get_var_ids() get_var_names() has_dim_id() has_dim_name() insert_dims() intersect() is_equal() is_params() is_set() lifting() range() set_dim_id() set_dim_name() set_from_params() set_tuple_id() wrap()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_dims(self, type, n)

Parameters:

• self – LocalSpace

• type – dim_type

• n – unsigned

Returns:

LocalSpace

Warning

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

copy(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

dim(self, type)

Parameters:

• self – LocalSpace

• type – dim_type

Returns:

isl_size

Warning

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

domain(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

drop_dims(self, type, first, n)

Parameters:

• self – LocalSpace

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

LocalSpace

Warning

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

dump(self)

Parameters:

self – LocalSpace

Returns:

None

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 – LocalSpace

• type – dim_type

• name – string

Returns:

int

Warning

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

flatten_domain(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

flatten_range(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

from_domain(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

from_space = <nanobind.nb_func object>

get_ctx(self)

Parameters:

self – LocalSpace

Returns:

Context

Warning

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

get_dim_id(self, type, pos)

Parameters:

• self – LocalSpace

• type – dim_type

• pos – unsigned

Returns:

Id

Warning

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

get_dim_name(self, type, pos)

Parameters:

• self – LocalSpace

• type – dim_type

• pos – unsigned

Returns:

string

Warning

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

get_div(self, pos)

Parameters:

• self – LocalSpace

• pos – int

Returns:

Aff

Warning

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

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_space(self)

Parameters:

self – LocalSpace

Returns:

Space

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.

has_dim_id(self, type, pos)

Parameters:

• self – LocalSpace

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

has_dim_name(self, type, pos)

Parameters:

• self – LocalSpace

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

insert_dims(self, type, first, n)

Parameters:

• self – LocalSpace

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

LocalSpace

Warning

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

intersect(self, ls2)

Parameters:

• self – LocalSpace

• ls2 – LocalSpace

Returns:

LocalSpace

Warning

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

is_equal(self, ls2)

Parameters:

• self – LocalSpace

• ls2 – LocalSpace

Returns:

bool

Warning

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

is_params(self)

Parameters:

self – LocalSpace

Returns:

bool

Warning

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

is_set(self)

Parameters:

self – LocalSpace

Returns:

bool

Warning

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

lifting(self)

Parameters:

self – LocalSpace

Returns:

BasicMap

Warning

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

range(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

set_dim_id(self, type, pos, id)

Parameters:

• self – LocalSpace

• type – dim_type

• pos – unsigned

• id – Id

Returns:

LocalSpace

Warning

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

set_dim_name(self, type, pos, s)

Parameters:

• self – LocalSpace

• type – dim_type

• pos – unsigned

• s – string

Returns:

LocalSpace

Warning

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

set_from_params(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

set_tuple_id(self, type, id)

Parameters:

• self – LocalSpace

• type – dim_type

• id – Id

Returns:

LocalSpace

Warning

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

property space

get_space(self) -> object

get_space(self)

Parameters:

self – LocalSpace

Returns:

Space

Warning

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

wrap(self)

Parameters:

self – LocalSpace

Returns:

LocalSpace

Warning

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

Constraints

class islpy.Constraint

__eq__() __hash__() __ne__() cmp_last_non_zero() copy() dim() dump() eq_from_names() get_aff() get_bound() get_coefficient_val() get_coefficients_by_name() get_constant_val() get_ctx() get_dim_name() get_div() get_id_dict() get_local_space()

get_space() get_var_dict() get_var_ids() get_var_names() ineq_from_names() involves_dims() is_div_constraint() is_equal() is_equality() is_lower_bound() is_upper_bound() negate() plain_cmp() set_coefficient_val() set_coefficients() set_coefficients_by_name() set_constant_val() to_list()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

alloc_equality = <nanobind.nb_func object>

alloc_inequality = <nanobind.nb_func object>

cmp_last_non_zero(self, c2)

Parameters:

• self – Constraint

• c2 – Constraint

Returns:

int

Warning

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

copy(self)

Parameters:

self – Constraint

Returns:

Constraint

Warning

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

dim(self, type)

Parameters:

• self – Constraint

• type – dim_type

Returns:

isl_size

Warning

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

dump(self)

Parameters:

self – Constraint

Returns:

None

Warning

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

static eq_from_names(space, coefficients=None)

Create a constraint const + coeff_1*var_1 +… == 0.

Parameters:

• space – Space

• coefficients – a dict or iterable of tuple instances mapping variable names to their coefficients The constant is set to the value of the key ‘1’.

Changed in version 2011.3: Eliminated the separate const parameter.

equality_alloc = <nanobind.nb_func object>

equality_from_aff = <nanobind.nb_func object>

get_aff(self)

Parameters:

self – Constraint

Returns:

Aff

Warning

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

get_bound(self, type, pos)

Parameters:

• self – Constraint

• type – dim_type

• pos – int

Returns:

Aff

Warning

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

get_coefficient_val(self, type, pos)

Parameters:

• self – Constraint

• type – dim_type

• pos – int

Returns:

Val

Warning

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

get_coefficients_by_name(dimtype=None, dim_to_name=None)

Return a dictionary mapping variable names to coefficients.

Parameters:

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

Changed in version 2011.3: New for Aff

get_constant_val(self)

Parameters:

self – Constraint

Returns:

Val

Warning

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

get_ctx(self)

Parameters:

self – Constraint

Returns:

Context

Warning

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

get_dim_name(self, type, pos)

Parameters:

• self – Constraint

• type – dim_type

• pos – unsigned

Returns:

string

Warning

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

get_div(self, pos)

Parameters:

• self – Constraint

• pos – int

Returns:

Aff

Warning

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

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 – Constraint

Returns:

LocalSpace

Warning

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

get_space(self)

Parameters:

self – Constraint

Returns:

Space

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.

static ineq_from_names(space, coefficients=None)

Create a constraint const + coeff_1*var_1 +… >= 0.

Parameters:

• space – Space

• coefficients – a dict or iterable of tuple instances mapping variable names to their coefficients The constant is set to the value of the key ‘1’.

Changed in version 2011.3: Eliminated the separate const parameter.

inequality_alloc = <nanobind.nb_func object>

inequality_from_aff = <nanobind.nb_func object>

involves_dims(self, type, first, n)

Parameters:

• self – Constraint

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

bool

Warning

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

is_div_constraint(self)

Parameters:

self – Constraint

Returns:

bool

Warning

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

is_equal(self, constraint2)

Parameters:

• self – Constraint

• constraint2 – Constraint

Returns:

bool

Warning

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

is_equality(self)

Parameters:

self – Constraint

Returns:

bool

Warning

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

is_lower_bound(self, type, pos)

Parameters:

• self – Constraint

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

is_upper_bound(self, type, pos)

Parameters:

• self – Constraint

• type – dim_type

• pos – unsigned

Returns:

bool

Warning

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

negate(self)

Parameters:

self – Constraint

Returns:

Constraint

Warning

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

plain_cmp(self, c2)

Parameters:

• self – Constraint

• c2 – Constraint

Returns:

int

Warning

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

set_coefficient_val(self, type, pos, v)

Parameters:

• self – Constraint

• type – dim_type

• pos – int

• v – Val

Returns:

Constraint

Warning

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

set_coefficients(dim_tp, args)

Parameters:

• dim_tp – dim_type

• args – list of coefficients, for indices 0..len(args)-1.

Changed in version 2011.3: New for Aff

set_coefficients_by_name(iterable, name_to_dim=None)

Set the coefficients and the constant.

Parameters:

iterable – a dict or iterable of tuple instances mapping variable names to their coefficients. The constant is set to the value of the key ‘1’.

Changed in version 2011.3: New for Aff

set_constant_val(self, v)

Parameters:

• self – Constraint

• v – Val

Returns:

Constraint

Warning

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

property space

get_space(self) -> object

get_space(self)

Parameters:

self – Constraint

Returns:

Space

Warning

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

to_list(self)

Parameters:

self – Constraint

Returns:

ConstraintList

Warning

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

Value

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

__eq__() __hash__() __ne__() abs() abs_eq() add() ceil() cmp_si() copy() div() dump() eq() floor() gcd() gcdext() ge() get_ctx() get_d() get_den_val() get_num_si() gt() inv() is_divisible_by() is_infty() is_int() is_nan() is_neg()

is_neginfty() is_negone() is_nonneg() is_nonpos() is_one() is_pos() is_rat() is_zero() le() lt() max() min() mod() mul() n_abs_num_chunks() ne() neg() pow2() set_si() sgn() sub() to_list() to_python() to_str() trunc() two_exp()

__eq__()

eq(self, v2: object) -> bool

eq(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

__hash__(self) → int

get_hash(self)

Parameters:

self – Val

Returns:

uint32_t

Warning

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

__ne__()

ne(self, v2: object) -> bool

ne(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

to_python()

abs(self)

Parameters:

self – Val

Returns:

Val

abs_eq(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

add(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

ceil(self)

Parameters:

self – Val

Returns:

Val

cmp_si(self, i)

Parameters:

• self – Val

• i – long

Returns:

int

copy(self)

Parameters:

self – Val

Returns:

Val

Warning

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

div(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

dump(self)

Parameters:

self – Val

Returns:

None

Warning

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

eq(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

floor(self)

Parameters:

self – Val

Returns:

Val

gcd(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

gcdext(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

tuple: (Val, x (Val), y (Val))

Warning

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

ge(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

get_ctx(self)

Parameters:

self – Val

Returns:

Context

Warning

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

get_d(self)

Parameters:

self – Val

Returns:

double

Warning

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

get_den_val(self)

Parameters:

self – Val

Returns:

Val

Warning

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

get_num_si(self)

Parameters:

self – Val

Returns:

long

gt(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

infty = <nanobind.nb_func object>

int_from_si = <nanobind.nb_func object>

int_from_ui = <nanobind.nb_func object>

inv(self)

Parameters:

self – Val

Returns:

Val

is_divisible_by(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

is_infty(self)

Parameters:

self – Val

Returns:

bool

is_int(self)

Parameters:

self – Val

Returns:

bool

is_nan(self)

Parameters:

self – Val

Returns:

bool

is_neg(self)

Parameters:

self – Val

Returns:

bool

is_neginfty(self)

Parameters:

self – Val

Returns:

bool

is_negone(self)

Parameters:

self – Val

Returns:

bool

is_nonneg(self)

Parameters:

self – Val

Returns:

bool

is_nonpos(self)

Parameters:

self – Val

Returns:

bool

is_one(self)

Parameters:

self – Val

Returns:

bool

is_pos(self)

Parameters:

self – Val

Returns:

bool

is_rat(self)

Parameters:

self – Val

Returns:

bool

is_zero(self)

Parameters:

self – Val

Returns:

bool

le(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

lt(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

max(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

min(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

mod(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

mul(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

n_abs_num_chunks(self, size)

Parameters:

• self – Val

• size – size_t

Returns:

isl_size

Warning

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

nan = <nanobind.nb_func object>

ne(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

bool

neg(self)

Parameters:

self – Val

Returns:

Val

neginfty = <nanobind.nb_func object>

negone = <nanobind.nb_func object>

one = <nanobind.nb_func object>

pow2(self)

Parameters:

self – Val

Returns:

Val

read_from_str = <nanobind.nb_func object>

set_si(self, i)

Parameters:

• self – Val

• i – long

Returns:

Val

Warning

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

sgn(self)

Parameters:

self – Val

Returns:

int

sub(self, v2)

Parameters:

• self – Val

• v2 – Val

Returns:

Val

to_list(self)

Parameters:

self – Val

Returns:

ValList

to_str(self)

Parameters:

self – Val

Returns:

string

Warning

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

trunc(self)

Parameters:

self – Val

Returns:

Val

two_exp(self)

Parameters:

self – Val

Returns:

Val

Warning

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

zero = <nanobind.nb_func object>

Multi-Value

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

__eq__() __hash__() __len__() __ne__() add() add_dims() add_val() align_params() copy() dim() drop_dims() dump() factor_range() find_dim_by_id() find_dim_by_name() flat_range_product() flatten_range() from_range() get_at() get_ctx() get_dim_id() get_domain_space() get_id_dict() get_list() get_range_tuple_id() get_space() get_tuple_id() get_tuple_name() get_val() get_var_dict() get_var_ids() get_var_names() has_range_tuple_id() has_tuple_id()

insert_dims() involves_dims() involves_nan() is_zero() max() min() mod_multi_val() mod_val() neg() plain_is_equal() product() project_domain_on_params() range_factor_domain() range_factor_range() range_is_wrapping() range_product() range_splice() reset_range_tuple_id() reset_tuple_id() reset_user() scale_down_multi_val() scale_down_val() scale_multi_val() scale_val() set_at() set_dim_id() set_dim_name() set_range_tuple_id() set_tuple_id() set_tuple_name() set_val() splice() sub() to_str()

__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__(self) → int

size(self)

Parameters:

self – MultiVal

Returns:

isl_size

__ne__(value, /)

Return self!=value.

add(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

MultiVal

add_dims(self, type, n)

Parameters:

• self – MultiVal

• type – dim_type

• n – unsigned

Returns:

MultiVal

Warning

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

add_val(self, v)

Parameters:

• self – MultiVal

• v – Val

Returns:

MultiVal

Warning

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

align_params(self, model)

Parameters:

• self – MultiVal

• model – Space

Returns:

MultiVal

Warning

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

copy(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

dim(self, type)

Parameters:

• self – MultiVal

• type – dim_type

Returns:

isl_size

Warning

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

drop_dims(self, type, first, n)

Parameters:

• self – MultiVal

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

MultiVal

Warning

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

dump(self)

Parameters:

self – MultiVal

Returns:

None

Warning

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

factor_range(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

find_dim_by_id(self, type, id)

Parameters:

• self – MultiVal

• type – dim_type

• id – Id

Returns:

int

Warning

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

find_dim_by_name(self, type, name)

Parameters:

• self – MultiVal

• type – dim_type

• name – string

Returns:

int

Warning

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

flat_range_product(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

MultiVal

flatten_range(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

from_range(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

from_val_list = <nanobind.nb_func object>

get_at(self, pos)

Parameters:

• self – MultiVal

• pos – int

Returns:

Val

get_ctx(self)

Parameters:

self – MultiVal

Returns:

Context

Warning

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

get_dim_id(self, type, pos)

Parameters:

• self – MultiVal

• type – dim_type

• pos – unsigned

Returns:

Id

Warning

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

get_domain_space(self)

Parameters:

self – MultiVal

Returns:

Space

Warning

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

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_list(self)

Parameters:

self – MultiVal

Returns:

ValList

get_range_tuple_id(self)

Parameters:

self – MultiVal

Returns:

Id

get_space(self)

Parameters:

self – MultiVal

Returns:

Space

get_tuple_id(self, type)

Parameters:

• self – MultiVal

• type – dim_type

Returns:

Id

Warning

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

get_tuple_name(self, type)

Parameters:

• self – MultiVal

• type – dim_type

Returns:

string

Warning

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

get_val(self, pos)

Parameters:

• self – MultiVal

• pos – int

Returns:

Val

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.

has_range_tuple_id(self)

Parameters:

self – MultiVal

Returns:

bool

has_tuple_id(self, type)

Parameters:

• self – MultiVal

• type – dim_type

Returns:

bool

Warning

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

insert_dims(self, type, first, n)

Parameters:

• self – MultiVal

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

MultiVal

Warning

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

involves_dims(self, type, first, n)

Parameters:

• self – MultiVal

• type – dim_type

• first – unsigned

• n – unsigned

Returns:

bool

Warning

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

involves_nan(self)

Parameters:

self – MultiVal

Returns:

bool

is_zero(self)

Parameters:

self – MultiVal

Returns:

bool

Warning

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

max(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

MultiVal

min(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

MultiVal

mod_multi_val(self, mv)

Parameters:

• self – MultiVal

• mv – MultiVal

Returns:

MultiVal

Warning

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

mod_val(self, v)

Parameters:

• self – MultiVal

• v – Val

Returns:

MultiVal

Warning

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

neg(self)

Parameters:

self – MultiVal

Returns:

MultiVal

plain_is_equal(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

bool

product(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

MultiVal

project_domain_on_params(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

range_factor_domain(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

range_factor_range(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

range_is_wrapping(self)

Parameters:

self – MultiVal

Returns:

bool

Warning

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

range_product(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

MultiVal

range_splice(self, pos, multi2)

Parameters:

• self – MultiVal

• pos – unsigned

• multi2 – MultiVal

Returns:

MultiVal

Warning

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

read_from_str = <nanobind.nb_func object>

reset_range_tuple_id(self)

Parameters:

self – MultiVal

Returns:

MultiVal

reset_tuple_id(self, type)

Parameters:

• self – MultiVal

• type – dim_type

Returns:

MultiVal

Warning

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

reset_user(self)

Parameters:

self – MultiVal

Returns:

MultiVal

Warning

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

scale_down_multi_val(self, mv)

Parameters:

• self – MultiVal

• mv – MultiVal

Returns:

MultiVal

Warning

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

scale_down_val(self, v)

Parameters:

• self – MultiVal

• v – Val

Returns:

MultiVal

Warning

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

scale_multi_val(self, mv)

Parameters:

• self – MultiVal

• mv – MultiVal

Returns:

MultiVal

Warning

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

scale_val(self, v)

Parameters:

• self – MultiVal

• v – Val

Returns:

MultiVal

Warning

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

set_at(self, pos, el)

Parameters:

• self – MultiVal

• pos – int

• el – Val

Returns:

MultiVal

set_dim_id(self, type, pos, id)

Parameters:

• self – MultiVal

• type – dim_type

• pos – unsigned

• id – Id

Returns:

MultiVal

Warning

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

set_dim_name(self, type, pos, s)

Parameters:

• self – MultiVal

• type – dim_type

• pos – unsigned

• s – string

Returns:

MultiVal

Warning

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

set_range_tuple_id(self, id)

Parameters:

• self – MultiVal

• id – Id

Returns:

MultiVal

Warning

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

set_tuple_id(self, type, id)

Parameters:

• self – MultiVal

• type – dim_type

• id – Id

Returns:

MultiVal

Warning

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

set_tuple_name(self, type, s)

Parameters:

• self – MultiVal

• type – dim_type

• s – string

Returns:

MultiVal

Warning

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

set_val(self, pos, el)

Parameters:

• self – MultiVal

• pos – int

• el – Val

Returns:

MultiVal

Warning

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

property space

get_space(self) -> object

get_space(self)

Parameters:

self – MultiVal

Returns:

Space

splice(self, in_pos, out_pos, multi2)

Parameters:

• self – MultiVal

• in_pos – unsigned

• out_pos – unsigned

• multi2 – MultiVal

Returns:

MultiVal

Warning

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

sub(self, multi2)

Parameters:

• self – MultiVal

• multi2 – MultiVal

Returns:

MultiVal

to_str(self)

Parameters:

self – MultiVal

Returns:

string

Warning

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

zero = <nanobind.nb_func object>

Vector

class islpy.Vec

__eq__() __hash__() __len__() __ne__() add() add_els() ceil() clr() cmp_element() concat() copy() drop_els() dump() extend()

get_ctx() get_element_val() insert_els() insert_zero_els() is_equal() mat_product() move_els() neg() normalize() set_element_val() set_val() sort() zero_extend()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__len__(self) → int

size(self)

Parameters:

self – Vec

Returns:

isl_size

Warning

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

__ne__(other)

Return self!=value.

add(self, vec2)

Parameters:

• self – Vec

• vec2 – Vec

Returns:

Vec

Warning

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

add_els(self, n)

Parameters:

• self – Vec

• n – unsigned

Returns:

Vec

Warning

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

alloc = <nanobind.nb_func object>

ceil(self)

Parameters:

self – Vec

Returns:

Vec

Warning

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

clr(self)

Parameters:

self – Vec

Returns:

Vec

Warning

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

cmp_element(self, vec2, pos)

Parameters:

• self – Vec

• vec2 – Vec

• pos – int

Returns:

int

Warning

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

concat(self, vec2)

Parameters:

• self – Vec

• vec2 – Vec

Returns:

Vec

Warning

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

copy(self)

Parameters:

self – Vec

Returns:

Vec

Warning

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

drop_els(self, pos, n)

Parameters:

• self – Vec

• pos – unsigned

• n – unsigned

Returns:

Vec

Warning

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

dump(self)

Parameters:

self – Vec

Returns:

None

Warning

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

extend(self, size)

Parameters:

• self – Vec

• size – unsigned

Returns:

Vec

Warning

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

get_ctx(self)

Parameters:

self – Vec

Returns:

Context

Warning

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

get_element_val(self, pos)

Parameters:

• self – Vec

• pos – int

Returns:

Val

Warning

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

insert_els(self, pos, n)

Parameters:

• self – Vec

• pos – unsigned

• n – unsigned

Returns:

Vec

Warning

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

insert_zero_els(self, pos, n)

Parameters:

• self – Vec

• pos – unsigned

• n – unsigned

Returns:

Vec

Warning

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

is_equal(self, vec2)

Parameters:

• self – Vec

• vec2 – Vec

Returns:

bool

Warning

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

mat_product(self, mat)

Parameters:

• self – Vec

• mat – Mat

Returns:

Vec

Warning

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

move_els(self, dst_col, src_col, n)

Parameters:

• self – Vec

• dst_col – unsigned

• src_col – unsigned

• n – unsigned

Returns:

Vec

Warning

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

neg(self)

Parameters:

self – Vec

Returns:

Vec

Warning

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

normalize(self)

Parameters:

self – Vec

Returns:

Vec

Warning

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

set_element_val(self, pos, v)

Parameters:

• self – Vec

• pos – int

• v – Val

Returns:

Vec

Warning

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

set_val(self, v)

Parameters:

• self – Vec

• v – Val

Returns:

Vec

Warning

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

sort(self)

Parameters:

self – Vec

Returns:

Vec

Warning

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

zero = <nanobind.nb_func object>

zero_extend(self, size)

Parameters:

• self – Vec

• size – unsigned

Returns:

Vec

Warning

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

Matrix

class islpy.Mat

__eq__() __hash__() __ne__() add_rows() add_zero_cols() add_zero_rows() aff_direct_sum() col_add() cols() concat() copy() diagonal() drop_cols() drop_rows() dump() extend() get_ctx() get_element_val() has_linearly_independent_rows() initial_non_zero_cols() insert_cols() insert_rows() insert_zero_cols()

insert_zero_rows() inverse_product() is_equal() left_hermite() lin_to_aff() move_cols() normalize() normalize_row() product() rank() right_inverse() right_kernel() row_basis() row_basis_extension() rows() set_element_val() swap_cols() swap_rows() transpose() unimodular_complete() vec_concat() vec_inverse_product() vec_product()

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

__ne__(other)

Return self!=value.

add_rows(self, n)

Parameters:

• self – Mat

• n – unsigned

Returns:

Mat

Warning

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

add_zero_cols(self, n)

Parameters:

• self – Mat

• n – unsigned

Returns:

Mat

Warning

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

add_zero_rows(self, n)

Parameters:

• self – Mat

• n – unsigned

Returns:

Mat

Warning

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

aff_direct_sum(self, right)

Parameters:

• self – Mat

• right – Mat

Returns:

Mat

Warning

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

alloc = <nanobind.nb_func object>

col_add(self, dst_col, src_col)

Parameters:

• self – Mat

• dst_col – int

• src_col – int

Returns:

None

Warning

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

cols(self)

Parameters:

self – Mat

Returns:

isl_size

Warning

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

concat(self, bot)

Parameters:

• self – Mat

• bot – Mat

Returns:

Mat

Warning

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

copy(self)

Parameters:

self – Mat

Returns:

Mat

Warning

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

diagonal(self, mat2)

Parameters:

• self – Mat

• mat2 – Mat

Returns:

Mat

Warning

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

drop_cols(self, col, n)

Parameters:

• self – Mat

• col – unsigned

• n – unsigned

Returns:

Mat

Warning

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

drop_rows(self, row, n)

Parameters:

• self – Mat

• row – unsigned

• n – unsigned

Returns:

Mat

Warning

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

dump(self)

Parameters:

self – Mat

Returns:

None

Warning

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

extend(self, n_row, n_col)

Parameters:

• self – Mat

• n_row – unsigned

• n_col – unsigned

Returns:

Mat

Warning

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

from_row_vec = <nanobind.nb_func object>

get_ctx(self)

Parameters:

self – Mat

Returns:

Context

Warning

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

get_element_val(self, row, col)

Parameters:

• self – Mat

• row – int

• col – int

Returns:

Val

Warning

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

has_linearly_independent_rows(self, mat2)

Parameters:

• self – Mat

• mat2 – Mat

Returns:

bool

Warning

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

identity = <nanobind.nb_func object>

initial_non_zero_cols(self)

Parameters:

self – Mat

Returns:

int

Warning

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

insert_cols(self, col, n)

Parameters:

• self – Mat

• col – unsigned

• n – unsigned

Returns:

Mat

Warning

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

insert_rows(self, row, n)

Parameters:

• self – Mat

• row – unsigned

• n – unsigned

Returns:

Mat

Warning

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

insert_zero_cols(self, first, n)

Parameters:

• self – Mat

• first – unsigned

• n – unsigned

Returns:

Mat

Warning

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

insert_zero_rows(self, row, n)

Parameters:

• self – Mat

• row – unsigned

• n – unsigned

Returns:

Mat

Warning

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

inverse_product(self, right)

Parameters:

• self – Mat

• right – Mat

Returns:

Mat

Warning

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

is_equal(self, mat2)

Parameters:

• self – Mat

• mat2 – Mat

Returns:

bool

Warning

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

left_hermite(self, neg)

Parameters:

• self – Mat

• neg – int

Returns:

tuple: (Mat, U (Mat), Q (Mat))

Warning

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

lin_to_aff(self)

Parameters:

self – Mat

Returns:

Mat

Warning

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

move_cols(self, dst_col, src_col, n)

Parameters:

• self – Mat

• dst_col – unsigned

• src_col – unsigned

• n – unsigned

Returns:

Mat

Warning

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

normalize(self)

Parameters:

self – Mat

Returns:

Mat

Warning

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

normalize_row(self, row)

Parameters:

• self – Mat

• row – int

Returns:

Mat

Warning

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

product(self, right)

Parameters:

• self – Mat

• right – Mat

Returns:

Mat

Warning

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

rank(self)

Parameters:

self – Mat

Returns:

isl_size

Warning

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

right_inverse(self)

Parameters:

self – Mat

Returns:

Mat

Warning

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

right_kernel(self)

Parameters:

self – Mat

Returns:

Mat

Warning

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

row_basis(self)

Parameters:

self – Mat

Returns:

Mat

Warning

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

row_basis_extension(self, mat2)

Parameters:

• self – Mat

• mat2 – Mat

Returns:

Mat

Warning

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

rows(self)

Parameters:

self – Mat

Returns:

isl_size

Warning

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

set_element_val(self, row, col, v)

Parameters:

• self – Mat

• row – int

• col – int

• v – Val

Returns:

Mat

Warning

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

swap_cols(self, i, j)

Parameters:

• self – Mat

• i – unsigned

• j – unsigned

Returns:

Mat

Warning

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

swap_rows(self, i, j)

Parameters:

• self – Mat

• i – unsigned

• j – unsigned

Returns:

Mat

Warning

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

transpose(self)

Parameters:

self – Mat

Returns:

Mat

Warning

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

unimodular_complete(self, row)

Parameters:

• self – Mat

• row – int

Returns:

Mat

Warning

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

vec_concat(self, bot)

Parameters:

• self – Mat

• bot – Vec

Returns:

Mat

Warning

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

vec_inverse_product(self, vec)

Parameters:

• self – Mat

• vec – Vec

Returns:

Vec

Warning

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

vec_product(self, vec)

Parameters:

• self – Mat

• vec – Vec

Returns:

Vec

Warning

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

Canonical Names for Internal Module

class islpy._isl.Context

See islpy.Context.

class islpy._isl.Id

See islpy.Id.

class islpy._isl.MultiId

See islpy.MultiId.

class islpy._isl.Space

See islpy.Space.

class islpy._isl.LocalSpace

See islpy.LocalSpace.

class islpy._isl.Constraint

See islpy.Constraint.

class islpy._isl.Val

See islpy.Val.

class islpy._isl.MultiVal

See islpy.MultiVal.

class islpy._isl.Vec

See islpy.Vec.

class islpy._isl.Mat

See islpy.Mat.

class islpy._isl.BasicSet

See islpy.BasicSet.

class islpy._isl.BasicMap

See islpy.BasicMap.

class islpy._isl.Set

See islpy.Set.

class islpy._isl.Map

See islpy.Map.

class islpy._isl.UnionSet

See islpy.UnionSet.

class islpy._isl.UnionMap

See islpy.UnionMap.

class islpy._isl.Point

See islpy.Point.

class islpy._isl.Vertex

See islpy.Vertex.

class islpy._isl.Vertices

See islpy.Vertices.

class islpy._isl.StrideInfo

See islpy.StrideInfo.

class islpy._isl.Cell

See islpy.Cell.

class islpy._isl.FixedBox

See islpy.FixedBox.

class islpy._isl.Aff

See islpy.Aff.

class islpy._isl.Div

See islpy.Aff (not a typo!).

class islpy._isl.PwAff

See islpy.PwAff.

class islpy._isl.UnionPwAff

See islpy.UnionPwAff.

class islpy._isl.MultiUnionPwAff

See islpy.MultiUnionPwAff.

class islpy._isl.MultiAff

See islpy.MultiAff.

class islpy._isl.PwMultiAff

See islpy.PwMultiAff.

class islpy._isl.MultiPwAff

See islpy.MultiPwAff.

class islpy._isl.UnionPwMultiAff

See islpy.UnionPwMultiAff.

class islpy._isl.Term

See islpy.Term.

class islpy._isl.QPolynomial

See islpy.QPolynomial.

class islpy._isl.PwQPolynomial

See islpy.PwQPolynomial.

class islpy._isl.UnionPwQPolynomial

See islpy.UnionPwQPolynomial.

class islpy._isl.QPolynomialFold

See islpy.QPolynomialFold.

class islpy._isl.PwQPolynomialFold

See islpy.PwQPolynomialFold.

class islpy._isl.UnionPwQPolynomialFold

See islpy.UnionPwQPolynomialFold.