Reference: Basic Building Blocks

Context

class islpy.Context
__eq__(other: object)

Return self==value.

__hash__()

Return hash(self).

__ne__(other: object) → bool

Return self!=value.

abort(self) → None

Warning

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

aborted(self) → int

Warning

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

get_ast_always_print_block(self) → int

Warning

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

get_ast_build_allow_else(self) → int

Warning

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

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

Warning

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

get_ast_build_group_coscheduled(self) → int

Warning

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

get_ast_build_prefer_pdiv(self) → int

Warning

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

get_ast_build_scale_strides(self) → int

Warning

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

get_ast_build_separation_bounds(self) → int

Warning

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

get_ast_iterator_type(self) → str

Warning

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

get_ast_print_macro_once(self) → int

Warning

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

get_ast_print_outermost_block(self) → int

Warning

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

get_bound(self) → int

Warning

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

get_coalesce_bounded_wrapping(self) → int

Warning

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

get_coalesce_preserve_locals(self) → int

Warning

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

get_gbr_only_first(self) → int

Warning

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

get_max_operations(self) → int

Warning

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

get_on_error(self) → int

Warning

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

get_pip_symmetry(self) → int

Warning

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

get_schedule_algorithm(self) → int

Warning

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

get_schedule_carry_self_first(self) → int

Warning

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

get_schedule_max_coefficient(self) → int

Warning

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

get_schedule_max_constant_term(self) → int

Warning

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

get_schedule_maximize_band_depth(self) → int

Warning

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

get_schedule_maximize_coincidence(self) → int

Warning

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

get_schedule_outer_coincidence(self) → int

Warning

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

get_schedule_separate_components(self) → int

Warning

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

get_schedule_serialize_sccs(self) → int

Warning

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

get_schedule_split_scaled(self) → int

Warning

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

get_schedule_treat_coalescing(self) → int

Warning

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

get_schedule_whole_component(self) → int

Warning

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

get_tile_scale_tile_loops(self) → int

Warning

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

get_tile_shift_point_loops(self) → int

Warning

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

reset_operations(self) → None

Warning

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

resume(self) → 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: int) → None

Warning

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

set_ast_build_allow_else(self, val: int) → None

Warning

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

set_ast_build_allow_or(self, val: int) → None

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: int) → None

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: int) → None

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: int) → None

Warning

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

set_ast_build_group_coscheduled(self, val: int) → None

Warning

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

set_ast_build_prefer_pdiv(self, val: int) → None

Warning

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

set_ast_build_scale_strides(self, val: int) → None

Warning

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

set_ast_build_separation_bounds(self, val: int) → None

Warning

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

set_ast_iterator_type(self, val: str) → None

Warning

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

set_ast_print_macro_once(self, val: int) → None

Warning

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

set_ast_print_outermost_block(self, val: int) → None

Warning

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

set_bound(self, val: int) → None

Warning

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

set_coalesce_bounded_wrapping(self, val: int) → None

Warning

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

set_coalesce_preserve_locals(self, val: int) → None

Warning

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

set_gbr_only_first(self, val: int) → None

Warning

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

set_max_operations(self, max_operations: int) → None

Warning

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

set_on_error(self, val: int) → None

Warning

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

set_pip_symmetry(self, val: int) → None

Warning

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

set_schedule_algorithm(self, val: int) → None

Warning

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

set_schedule_carry_self_first(self, val: int) → None

Warning

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

set_schedule_max_coefficient(self, val: int) → None

Warning

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

set_schedule_max_constant_term(self, val: int) → None

Warning

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

set_schedule_maximize_band_depth(self, val: int) → None

Warning

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

set_schedule_maximize_coincidence(self, val: int) → None

Warning

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

set_schedule_outer_coincidence(self, val: int) → None

Warning

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

set_schedule_separate_components(self, val: int) → None

Warning

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

set_schedule_serialize_sccs(self, val: int) → None

Warning

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

set_schedule_split_scaled(self, val: int) → None

Warning

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

set_schedule_treat_coalescing(self, val: int) → None

Warning

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

set_schedule_whole_component(self, val: int) → None

Warning

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

set_tile_scale_tile_loops(self, val: int) → None

Warning

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

set_tile_shift_point_loops(self, val: int) → None

Warning

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

Id

class islpy.Id(*args, **kwargs)
__eq__(self, other: islpy._isl.Id) → bool

__eq__(self, other)

Parameters:

  • self – Id

  • other – Id

Returns:

bool

__hash__(self) → int

__hash__(self) -> int

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) → None

Warning

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

get_ctx(self) → Context

Warning

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

get_name(self) → str
get_user(self) → object

Warning

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

property name

(self) -> object

read_from_str = <nanobind.nb_func object>
to_list(self) → IdList
to_str(self) → str

Warning

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

property user

(self) -> object

class islpy.MultiId(*args, **kwargs)
__eq__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__(self) → int

__len__(self) -> int

__ne__(value, /)

Return self!=value.

align_params(self, model: Space) → MultiId

Warning

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

copy(self) → MultiId

Warning

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

dump(self) → None

Warning

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

factor_range(self) → MultiId

Warning

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

flat_range_product(self, multi2: MultiId) → MultiId
flatten_range(self) → 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) → MultiId

Warning

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

get_at(self, pos: int) → Id
get_ctx(self) → Context

Warning

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

get_domain_space(self) → Space

Warning

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

get_id(self, pos: int) → Id

Warning

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

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

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

Parameters:

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

get_list(self) → IdList
get_space(self) → Space
get_var_dict(dimtype: dim_type | None = None) → Mapping[str, tuple[dim_type, int]]

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

Parameters:

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

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

Return a list of Id instances for dim_type dimtype.

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

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

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

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

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

plain_is_equal(self, multi2: MultiId) → bool
range_factor_domain(self) → MultiId

Warning

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

range_factor_range(self) → MultiId

Warning

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

range_is_wrapping(self) → bool

Warning

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

range_product(self, multi2: MultiId) → MultiId
range_splice(self, pos: int, multi2: MultiId) → 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) → MultiId

Warning

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

set_at(self, pos: int, el: Id) → MultiId
set_id(self, pos: int, el: Id) → MultiId

Warning

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

property space
to_str(self) → str

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

Return self==value.

__hash__()

Return hash(self).

__ne__(other: object) → bool

Return self!=value.

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

Warning

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

add_named_tuple_id_ui(self, tuple_id: Id, dim: int) → Space

Warning

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

add_param_id(self, id: Id) → Space

Warning

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

add_unnamed_tuple_ui(self, dim: int) → Space

Warning

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

align_params(self, space2: Space) → 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) → bool

Warning

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

can_range_curry(self) → bool

Warning

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

can_uncurry(self) → bool

Warning

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

can_zip(self) → bool

Warning

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

copy(self) → Space

Warning

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

static create_from_names(ctx: Context, set: Sequence[str] | None = None, in_: Sequence[str] | None = None, out: Sequence[str] | None = None, params: Sequence[str] = ()) → Space

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) → Space
dim(self, type: dim_type) → int

Warning

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

domain(self) → Space
domain_factor_domain(self) → Space

Warning

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

domain_factor_range(self) → Space

Warning

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

domain_is_wrapping(self) → bool

Warning

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

domain_map(self) → Space

Warning

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

domain_map_multi_aff(self) → MultiAff
domain_map_pw_multi_aff(self) → PwMultiAff
domain_product(self, right: Space) → Space

Warning

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

domain_reverse(self) → Space
domain_wrapped_domain(self) → Space

Warning

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

domain_wrapped_range(self) → Space

Warning

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

drop_all_params(self) → Space
drop_dims(self, type: dim_type, first: int, num: int) → Space

Warning

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

drop_inputs(self, first: int, n: int) → Space

Warning

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

drop_outputs(self, first: int, n: int) → Space

Warning

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

dump(self) → None

Warning

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

extend(self, nparam: int, n_in: int, n_out: int) → Space

Warning

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

factor_domain(self) → Space

Warning

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

factor_range(self) → Space

Warning

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

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

Warning

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

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

Warning

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

flatten_domain(self) → Space
flatten_range(self) → Space
from_domain(self) → Space

Warning

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

from_range(self) → Space

Warning

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

get_ctx(self) → Context

Warning

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

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

Warning

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

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

Warning

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

get_div(self, pos: int) → Aff

Warning

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

Downcast from Space to LocalSpace.

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

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

Warning

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

Downcast from Space to LocalSpace.

get_tuple_id(self, type: dim_type) → Id

Warning

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

get_tuple_name(self, type: dim_type) → str

Warning

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

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

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

Parameters:

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

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

Warning

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

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

Warning

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

has_domain_tuple_id(self) → bool
has_equal_params(self, space2: Space) → bool

Warning

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

has_equal_tuples(self, space2: Space) → bool

Warning

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

has_range_tuple_id(self) → bool
has_tuple_id(self, type: dim_type) → bool

Warning

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

has_tuple_name(self, type: dim_type) → bool

Warning

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

identity_multi_aff_on_domain(self) → MultiAff
identity_multi_pw_aff_on_domain(self) → MultiPwAff
identity_pw_multi_aff_on_domain(self) → PwMultiAff
insert_dims(self, type: dim_type, pos: int, n: int) → Space

Warning

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

intersect(self, ls2: LocalSpace | Space) → LocalSpace

Warning

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

Downcast from Space to LocalSpace.

is_domain(self, space2: Space) → 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: Space) -> bool

is_equal(self, space2: Space) -> bool

  1. is_equal(self, ls2: LocalSpace | Space) -> bool

is_equal(self, ls2: LocalSpace | Space) -> bool

Warning

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

Downcast from Space to LocalSpace.

is_map(self) → bool

Warning

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

is_params(self) → bool

Warning

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

is_product(self) → bool

Warning

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

is_range(self, space2: Space) → bool

Warning

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

is_set(self) → bool

Warning

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

is_wrapping(self) → bool
join(self, right: Space) → Space

Warning

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

lifting(self) → BasicMap

Warning

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

Downcast from Space to LocalSpace.

map_from_domain_and_range(self, range: Space) → Space

Warning

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

map_from_set(self) → Space
match(self, type1: dim_type, space2: Space, type2: dim_type) → bool

Warning

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

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

Warning

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

multi_aff(self, list: AffList) → MultiAff
multi_aff_on_domain_multi_val(self, mv: MultiVal) → MultiAff

Warning

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

multi_id(self, list: IdList) → MultiId
multi_pw_aff(self, list: PwAffList) → MultiPwAff
multi_union_pw_aff(self, list: UnionPwAffList) → MultiUnionPwAff
multi_val(self, list: ValList) → MultiVal
param_aff_on_domain_id(self, id: Id) → Aff

Warning

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

params(self) → Space
params_alloc = <nanobind.nb_func object>
product(self, right: Space) → Space
range(self) → Space
range_curry(self) → Space

Warning

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

range_factor_domain(self) → Space

Warning

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

range_factor_range(self) → Space

Warning

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

range_is_wrapping(self) → bool

Warning

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

range_map(self) → Space

Warning

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

range_map_multi_aff(self) → MultiAff
range_map_pw_multi_aff(self) → PwMultiAff
range_product(self, right: Space) → Space

Warning

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

range_reverse(self) → Space
range_wrapped_domain(self) → Space

Warning

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

range_wrapped_range(self) → 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: dim_type) → Space

Warning

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

reset_user(self) → Space

Warning

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

reverse(self) → Space
set_alloc = <nanobind.nb_func object>
set_dim_id(self, type: dim_type, pos: int, id: Id) → Space

Warning

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

set_dim_name(self, type: dim_type, pos: int, name: str) → Space

Warning

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

set_domain_tuple_id(self, id: Id) → Space

Warning

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

set_from_params(self) → Space

Warning

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

set_range_tuple_id(self, id: Id) → Space

Warning

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

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

Warning

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

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

Warning

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

to_local_space
to_str(self) → str

Warning

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

tuple_is_equal(self, type1: dim_type, space2: Space, type2: dim_type) → bool

Warning

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

uncurry(self) → Space
unit = <nanobind.nb_func object>
universe_map(self) → Map
universe_set(self) → Set
unwrap(self) → Space
wrap(self) → Space
wrapped_reverse(self) → Space
zero_aff_on_domain(self) → Aff
zero_multi_aff(self) → MultiAff
zero_multi_pw_aff(self) → MultiPwAff
zero_multi_union_pw_aff(self) → MultiUnionPwAff
zero_multi_val(self) → MultiVal
zip(self) → 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__(other: object) → bool

Return self==value.

__hash__()

Return hash(self).

__ne__(other: object) → bool

Return self!=value.

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

Warning

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

copy(self) → LocalSpace

Warning

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

dim(self, type: dim_type) → int

Warning

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

domain(self) → LocalSpace

Warning

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

drop_dims(self, type: dim_type, first: int, n: int) → LocalSpace

Warning

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

dump(self) → None

Warning

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

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

Warning

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

flatten_domain(self) → LocalSpace

Warning

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

flatten_range(self) → LocalSpace

Warning

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

from_domain(self) → 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) → Context

Warning

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

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

Warning

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

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

Warning

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

get_div(self, pos: int) → Aff

Warning

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

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

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

Parameters:

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

get_space(self) → Space

Warning

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

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

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

Parameters:

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

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

Return a list of Id instances for dim_type dimtype.

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

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

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

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

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

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

Warning

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

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

Warning

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

insert_dims(self, type: dim_type, first: int, n: int) → LocalSpace

Warning

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

intersect(self, ls2: LocalSpace | Space) → LocalSpace

Warning

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

is_equal(self, ls2: LocalSpace | Space) → bool

Warning

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

is_params(self) → bool

Warning

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

is_set(self) → bool

Warning

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

lifting(self) → BasicMap

Warning

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

range(self) → LocalSpace

Warning

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

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

Warning

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

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

Warning

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

set_from_params(self) → LocalSpace

Warning

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

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

Warning

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

property space
wrap(self) → LocalSpace

Warning

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

Constraints

class islpy.Constraint
__eq__(other: object) → bool

Return self==value.

__hash__()

Return hash(self).

__ne__(other: object) → bool

Return self!=value.

alloc_equality = <nanobind.nb_func object>
alloc_inequality = <nanobind.nb_func object>
cmp_last_non_zero(self, c2: Constraint) → int

Warning

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

copy(self) → Constraint

Warning

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

dim(self, type: dim_type) → int

Warning

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

dump(self) → None

Warning

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

static eq_from_names(space: Space, coefficients: Mapping[str | Literal[1], Val | int] | None = None) → Constraint

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) → Aff

Warning

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

get_bound(self, type: dim_type, pos: int) → Aff

Warning

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

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

Warning

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

get_coefficients_by_name(dimtype: dim_type | None = None, dim_to_name: Mapping[tuple[dim_type, int], str] | None = None) → dict[str | Literal[1], Val]

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) → Val

Warning

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

get_ctx(self) → Context

Warning

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

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

Warning

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

get_div(self, pos: int) → Aff

Warning

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

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

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

Parameters:

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

get_local_space(self) → LocalSpace

Warning

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

get_space(self) → Space

Warning

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

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

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

Parameters:

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

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

Return a list of Id instances for dim_type dimtype.

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

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

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

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

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

static ineq_from_names(space: Space, coefficients: Mapping[str | Literal[1], Val | int] | None = None) → Constraint

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: dim_type, first: int, n: int) → bool

Warning

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

is_div_constraint(self) → bool

Warning

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

is_equal(self, constraint2: Constraint) → bool

Warning

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

is_equality(self) → bool

Warning

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

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

Warning

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

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

Warning

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

negate(self) → Constraint

Warning

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

plain_cmp(self, c2: Constraint) → int

Warning

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

set_coefficient_val(self, type: dim_type, pos: int, v: Val | int) → Constraint

Warning

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

set_coefficients(dim_tp: dim_type, args: Sequence[Val | int]) → AffOrConstraintT
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: Iterable[tuple[str | Literal[1], Val | int]] | Mapping[str | Literal[1], Val | int], name_to_dim: Mapping[str, tuple[dim_type, int]] | None = None) → AffOrConstraintT

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: Val | int) → Constraint

Warning

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

property space
to_list(self) → 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__()

eq(self, v2: Val | int) -> bool

eq(self, v2: Val | int) -> bool

__hash__(self) → int

__hash__(self) -> int

Warning

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

__ne__()

ne(self, v2: Val | int) -> bool

ne(self, v2: Val | int) -> bool

abs(self) → Val
abs_eq(self, v2: Val | int) → bool
add(self, v2: Val | int) → Val
ceil(self) → Val
cmp_si(self, i: int) → int
copy(self) → Val

Warning

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

div(self, v2: Val | int) → Val
dump(self) → None

Warning

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

eq(self, v2: Val | int) → bool
floor(self) → Val
gcd(self, v2: Val | int) → Val
gcdext(self, v2: Val | int) → tuple[Val, Val, Val]

Warning

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

ge(self, v2: Val | int) → bool
get_ctx(self) → Context

Warning

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

get_d(self) → int

Warning

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

get_den_val(self) → Val

Warning

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

get_num_si(self) → int
gt(self, v2: Val | int) → bool
infty = <nanobind.nb_func object>
int_from_si = <nanobind.nb_func object>
int_from_ui = <nanobind.nb_func object>
inv(self) → Val
is_divisible_by(self, v2: Val | int) → bool
is_infty(self) → bool
is_int(self) → bool
is_nan(self) → bool
is_neg(self) → bool
is_neginfty(self) → bool
is_negone(self) → bool
is_nonneg(self) → bool
is_nonpos(self) → bool
is_one(self) → bool
is_pos(self) → bool
is_rat(self) → bool
is_zero(self) → bool
le(self, v2: Val | int) → bool
lt(self, v2: Val | int) → bool
max(self, v2: Val | int) → Val
min(self, v2: Val | int) → Val
mod(self, v2: Val | int) → Val
mul(self, v2: Val | int) → Val
n_abs_num_chunks(self, size: int) → int

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: Val | int) → bool
neg(self) → Val
neginfty = <nanobind.nb_func object>
negone = <nanobind.nb_func object>
one = <nanobind.nb_func object>
pow2(self) → Val
read_from_str = <nanobind.nb_func object>
set_si(self, i: int) → Val

Warning

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

sgn(self) → int
sub(self, v2: Val | int) → Val
to_list(self) → ValList
to_python() → int
to_str(self) → str

Warning

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

trunc(self) → Val
two_exp(self) → 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__(value, /)

Return self==value.

__hash__()

Return hash(self).

__len__(self) → int

__len__(self) -> int

__ne__(value, /)

Return self!=value.

add(self, multi2: MultiVal) → MultiVal
add_dims(self, type: dim_type, n: int) → MultiVal

Warning

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

add_val(self, v: Val | int) → MultiVal

Warning

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

align_params(self, model: Space) → MultiVal

Warning

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

copy(self) → MultiVal

Warning

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

dim(self, type: dim_type) → int

Warning

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

drop_dims(self, type: dim_type, first: int, n: int) → MultiVal

Warning

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

dump(self) → None

Warning

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

factor_range(self) → MultiVal

Warning

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

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

Warning

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

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

Warning

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

flat_range_product(self, multi2: MultiVal) → MultiVal
flatten_range(self) → MultiVal

Warning

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

from_range(self) → 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: int) → Val
get_ctx(self) → Context

Warning

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

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

Warning

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

get_domain_space(self) → Space

Warning

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

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

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

Parameters:

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

get_list(self) → ValList
get_range_tuple_id(self) → Id
get_space(self) → Space
get_tuple_id(self, type: dim_type) → Id

Warning

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

get_tuple_name(self, type: dim_type) → str

Warning

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

get_val(self, pos: int) → Val

Warning

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

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

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

Parameters:

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

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

Return a list of Id instances for dim_type dimtype.

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

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

get_var_names_not_none(dimtype: dim_type) → Sequence[str]

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

Raise ValueError if any of the names is None.

Added in version 2025.2.5.

has_range_tuple_id(self) → bool
has_tuple_id(self, type: dim_type) → bool

Warning

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

insert_dims(self, type: dim_type, first: int, n: int) → MultiVal

Warning

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

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

Warning

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

involves_nan(self) → bool
is_zero(self) → bool

Warning

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

max(self, multi2: MultiVal) → MultiVal
min(self, multi2: MultiVal) → MultiVal
mod_multi_val(self, mv: MultiVal) → MultiVal

Warning

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

mod_val(self, v: Val | int) → MultiVal

Warning

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

neg(self) → MultiVal
plain_is_equal(self, multi2: MultiVal) → bool
product(self, multi2: MultiVal) → MultiVal
project_domain_on_params(self) → MultiVal

Warning

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

range_factor_domain(self) → MultiVal

Warning

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

range_factor_range(self) → MultiVal

Warning

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

range_is_wrapping(self) → bool

Warning

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

range_product(self, multi2: MultiVal) → MultiVal
range_splice(self, pos: int, multi2: MultiVal) → 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) → MultiVal
reset_tuple_id(self, type: dim_type) → MultiVal

Warning

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

reset_user(self) → MultiVal

Warning

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

scale_down_multi_val(self, mv: MultiVal) → MultiVal

Warning

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

scale_down_val(self, v: Val | int) → MultiVal

Warning

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

scale_multi_val(self, mv: MultiVal) → MultiVal

Warning

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

scale_val(self, v: Val | int) → MultiVal

Warning

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

set_at(self, pos: int, el: Val | int) → MultiVal
set_dim_id(self, type: dim_type, pos: int, id: Id) → MultiVal

Warning

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

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

Warning

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

set_range_tuple_id(self, id: Id) → MultiVal

Warning

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

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

Warning

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

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

Warning

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

set_val(self, pos: int, el: Val | int) → MultiVal

Warning

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

property space
splice(self, in_pos: int, out_pos: int, multi2: MultiVal) → MultiVal

Warning

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

sub(self, multi2: MultiVal) → MultiVal
to_str(self) → str

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

Return self==value.

__hash__()

Return hash(self).

__len__(self) → int

__len__(self) -> int

Warning

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

__ne__(other: object) → bool

Return self!=value.

add(self, vec2: Vec) → Vec

Warning

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

add_els(self, n: int) → 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) → Vec

Warning

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

clr(self) → Vec

Warning

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

cmp_element(self, vec2: Vec, pos: int) → int

Warning

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

concat(self, vec2: Vec) → Vec

Warning

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

copy(self) → Vec

Warning

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

drop_els(self, pos: int, n: int) → Vec

Warning

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

dump(self) → None

Warning

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

extend(self, size: int) → Vec

Warning

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

get_ctx(self) → Context

Warning

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

get_element_val(self, pos: int) → Val

Warning

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

insert_els(self, pos: int, n: int) → Vec

Warning

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

insert_zero_els(self, pos: int, n: int) → Vec

Warning

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

is_equal(self, vec2: Vec) → bool

Warning

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

mat_product(self, mat: Mat) → Vec

Warning

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

move_els(self, dst_col: int, src_col: int, n: int) → Vec

Warning

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

neg(self) → Vec

Warning

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

normalize(self) → Vec

Warning

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

set_element_val(self, pos: int, v: Val | int) → Vec

Warning

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

set_val(self, v: Val | int) → Vec

Warning

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

sort(self) → 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: int) → Vec

Warning

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

Matrix

class islpy.Mat
__eq__(other: object) → bool

Return self==value.

__hash__()

Return hash(self).

__ne__(other: object) → bool

Return self!=value.

add_rows(self, n: int) → Mat

Warning

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

add_zero_cols(self, n: int) → Mat

Warning

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

add_zero_rows(self, n: int) → Mat

Warning

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

aff_direct_sum(self, right: Mat) → 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: int, src_col: int) → None

Warning

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

cols(self) → int

Warning

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

concat(self, bot: Mat) → Mat

Warning

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

copy(self) → Mat

Warning

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

diagonal(self, mat2: Mat) → Mat

Warning

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

drop_cols(self, col: int, n: int) → Mat

Warning

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

drop_rows(self, row: int, n: int) → Mat

Warning

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

dump(self) → None

Warning

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

extend(self, n_row: int, n_col: int) → 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) → Context

Warning

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

get_element_val(self, row: int, col: int) → Val

Warning

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

has_linearly_independent_rows(self, mat2: Mat) → 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) → int

Warning

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

insert_cols(self, col: int, n: int) → Mat

Warning

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

insert_rows(self, row: int, n: int) → Mat

Warning

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

insert_zero_cols(self, first: int, n: int) → Mat

Warning

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

insert_zero_rows(self, row: int, n: int) → Mat

Warning

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

inverse_product(self, right: Mat) → Mat

Warning

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

is_equal(self, mat2: Mat) → bool

Warning

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

left_hermite(self, neg: int) → tuple[Mat, Mat, Mat]

Warning

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

lin_to_aff(self) → Mat

Warning

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

move_cols(self, dst_col: int, src_col: int, n: int) → Mat

Warning

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

normalize(self) → Mat

Warning

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

normalize_row(self, row: int) → Mat

Warning

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

product(self, right: Mat) → Mat

Warning

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

rank(self) → int

Warning

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

right_inverse(self) → Mat

Warning

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

right_kernel(self) → Mat

Warning

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

row_basis(self) → Mat

Warning

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

row_basis_extension(self, mat2: Mat) → Mat

Warning

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

rows(self) → int

Warning

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

set_element_val(self, row: int, col: int, v: Val | int) → Mat

Warning

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

swap_cols(self, i: int, j: int) → Mat

Warning

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

swap_rows(self, i: int, j: int) → Mat

Warning

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

transpose(self) → Mat

Warning

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

unimodular_complete(self, row: int) → Mat

Warning

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

vec_concat(self, bot: Vec) → Mat

Warning

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

vec_inverse_product(self, vec: Vec) → Vec

Warning

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

vec_product(self, vec: Vec) → 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.