Reference: Expression-like Objects¶

Quasi-Affine Expressions¶

Quasi-Affine Expression¶

class islpy.Aff(s=None, context=None)¶
__eq__(other)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(other)¶

Return self!=value.

add(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Aff

add_coefficient_val(self, type, pos, v)¶
Parameters
Returns

Aff

add_constant_num_si(self, v)¶
Parameters
  • self – Aff

  • v – int

Returns

Aff

add_constant_val(self, v)¶
Parameters
  • self – Aff

  • v – Val

Returns

Aff

add_dims(self, type, n)¶
Parameters
Returns

Aff

align_params(self, model)¶
Parameters
  • self – Aff

  • model – Space

Returns

Aff

as_aff(self)¶
Parameters

self – PwAff

Returns

Aff

as_map(self)¶
Parameters

self – PwAff

Returns

Map

bind_domain(self, tuple)¶
Parameters
Returns

PwAff

bind_domain_wrapped_domain(self, tuple)¶
Parameters
Returns

PwAff

bind_id(self, id)¶
Parameters
  • self – Aff

  • id – Id

Returns

BasicSet

ceil(self)¶
Parameters

self – Aff

Returns

Aff

coalesce(self)¶
Parameters

self – PwAff

Returns

PwAff

coefficient_sgn(self, type, pos)¶
Parameters
Returns

int

cond(self, pwaff_true, pwaff_false)¶
Parameters
Returns

PwAff

copy(self)¶
Parameters

self – Aff

Returns

Aff

dim(self, type)¶
Parameters
Returns

isl_size

div(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Aff

domain(self)¶
Parameters

self – PwAff

Returns

Set

drop_dims(self, type, first, n)¶
Parameters
Returns

Aff

drop_unused_params(self)¶
Parameters

self – PwAff

Returns

PwAff

dump(self)¶
Parameters

self – Aff

Returns

None

eq_basic_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

BasicSet

eq_map(self, pa2)¶
Parameters
Returns

Map

eq_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Set

eval(self, pnt)¶
Parameters
Returns

Val

every_piece(self, test)¶
Parameters
  • self – PwAff

  • test – callback(set, aff)

Returns

bool

find_dim_by_name(self, type, name)¶
Parameters
  • self – Aff

  • type – dim_type

  • name – string

Returns

int

floor(self)¶
Parameters

self – Aff

Returns

Aff

foreach_piece(self, fn)¶
Parameters
  • self – PwAff

  • fn – callback(set, aff)

Returns

isl_stat

from_range(self)¶
Parameters

self – Aff

Returns

Aff

ge_basic_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

BasicSet

ge_map(self, pa2)¶
Parameters
Returns

Map

ge_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Set

get_aggregate_domain()¶
Returns

a Set that is the union of the domains of all pieces

get_coefficient_val(self, type, pos)¶
Parameters
Returns

Val

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

Returns

Val

get_ctx(self)¶
Parameters

self – Aff

Returns

Context

get_denominator_val(self)¶
Parameters

self – Aff

Returns

Val

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_dim_name(self, type, pos)¶
Parameters
Returns

string

get_div(self, pos)¶
Parameters
  • self – Aff

  • pos – int

Returns

Aff

get_domain_local_space(self)¶
Parameters

self – Aff

Returns

LocalSpace

get_domain_space(self)¶
Parameters

self – Aff

Returns

Space

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

Returns

LocalSpace

get_pieces()¶
Returns

list of (Set, Aff)

get_space(self)¶
Parameters

self – Aff

Returns

Space

get_tuple_id(self, type)¶
Parameters
Returns

Id

get_var_dict(dimtype=None)¶

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

Parameters

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

get_var_ids(dimtype)¶

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)¶

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

gist(self, context)¶
Parameters
  • self – Aff

  • context – Set

Returns

Aff

gist_params(self, context)¶
Parameters
  • self – Aff

  • context – Set

Returns

Aff

gt_basic_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

BasicSet

gt_map(self, pa2)¶
Parameters
Returns

Map

gt_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Set

has_dim_id(self, type, pos)¶
Parameters
Returns

bool

has_tuple_id(self, type)¶
Parameters
Returns

bool

insert_dims(self, type, first, n)¶
Parameters
Returns

Aff

insert_domain(self, domain)¶
Parameters
Returns

PwAff

intersect_domain(self, set)¶
Parameters
Returns

PwAff

intersect_domain_wrapped_domain(self, set)¶
Parameters
Returns

PwAff

intersect_domain_wrapped_range(self, set)¶
Parameters
Returns

PwAff

intersect_params(self, set)¶
Parameters
Returns

PwAff

involves_dims(self, type, first, n)¶
Parameters
Returns

bool

involves_locals(self)¶
Parameters

self – Aff

Returns

bool

involves_nan(self)¶
Parameters

self – PwAff

Returns

bool

involves_param_id(self, id)¶
Parameters
  • self – PwAff

  • id – Id

Returns

bool

is_cst(self)¶
Parameters

self – Aff

Returns

bool

is_empty(self)¶
Parameters

self – PwAff

Returns

bool

is_equal(self, pa2)¶
Parameters
Returns

bool

is_nan(self)¶
Parameters

self – Aff

Returns

bool

isa_aff(self)¶
Parameters

self – PwAff

Returns

bool

le_basic_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

BasicSet

le_map(self, pa2)¶
Parameters
Returns

Map

le_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Set

lt_basic_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

BasicSet

lt_map(self, pa2)¶
Parameters
Returns

Map

lt_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Set

max(self, pwaff2)¶
Parameters
Returns

PwAff

min(self, pwaff2)¶
Parameters
Returns

PwAff

mod_val(self, mod)¶
Parameters
  • self – Aff

  • mod – Val

Returns

Aff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)¶
Parameters
Returns

Aff

mul(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Aff

n_piece(self)¶
Parameters

self – PwAff

Returns

isl_size

static nan_on_domain(ls)¶
Parameters

ls – LocalSpace

Returns

Aff

static nan_on_domain_space(space)¶
Parameters

space – Space

Returns

Aff

ne_set(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Set

neg(self)¶
Parameters

self – Aff

Returns

Aff

neg_basic_set(self)¶
Parameters

self – Aff

Returns

BasicSet

non_zero_set(self)¶
Parameters

self – PwAff

Returns

Set

nonneg_set(self)¶
Parameters

self – PwAff

Returns

Set

static param_on_domain_space_id(space, id)¶
Parameters
  • space – Space

  • id – Id

Returns

Aff

params(self)¶
Parameters

self – PwAff

Returns

Set

plain_cmp(self, pa2)¶
Parameters
Returns

int

plain_is_equal(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

bool

plain_is_zero(self)¶
Parameters

self – Aff

Returns

bool

pos_set(self)¶
Parameters

self – PwAff

Returns

Set

project_domain_on_params(self)¶
Parameters

self – Aff

Returns

Aff

pullback_aff(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Aff

pullback_multi_aff(self, ma)¶
Parameters
Returns

Aff

pullback_multi_pw_aff(self, mpa)¶
Parameters
Returns

PwAff

pullback_pw_multi_aff(self, pma)¶
Parameters
Returns

PwAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

Aff

reset_tuple_id(self, type)¶
Parameters
Returns

PwAff

reset_user(self)¶
Parameters

self – PwAff

Returns

PwAff

scale_down_val(self, v)¶
Parameters
  • self – Aff

  • v – Val

Returns

Aff

scale_val(self, v)¶
Parameters
  • self – Aff

  • v – Val

Returns

Aff

set_coefficient_val(self, type, pos, v)¶
Parameters
Returns

Aff

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

  • v – Val

Returns

Aff

set_dim_id(self, type, pos, id)¶
Parameters
Returns

Aff

set_dim_name(self, type, pos, s)¶
Parameters
Returns

Aff

set_tuple_id(self, type, id)¶
Parameters
Returns

Aff

property space¶

get_space(self)

Parameters

self – Aff

Returns

Space

sub(self, aff2)¶
Parameters
  • self – Aff

  • aff2 – Aff

Returns

Aff

subtract_domain(self, set)¶
Parameters
Returns

PwAff

tdiv_q(self, pa2)¶
Parameters
Returns

PwAff

tdiv_r(self, pa2)¶
Parameters
Returns

PwAff

to_str(self)¶
Parameters

self – Aff

Returns

string

to_union_pw_aff(self)¶
Parameters

self – PwAff

Returns

UnionPwAff

unbind_params_insert_domain(self, domain)¶
Parameters
Returns

Aff

union_add(self, pwaff2)¶
Parameters
Returns

PwAff

union_max(self, pwaff2)¶
Parameters
Returns

PwAff

union_min(self, pwaff2)¶
Parameters
Returns

PwAff

static val_on_domain(ls, val)¶
Parameters
Returns

Aff

static val_on_domain_space(space, val)¶
Parameters
Returns

Aff

static var_on_domain(ls, type, pos)¶
Parameters
Returns

Aff

zero_basic_set(self)¶
Parameters

self – Aff

Returns

BasicSet

static zero_on_domain(ls)¶
Parameters

ls – LocalSpace

Returns

Aff

static zero_on_domain_space(space)¶
Parameters

space – Space

Returns

Aff

zero_set(self)¶
Parameters

self – PwAff

Returns

Set

Piecewise Quasi-Affine Expression¶

class islpy.PwAff(s=None, context=None)¶
__eq__(other)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(other)¶

Return self!=value.

add(self, pwaff2)¶
Parameters
Returns

PwAff

add_constant_val(self, v)¶
Parameters
Returns

PwAff

add_dims(self, type, n)¶
Parameters
Returns

PwAff

align_params(self, model)¶
Parameters
Returns

PwAff

static alloc(set, aff)¶
Parameters
  • set – Set

  • aff – Aff

Returns

PwAff

as_aff(self)¶
Parameters

self – PwAff

Returns

Aff

as_map(self)¶
Parameters

self – PwAff

Returns

Map

bind_domain(self, tuple)¶
Parameters
Returns

PwAff

bind_domain_wrapped_domain(self, tuple)¶
Parameters
Returns

PwAff

bind_id(self, id)¶
Parameters
  • self – PwAff

  • id – Id

Returns

Set

ceil(self)¶
Parameters

self – PwAff

Returns

PwAff

coalesce(self)¶
Parameters

self – PwAff

Returns

PwAff

cond(self, pwaff_true, pwaff_false)¶
Parameters
Returns

PwAff

copy(self)¶
Parameters

self – PwAff

Returns

PwAff

dim(self, type)¶
Parameters
Returns

isl_size

div(self, pa2)¶
Parameters
Returns

PwAff

domain(self)¶
Parameters

self – PwAff

Returns

Set

drop_dims(self, type, first, n)¶
Parameters
Returns

PwAff

drop_unused_params(self)¶
Parameters

self – PwAff

Returns

PwAff

dump(self)¶
Parameters

self – PwAff

Returns

None

static empty(space)¶
Parameters

space – Space

Returns

PwAff

eq_map(self, pa2)¶
Parameters
Returns

Map

eq_set(self, pwaff2)¶
Parameters
Returns

Set

eval(self, pnt)¶
Parameters
Returns

Val

every_piece(self, test)¶
Parameters
  • self – PwAff

  • test – callback(set, aff)

Returns

bool

find_dim_by_name(self, type, name)¶
Parameters
  • self – PwAff

  • type – dim_type

  • name – string

Returns

int

floor(self)¶
Parameters

self – PwAff

Returns

PwAff

foreach_piece(self, fn)¶
Parameters
  • self – PwAff

  • fn – callback(set, aff)

Returns

isl_stat

static from_aff(aff)¶
Parameters

aff – Aff

Returns

PwAff

from_range(self)¶
Parameters

self – PwAff

Returns

PwAff

ge_map(self, pa2)¶
Parameters
Returns

Map

ge_set(self, pwaff2)¶
Parameters
Returns

Set

get_aggregate_domain()¶
Returns

a Set that is the union of the domains of all pieces

get_ctx(self)¶
Parameters

self – PwAff

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_dim_name(self, type, pos)¶
Parameters
Returns

string

get_domain_space(self)¶
Parameters

self – PwAff

Returns

Space

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_pieces()¶
Returns

list of (Set, Aff)

get_space(self)¶
Parameters

self – PwAff

Returns

Space

get_tuple_id(self, type)¶
Parameters
Returns

Id

get_var_dict(dimtype=None)¶

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

Parameters

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

get_var_ids(dimtype)¶

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)¶

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

gist(self, context)¶
Parameters
  • self – PwAff

  • context – Set

Returns

PwAff

gist_params(self, context)¶
Parameters
  • self – PwAff

  • context – Set

Returns

PwAff

gt_map(self, pa2)¶
Parameters
Returns

Map

gt_set(self, pwaff2)¶
Parameters
Returns

Set

has_dim_id(self, type, pos)¶
Parameters
Returns

bool

has_tuple_id(self, type)¶
Parameters
Returns

bool

insert_dims(self, type, first, n)¶
Parameters
Returns

PwAff

insert_domain(self, domain)¶
Parameters
Returns

PwAff

intersect_domain(self, set)¶
Parameters
Returns

PwAff

intersect_domain_wrapped_domain(self, set)¶
Parameters
Returns

PwAff

intersect_domain_wrapped_range(self, set)¶
Parameters
Returns

PwAff

intersect_params(self, set)¶
Parameters
Returns

PwAff

involves_dims(self, type, first, n)¶
Parameters
Returns

bool

involves_nan(self)¶
Parameters

self – PwAff

Returns

bool

involves_param_id(self, id)¶
Parameters
  • self – PwAff

  • id – Id

Returns

bool

is_cst(self)¶
Parameters

self – PwAff

Returns

bool

is_empty(self)¶
Parameters

self – PwAff

Returns

bool

is_equal(self, pa2)¶
Parameters
Returns

bool

isa_aff(self)¶
Parameters

self – PwAff

Returns

bool

le_map(self, pa2)¶
Parameters
Returns

Map

le_set(self, pwaff2)¶
Parameters
Returns

Set

lt_map(self, pa2)¶
Parameters
Returns

Map

lt_set(self, pwaff2)¶
Parameters
Returns

Set

max(self, pwaff2)¶
Parameters
Returns

PwAff

min(self, pwaff2)¶
Parameters
Returns

PwAff

mod_val(self, mod)¶
Parameters
Returns

PwAff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)¶
Parameters
Returns

PwAff

mul(self, pwaff2)¶
Parameters
Returns

PwAff

n_piece(self)¶
Parameters

self – PwAff

Returns

isl_size

static nan_on_domain(ls)¶
Parameters

ls – LocalSpace

Returns

PwAff

static nan_on_domain_space(space)¶
Parameters

space – Space

Returns

PwAff

ne_set(self, pwaff2)¶
Parameters
Returns

Set

neg(self)¶
Parameters

self – PwAff

Returns

PwAff

non_zero_set(self)¶
Parameters

self – PwAff

Returns

Set

nonneg_set(self)¶
Parameters

self – PwAff

Returns

Set

static param_on_domain_id(domain, id)¶
Parameters
  • domain – Set

  • id – Id

Returns

PwAff

params(self)¶
Parameters

self – PwAff

Returns

Set

plain_cmp(self, pa2)¶
Parameters
Returns

int

plain_is_equal(self, pwaff2)¶
Parameters
Returns

bool

pos_set(self)¶
Parameters

self – PwAff

Returns

Set

project_domain_on_params(self)¶
Parameters

self – PwAff

Returns

PwAff

pullback_multi_aff(self, ma)¶
Parameters
Returns

PwAff

pullback_multi_pw_aff(self, mpa)¶
Parameters
Returns

PwAff

pullback_pw_multi_aff(self, pma)¶
Parameters
Returns

PwAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

PwAff

reset_tuple_id(self, type)¶
Parameters
Returns

PwAff

reset_user(self)¶
Parameters

self – PwAff

Returns

PwAff

scale_down_val(self, f)¶
Parameters
Returns

PwAff

scale_val(self, v)¶
Parameters
Returns

PwAff

set_dim_id(self, type, pos, id)¶
Parameters
Returns

PwAff

set_tuple_id(self, type, id)¶
Parameters
Returns

PwAff

property space¶

get_space(self)

Parameters

self – PwAff

Returns

Space

sub(self, pwaff2)¶
Parameters
Returns

PwAff

subtract_domain(self, set)¶
Parameters
Returns

PwAff

tdiv_q(self, pa2)¶
Parameters
Returns

PwAff

tdiv_r(self, pa2)¶
Parameters
Returns

PwAff

to_str(self)¶
Parameters

self – PwAff

Returns

string

to_union_pw_aff(self)¶
Parameters

self – PwAff

Returns

UnionPwAff

union_add(self, pwaff2)¶
Parameters
Returns

PwAff

union_max(self, pwaff2)¶
Parameters
Returns

PwAff

union_min(self, pwaff2)¶
Parameters
Returns

PwAff

static val_on_domain(domain, v)¶
Parameters
  • domain – Set

  • v – Val

Returns

PwAff

static var_on_domain(ls, type, pos)¶
Parameters
Returns

PwAff

static zero_on_domain(ls)¶
Parameters

ls – LocalSpace

Returns

PwAff

zero_set(self)¶
Parameters

self – PwAff

Returns

Set

Union of Piecewise Quasi-Affine Expressions¶

class islpy.UnionPwAff(s=None, context=None)¶
__eq__(value, /)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(value, /)¶

Return self!=value.

add(self, upa2)¶
Parameters
Returns

UnionPwAff

add_pw_aff(self, pa)¶
Parameters
Returns

UnionPwAff

static aff_on_domain(domain, aff)¶
Parameters
Returns

UnionPwAff

align_params(self, model)¶
Parameters
Returns

UnionPwAff

bind_id(self, id)¶
Parameters
Returns

UnionSet

coalesce(self)¶
Parameters

self – UnionPwAff

Returns

UnionPwAff

copy(self)¶
Parameters

self – UnionPwAff

Returns

UnionPwAff

dim(self, type)¶
Parameters
Returns

isl_size

domain(self)¶
Parameters

self – UnionPwAff

Returns

UnionSet

drop_dims(self, type, first, n)¶
Parameters
Returns

UnionPwAff

dump(self)¶
Parameters

self – UnionPwAff

Returns

None

static empty(space)¶
Parameters

space – Space

Returns

UnionPwAff

static empty_ctx(ctx)¶
Parameters

ctx – Context

Returns

UnionPwAff

static empty_space(space)¶
Parameters

space – Space

Returns

UnionPwAff

every_pw_aff(self, test)¶
Parameters
  • self – UnionPwAff

  • test – callback(pa)

Returns

bool

extract_pw_aff(self, space)¶
Parameters
Returns

PwAff

find_dim_by_name(self, type, name)¶
Parameters
Returns

int

floor(self)¶
Parameters

self – UnionPwAff

Returns

UnionPwAff

foreach_pw_aff(self, fn)¶
Parameters
  • self – UnionPwAff

  • fn – callback(pa)

Returns

isl_stat

static from_aff(aff)¶
Parameters

aff – Aff

Returns

UnionPwAff

static from_pw_aff(pa)¶
Parameters

pa – PwAff

Returns

UnionPwAff

get_ctx(self)¶
Parameters

self – UnionPwAff

Returns

Context

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_pw_aff_list(self)¶
Parameters

self – UnionPwAff

Returns

PwAffList

get_space(self)¶
Parameters

self – UnionPwAff

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.

gist(self, context)¶
Parameters
Returns

UnionPwAff

gist_params(self, context)¶
Parameters
Returns

UnionPwAff

intersect_domain(self, uset)¶
Parameters
Returns

UnionPwAff

intersect_domain_space(self, space)¶
Parameters
Returns

UnionPwAff

intersect_domain_union_set(self, uset)¶
Parameters
Returns

UnionPwAff

intersect_domain_wrapped_domain(self, uset)¶
Parameters
Returns

UnionPwAff

intersect_domain_wrapped_range(self, uset)¶
Parameters
Returns

UnionPwAff

intersect_params(self, set)¶
Parameters
Returns

UnionPwAff

involves_nan(self)¶
Parameters

self – UnionPwAff

Returns

bool

max_val(self)¶
Parameters

self – UnionPwAff

Returns

Val

min_val(self)¶
Parameters

self – UnionPwAff

Returns

Val

mod_val(self, f)¶
Parameters
Returns

UnionPwAff

n_pw_aff(self)¶
Parameters

self – UnionPwAff

Returns

isl_size

neg(self)¶
Parameters

self – UnionPwAff

Returns

UnionPwAff

static param_on_domain_id(domain, id)¶
Parameters
Returns

UnionPwAff

plain_is_equal(self, upa2)¶
Parameters
Returns

bool

pullback_union_pw_multi_aff(self, upma)¶
Parameters
Returns

UnionPwAff

static pw_aff_on_domain(domain, pa)¶
Parameters
Returns

UnionPwAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

UnionPwAff

reset_user(self)¶
Parameters

self – UnionPwAff

Returns

UnionPwAff

scale_down_val(self, v)¶
Parameters
Returns

UnionPwAff

scale_val(self, v)¶
Parameters
Returns

UnionPwAff

set_dim_name(self, type, pos, s)¶
Parameters
Returns

UnionPwAff

property space¶

get_space(self)

Parameters

self – UnionPwAff

Returns

Space

sub(self, upa2)¶
Parameters
Returns

UnionPwAff

subtract_domain(self, uset)¶
Parameters
Returns

UnionPwAff

subtract_domain_space(self, space)¶
Parameters
Returns

UnionPwAff

subtract_domain_union_set(self, uset)¶
Parameters
Returns

UnionPwAff

to_str(self)¶
Parameters

self – UnionPwAff

Returns

string

union_add(self, upa2)¶
Parameters
Returns

UnionPwAff

static val_on_domain(domain, v)¶
Parameters
Returns

UnionPwAff

zero_union_set(self)¶
Parameters

self – UnionPwAff

Returns

UnionSet

Multiple Union of Piecewise Quasi-Affine Expressions¶

class islpy.MultiUnionPwAff(s=None, context=None)¶
__eq__(value, /)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(value, /)¶

Return self!=value.

align_params(self, model)¶
Parameters
Returns

MultiUnionPwAff

apply_aff(self, aff)¶
Parameters
Returns

UnionPwAff

apply_multi_aff(self, ma)¶
Parameters
Returns

MultiUnionPwAff

apply_pw_aff(self, pa)¶
Parameters
Returns

UnionPwAff

apply_pw_multi_aff(self, pma)¶
Parameters
Returns

MultiUnionPwAff

bind(self, tuple)¶
Parameters
Returns

UnionSet

coalesce(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

copy(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

dim(self, type)¶
Parameters
Returns

isl_size

domain(self)¶
Parameters

self – MultiUnionPwAff

Returns

UnionSet

drop_dims(self, type, first, n)¶
Parameters
Returns

MultiUnionPwAff

dump(self)¶
Parameters

self – MultiUnionPwAff

Returns

None

extract_multi_pw_aff(self, space)¶
Parameters
Returns

MultiPwAff

factor_range(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

find_dim_by_id(self, type, id)¶
Parameters
Returns

int

find_dim_by_name(self, type, name)¶
Parameters
Returns

int

flatten_range(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

floor(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

static from_multi_aff(ma)¶
Parameters

ma – MultiAff

Returns

MultiUnionPwAff

static from_multi_pw_aff(mpa)¶
Parameters

mpa – MultiPwAff

Returns

MultiUnionPwAff

from_range(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

static from_union_map(umap)¶
Parameters

umap – UnionMap

Returns

MultiUnionPwAff

static from_union_pw_aff(upa)¶
Parameters

upa – UnionPwAff

Returns

MultiUnionPwAff

static from_union_pw_multi_aff(upma)¶
Parameters

upma – UnionPwMultiAff

Returns

MultiUnionPwAff

get_ctx(self)¶
Parameters

self – MultiUnionPwAff

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_domain_space(self)¶
Parameters

self – MultiUnionPwAff

Returns

Space

get_tuple_id(self, type)¶
Parameters
Returns

Id

get_tuple_name(self, type)¶
Parameters
Returns

string

get_union_pw_aff(self, pos)¶
Parameters
Returns

UnionPwAff

gist(self, context)¶
Parameters
Returns

MultiUnionPwAff

gist_params(self, context)¶
Parameters
Returns

MultiUnionPwAff

has_tuple_id(self, type)¶
Parameters
Returns

bool

intersect_domain(self, uset)¶
Parameters
Returns

MultiUnionPwAff

intersect_params(self, params)¶
Parameters
Returns

MultiUnionPwAff

intersect_range(self, set)¶
Parameters
Returns

MultiUnionPwAff

max_multi_val(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiVal

min_multi_val(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiVal

mod_multi_val(self, mv)¶
Parameters
Returns

MultiUnionPwAff

static multi_aff_on_domain(domain, ma)¶
Parameters
Returns

MultiUnionPwAff

static multi_val_on_domain(domain, mv)¶
Parameters
Returns

MultiUnionPwAff

pullback_union_pw_multi_aff(self, upma)¶
Parameters
Returns

MultiUnionPwAff

static pw_multi_aff_on_domain(domain, pma)¶
Parameters
Returns

MultiUnionPwAff

range_factor_domain(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

range_factor_range(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

range_is_wrapping(self)¶
Parameters

self – MultiUnionPwAff

Returns

bool

range_splice(self, pos, multi2)¶
Parameters
Returns

MultiUnionPwAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

MultiUnionPwAff

reset_tuple_id(self, type)¶
Parameters
Returns

MultiUnionPwAff

reset_user(self)¶
Parameters

self – MultiUnionPwAff

Returns

MultiUnionPwAff

scale_down_multi_val(self, mv)¶
Parameters
Returns

MultiUnionPwAff

scale_down_val(self, v)¶
Parameters
Returns

MultiUnionPwAff

scale_multi_val(self, mv)¶
Parameters
Returns

MultiUnionPwAff

scale_val(self, v)¶
Parameters
Returns

MultiUnionPwAff

set_dim_id(self, type, pos, id)¶
Parameters
Returns

MultiUnionPwAff

set_dim_name(self, type, pos, s)¶
Parameters
Returns

MultiUnionPwAff

set_range_tuple_id(self, id)¶
Parameters
Returns

MultiUnionPwAff

set_tuple_id(self, type, id)¶
Parameters
Returns

MultiUnionPwAff

set_tuple_name(self, type, s)¶
Parameters
Returns

MultiUnionPwAff

set_union_pw_aff(self, pos, el)¶
Parameters
Returns

MultiUnionPwAff

to_str(self)¶
Parameters

self – MultiUnionPwAff

Returns

string

union_add(self, mupa2)¶
Parameters
Returns

MultiUnionPwAff

zero_union_set(self)¶
Parameters

self – MultiUnionPwAff

Returns

UnionSet

Multiple Affine Expressions¶

Multiple Affine Expression¶

class islpy.MultiAff(s=None, context=None)¶
__eq__(value, /)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(value, /)¶

Return self!=value.

add_constant_multi_val(self, mv)¶
Parameters
Returns

MultiAff

add_constant_val(self, v)¶
Parameters
Returns

MultiAff

add_dims(self, type, n)¶
Parameters
Returns

MultiAff

align_params(self, model)¶
Parameters
Returns

MultiAff

as_map(self)¶
Parameters

self – MultiAff

Returns

Map

as_set(self)¶
Parameters

self – MultiAff

Returns

Set

bind(self, tuple)¶
Parameters
Returns

BasicSet

copy(self)¶
Parameters

self – MultiAff

Returns

MultiAff

dim(self, type)¶
Parameters
Returns

isl_size

static domain_map(space)¶
Parameters

space – Space

Returns

MultiAff

drop_dims(self, type, first, n)¶
Parameters
Returns

MultiAff

dump(self)¶
Parameters

self – MultiAff

Returns

None

factor_range(self)¶
Parameters

self – MultiAff

Returns

MultiAff

find_dim_by_id(self, type, id)¶
Parameters
Returns

int

find_dim_by_name(self, type, name)¶
Parameters
Returns

int

flatten_domain(self)¶
Parameters

self – MultiAff

Returns

MultiAff

flatten_range(self)¶
Parameters

self – MultiAff

Returns

MultiAff

floor(self)¶
Parameters

self – MultiAff

Returns

MultiAff

static from_aff(aff)¶
Parameters

aff – Aff

Returns

MultiAff

from_range(self)¶
Parameters

self – MultiAff

Returns

MultiAff

get_aff(self, pos)¶
Parameters
Returns

Aff

get_constant_multi_val(self)¶
Parameters

self – MultiAff

Returns

MultiVal

get_ctx(self)¶
Parameters

self – MultiAff

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_domain_space(self)¶
Parameters

self – MultiAff

Returns

Space

get_tuple_id(self, type)¶
Parameters
Returns

Id

get_tuple_name(self, type)¶
Parameters
Returns

string

gist(self, context)¶
Parameters
Returns

MultiAff

gist_params(self, context)¶
Parameters
Returns

MultiAff

has_tuple_id(self, type)¶
Parameters
Returns

bool

static identity(space)¶
Parameters

space – Space

Returns

MultiAff

identity_multi_aff(self)¶
Parameters

self – MultiAff

Returns

MultiAff

static identity_on_domain_space(space)¶
Parameters

space – Space

Returns

MultiAff

insert_dims(self, type, first, n)¶
Parameters
Returns

MultiAff

involves_dims(self, type, first, n)¶
Parameters
Returns

bool

lex_ge_set(self, ma2)¶
Parameters
Returns

Set

lex_gt_set(self, ma2)¶
Parameters
Returns

Set

lex_le_set(self, ma2)¶
Parameters
Returns

Set

lex_lt_set(self, ma2)¶
Parameters
Returns

Set

lift(self)¶
Parameters

self – MultiAff

Returns

tuple: (MultiAff, ls (LocalSpace))

mod_multi_val(self, mv)¶
Parameters
Returns

MultiAff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)¶
Parameters
Returns

MultiAff

static multi_val_on_domain_space(space, mv)¶
Parameters
Returns

MultiAff

static multi_val_on_space(space, mv)¶
Parameters
Returns

MultiAff

plain_cmp(self, multi2)¶
Parameters
Returns

int

project_domain_on_params(self)¶
Parameters

self – MultiAff

Returns

MultiAff

static project_out_map(space, type, first, n)¶
Parameters
Returns

MultiAff

pullback_multi_aff(self, ma2)¶
Parameters
Returns

MultiAff

range_factor_domain(self)¶
Parameters

self – MultiAff

Returns

MultiAff

range_factor_range(self)¶
Parameters

self – MultiAff

Returns

MultiAff

range_is_wrapping(self)¶
Parameters

self – MultiAff

Returns

bool

static range_map(space)¶
Parameters

space – Space

Returns

MultiAff

range_splice(self, pos, multi2)¶
Parameters
Returns

MultiAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

MultiAff

reset_tuple_id(self, type)¶
Parameters
Returns

MultiAff

reset_user(self)¶
Parameters

self – MultiAff

Returns

MultiAff

scale_down_multi_val(self, mv)¶
Parameters
Returns

MultiAff

scale_down_val(self, v)¶
Parameters
Returns

MultiAff

scale_multi_val(self, mv)¶
Parameters
Returns

MultiAff

scale_val(self, v)¶
Parameters
Returns

MultiAff

set_aff(self, pos, el)¶
Parameters
Returns

MultiAff

set_dim_id(self, type, pos, id)¶
Parameters
Returns

MultiAff

set_dim_name(self, type, pos, s)¶
Parameters
Returns

MultiAff

set_range_tuple_id(self, id)¶
Parameters
Returns

MultiAff

set_tuple_id(self, type, id)¶
Parameters
Returns

MultiAff

set_tuple_name(self, type, s)¶
Parameters
Returns

MultiAff

splice(self, in_pos, out_pos, multi2)¶
Parameters
Returns

MultiAff

to_multi_pw_aff(self)¶
Parameters

self – MultiAff

Returns

MultiPwAff

to_multi_union_pw_aff(self)¶
Parameters

self – MultiAff

Returns

MultiUnionPwAff

to_pw_multi_aff(self)¶
Parameters

self – MultiAff

Returns

PwMultiAff

to_str(self)¶
Parameters

self – MultiAff

Returns

string

Piecewise Multiple Affine Expression¶

class islpy.PwMultiAff(s=None, context=None)¶
__eq__(other)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(other)¶

Return self!=value.

add(self, pma2)¶
Parameters
Returns

PwMultiAff

add_constant_multi_val(self, mv)¶
Parameters
Returns

PwMultiAff

add_constant_val(self, v)¶
Parameters
Returns

PwMultiAff

align_params(self, model)¶
Parameters
Returns

PwMultiAff

static alloc(set, maff)¶
Parameters
Returns

PwMultiAff

as_map(self)¶
Parameters

self – PwMultiAff

Returns

Map

as_multi_aff(self)¶
Parameters

self – PwMultiAff

Returns

MultiAff

as_set(self)¶
Parameters

self – PwMultiAff

Returns

Set

bind_domain(self, tuple)¶
Parameters
Returns

PwMultiAff

bind_domain_wrapped_domain(self, tuple)¶
Parameters
Returns

PwMultiAff

coalesce(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

copy(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

dim(self, type)¶
Parameters
Returns

isl_size

domain(self)¶
Parameters

self – PwMultiAff

Returns

Set

static domain_map(space)¶
Parameters

space – Space

Returns

PwMultiAff

drop_dims(self, type, first, n)¶
Parameters
Returns

PwMultiAff

drop_unused_params(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

dump(self)¶
Parameters

self – PwMultiAff

Returns

None

static empty(space)¶
Parameters

space – Space

Returns

PwMultiAff

every_piece(self, test)¶
Parameters
  • self – PwMultiAff

  • test – callback(set, ma)

Returns

bool

find_dim_by_name(self, type, name)¶
Parameters
Returns

int

fix_si(self, type, pos, value)¶
Parameters
Returns

PwMultiAff

flat_range_product(self, pma2)¶
Parameters
Returns

PwMultiAff

foreach_piece(self, fn)¶
Parameters
  • self – PwMultiAff

  • fn – callback(set, maff)

Returns

isl_stat

static from_domain(set)¶
Parameters

set – Set

Returns

PwMultiAff

static from_map(map)¶
Parameters

map – Map

Returns

PwMultiAff

static from_multi_aff(ma)¶
Parameters

ma – MultiAff

Returns

PwMultiAff

static from_multi_pw_aff(mpa)¶
Parameters

mpa – MultiPwAff

Returns

PwMultiAff

static from_pw_aff(pa)¶
Parameters

pa – PwAff

Returns

PwMultiAff

static from_set(set)¶
Parameters

set – Set

Returns

PwMultiAff

get_at(self, pos)¶
Parameters
Returns

PwAff

get_ctx(self)¶
Parameters

self – PwMultiAff

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_dim_name(self, type, pos)¶
Parameters
Returns

string

get_domain_space(self)¶
Parameters

self – PwMultiAff

Returns

Space

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_pw_aff(self, pos)¶
Parameters
Returns

PwAff

get_range_tuple_id(self)¶
Parameters

self – PwMultiAff

Returns

Id

get_space(self)¶
Parameters

self – PwMultiAff

Returns

Space

get_tuple_id(self, type)¶
Parameters
Returns

Id

get_tuple_name(self, type)¶
Parameters
Returns

string

get_var_dict(dimtype=None)¶

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

Parameters

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

get_var_ids(dimtype)¶

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)¶

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

gist(self, set)¶
Parameters
Returns

PwMultiAff

gist_params(self, set)¶
Parameters
Returns

PwMultiAff

has_range_tuple_id(self)¶
Parameters

self – PwMultiAff

Returns

bool

has_tuple_id(self, type)¶
Parameters
Returns

bool

has_tuple_name(self, type)¶
Parameters
Returns

bool

static identity(space)¶
Parameters

space – Space

Returns

PwMultiAff

static identity_on_domain_space(space)¶
Parameters

space – Space

Returns

PwMultiAff

insert_domain(self, domain)¶
Parameters
Returns

PwMultiAff

intersect_domain(self, set)¶
Parameters
Returns

PwMultiAff

intersect_domain_wrapped_domain(self, set)¶
Parameters
Returns

PwMultiAff

intersect_domain_wrapped_range(self, set)¶
Parameters
Returns

PwMultiAff

intersect_params(self, set)¶
Parameters
Returns

PwMultiAff

involves_dims(self, type, first, n)¶
Parameters
Returns

bool

involves_locals(self)¶
Parameters

self – PwMultiAff

Returns

bool

involves_nan(self)¶
Parameters

self – PwMultiAff

Returns

bool

involves_param_id(self, id)¶
Parameters
Returns

bool

is_equal(self, pma2)¶
Parameters
Returns

bool

isa_multi_aff(self)¶
Parameters

self – PwMultiAff

Returns

bool

max_multi_val(self)¶
Parameters

self – PwMultiAff

Returns

MultiVal

min_multi_val(self)¶
Parameters

self – PwMultiAff

Returns

MultiVal

static multi_val_on_domain(domain, mv)¶
Parameters
Returns

PwMultiAff

n_piece(self)¶
Parameters

self – PwMultiAff

Returns

isl_size

neg(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

plain_is_equal(self, pma2)¶
Parameters
Returns

bool

preimage_domain_wrapped_domain_pw_multi_aff(self, pma2)¶
Parameters
Returns

PwMultiAff

product(self, pma2)¶
Parameters
Returns

PwMultiAff

project_domain_on_params(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

static project_out_map(space, type, first, n)¶
Parameters
Returns

PwMultiAff

pullback_multi_aff(self, ma)¶
Parameters
Returns

PwMultiAff

pullback_pw_multi_aff(self, pma2)¶
Parameters
Returns

PwMultiAff

range_factor_domain(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

range_factor_range(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

static range_map(space)¶
Parameters

space – Space

Returns

PwMultiAff

range_product(self, pma2)¶
Parameters
Returns

PwMultiAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

PwMultiAff

reset_tuple_id(self, type)¶
Parameters
Returns

PwMultiAff

reset_user(self)¶
Parameters

self – PwMultiAff

Returns

PwMultiAff

scale_down_val(self, v)¶
Parameters
Returns

PwMultiAff

scale_multi_val(self, mv)¶
Parameters
Returns

PwMultiAff

scale_val(self, v)¶
Parameters
Returns

PwMultiAff

set_dim_id(self, type, pos, id)¶
Parameters
Returns

PwMultiAff

set_pw_aff(self, pos, pa)¶
Parameters
Returns

PwMultiAff

set_range_tuple_id(self, id)¶
Parameters
Returns

PwMultiAff

set_tuple_id(self, type, id)¶
Parameters
Returns

PwMultiAff

property space¶

get_space(self)

Parameters

self – PwMultiAff

Returns

Space

sub(self, pma2)¶
Parameters
Returns

PwMultiAff

subtract_domain(self, set)¶
Parameters
Returns

PwMultiAff

to_multi_pw_aff(self)¶
Parameters

self – PwMultiAff

Returns

MultiPwAff

to_str(self)¶
Parameters

self – PwMultiAff

Returns

string

to_union_pw_multi_aff(self)¶
Parameters

self – PwMultiAff

Returns

UnionPwMultiAff

union_add(self, pma2)¶
Parameters
Returns

PwMultiAff

union_lexmax(self, pma2)¶
Parameters
Returns

PwMultiAff

union_lexmin(self, pma2)¶
Parameters
Returns

PwMultiAff

static zero(space)¶
Parameters

space – Space

Returns

PwMultiAff

Multiple Piecewise Affine Expression¶

class islpy.MultiPwAff(s=None, context=None)¶
__eq__(other)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(other)¶

Return self!=value.

add_constant_multi_val(self, mv)¶
Parameters
Returns

MultiPwAff

add_constant_val(self, v)¶
Parameters
Returns

MultiPwAff

add_dims(self, type, n)¶
Parameters
Returns

MultiPwAff

align_params(self, model)¶
Parameters
Returns

MultiPwAff

as_map(self)¶
Parameters

self – MultiPwAff

Returns

Map

as_set(self)¶
Parameters

self – MultiPwAff

Returns

Set

bind(self, tuple)¶
Parameters
Returns

Set

coalesce(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

copy(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

dim(self, type)¶
Parameters
Returns

isl_size

domain(self)¶
Parameters

self – MultiPwAff

Returns

Set

drop_dims(self, type, first, n)¶
Parameters
Returns

MultiPwAff

dump(self)¶
Parameters

self – MultiPwAff

Returns

None

eq_map(self, mpa2)¶
Parameters
Returns

Map

factor_range(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

find_dim_by_id(self, type, id)¶
Parameters
Returns

int

find_dim_by_name(self, type, name)¶
Parameters
Returns

int

flatten_range(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

static from_aff(aff)¶
Parameters

aff – Aff

Returns

MultiPwAff

static from_multi_aff(ma)¶
Parameters

ma – MultiAff

Returns

MultiPwAff

static from_pw_aff(pa)¶
Parameters

pa – PwAff

Returns

MultiPwAff

static from_pw_multi_aff(pma)¶
Parameters

pma – PwMultiAff

Returns

MultiPwAff

from_range(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

get_ctx(self)¶
Parameters

self – MultiPwAff

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_domain_space(self)¶
Parameters

self – MultiPwAff

Returns

Space

get_pw_aff(self, pos)¶
Parameters
Returns

PwAff

get_tuple_id(self, type)¶
Parameters
Returns

Id

get_tuple_name(self, type)¶
Parameters
Returns

string

gist(self, set)¶
Parameters
Returns

MultiPwAff

gist_params(self, set)¶
Parameters
Returns

MultiPwAff

has_tuple_id(self, type)¶
Parameters
Returns

bool

static identity(space)¶
Parameters

space – Space

Returns

MultiPwAff

identity_multi_pw_aff(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

static identity_on_domain_space(space)¶
Parameters

space – Space

Returns

MultiPwAff

insert_dims(self, type, first, n)¶
Parameters
Returns

MultiPwAff

intersect_domain(self, domain)¶
Parameters
Returns

MultiPwAff

intersect_params(self, set)¶
Parameters
Returns

MultiPwAff

involves_dims(self, type, first, n)¶
Parameters
Returns

bool

involves_param_id(self, id)¶
Parameters
Returns

bool

involves_param_id_list(self, list)¶
Parameters
Returns

bool

is_cst(self)¶
Parameters

self – MultiPwAff

Returns

bool

is_equal(self, mpa2)¶
Parameters
Returns

bool

lex_ge_map(self, mpa2)¶
Parameters
Returns

Map

lex_gt_map(self, mpa2)¶
Parameters
Returns

Map

lex_le_map(self, mpa2)¶
Parameters
Returns

Map

lex_lt_map(self, mpa2)¶
Parameters
Returns

Map

max_multi_val(self)¶
Parameters

self – MultiPwAff

Returns

MultiVal

min_multi_val(self)¶
Parameters

self – MultiPwAff

Returns

MultiVal

mod_multi_val(self, mv)¶
Parameters
Returns

MultiPwAff

move_dims(self, dst_type, dst_pos, src_type, src_pos, n)¶
Parameters
Returns

MultiPwAff

project_domain_on_params(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

pullback_multi_aff(self, ma)¶
Parameters
Returns

MultiPwAff

pullback_multi_pw_aff(self, mpa2)¶
Parameters
Returns

MultiPwAff

pullback_pw_multi_aff(self, pma)¶
Parameters
Returns

MultiPwAff

range_factor_domain(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

range_factor_range(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

range_is_wrapping(self)¶
Parameters

self – MultiPwAff

Returns

bool

range_splice(self, pos, multi2)¶
Parameters
Returns

MultiPwAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

MultiPwAff

reset_tuple_id(self, type)¶
Parameters
Returns

MultiPwAff

reset_user(self)¶
Parameters

self – MultiPwAff

Returns

MultiPwAff

scale_down_multi_val(self, mv)¶
Parameters
Returns

MultiPwAff

scale_down_val(self, v)¶
Parameters
Returns

MultiPwAff

scale_multi_val(self, mv)¶
Parameters
Returns

MultiPwAff

scale_val(self, v)¶
Parameters
Returns

MultiPwAff

set_dim_id(self, type, pos, id)¶
Parameters
Returns

MultiPwAff

set_dim_name(self, type, pos, s)¶
Parameters
Returns

MultiPwAff

set_pw_aff(self, pos, el)¶
Parameters
Returns

MultiPwAff

set_range_tuple_id(self, id)¶
Parameters
Returns

MultiPwAff

set_tuple_id(self, type, id)¶
Parameters
Returns

MultiPwAff

set_tuple_name(self, type, s)¶
Parameters
Returns

MultiPwAff

splice(self, in_pos, out_pos, multi2)¶
Parameters
Returns

MultiPwAff

to_str(self)¶
Parameters

self – MultiPwAff

Returns

string

union_add(self, mpa2)¶
Parameters
Returns

MultiPwAff

Union of Piecewise Multiple Affine Expressions¶

class islpy.UnionPwMultiAff(s=None, context=None)¶
__eq__(value, /)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(value, /)¶

Return self!=value.

add(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

add_pw_multi_aff(self, pma)¶
Parameters
Returns

UnionPwMultiAff

align_params(self, model)¶
Parameters
Returns

UnionPwMultiAff

apply_union_pw_multi_aff(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

as_multi_union_pw_aff(self)¶
Parameters

self – UnionPwMultiAff

Returns

MultiUnionPwAff

as_pw_multi_aff(self)¶
Parameters

self – UnionPwMultiAff

Returns

PwMultiAff

as_union_map(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionMap

coalesce(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

copy(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

dim(self, type)¶
Parameters
Returns

isl_size

domain(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionSet

drop_dims(self, type, first, n)¶
Parameters
Returns

UnionPwMultiAff

dump(self)¶
Parameters

self – UnionPwMultiAff

Returns

None

static empty(space)¶
Parameters

space – Space

Returns

UnionPwMultiAff

static empty_ctx(ctx)¶
Parameters

ctx – Context

Returns

UnionPwMultiAff

static empty_space(space)¶
Parameters

space – Space

Returns

UnionPwMultiAff

every_pw_multi_aff(self, test)¶
Parameters
Returns

bool

extract_pw_multi_aff(self, space)¶
Parameters
Returns

PwMultiAff

find_dim_by_name(self, type, name)¶
Parameters
Returns

int

flat_range_product(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

foreach_pw_multi_aff(self, fn)¶
Parameters
Returns

isl_stat

static from_aff(aff)¶
Parameters

aff – Aff

Returns

UnionPwMultiAff

static from_domain(uset)¶
Parameters

uset – UnionSet

Returns

UnionPwMultiAff

static from_multi_aff(ma)¶
Parameters

ma – MultiAff

Returns

UnionPwMultiAff

static from_multi_union_pw_aff(mupa)¶
Parameters

mupa – MultiUnionPwAff

Returns

UnionPwMultiAff

static from_pw_multi_aff(pma)¶
Parameters

pma – PwMultiAff

Returns

UnionPwMultiAff

static from_union_map(umap)¶
Parameters

umap – UnionMap

Returns

UnionPwMultiAff

static from_union_pw_aff(upa)¶
Parameters

upa – UnionPwAff

Returns

UnionPwMultiAff

static from_union_set(uset)¶
Parameters

uset – UnionSet

Returns

UnionPwMultiAff

get_ctx(self)¶
Parameters

self – UnionPwMultiAff

Returns

Context

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_pw_multi_aff_list(self)¶
Parameters

self – UnionPwMultiAff

Returns

PwMultiAffList

get_space(self)¶
Parameters

self – UnionPwMultiAff

Returns

Space

get_union_pw_aff(self, pos)¶
Parameters
Returns

UnionPwAff

get_var_dict(dimtype=None)¶

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

Parameters

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

get_var_ids(dimtype)¶

Return a list of Id instances for dim_type dimtype.

get_var_names(dimtype)¶

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

gist(self, context)¶
Parameters
Returns

UnionPwMultiAff

gist_params(self, context)¶
Parameters
Returns

UnionPwMultiAff

intersect_domain(self, uset)¶
Parameters
Returns

UnionPwMultiAff

intersect_domain_space(self, space)¶
Parameters
Returns

UnionPwMultiAff

intersect_domain_union_set(self, uset)¶
Parameters
Returns

UnionPwMultiAff

intersect_domain_wrapped_domain(self, uset)¶
Parameters
Returns

UnionPwMultiAff

intersect_domain_wrapped_range(self, uset)¶
Parameters
Returns

UnionPwMultiAff

intersect_params(self, set)¶
Parameters
Returns

UnionPwMultiAff

involves_locals(self)¶
Parameters

self – UnionPwMultiAff

Returns

bool

involves_nan(self)¶
Parameters

self – UnionPwMultiAff

Returns

bool

isa_pw_multi_aff(self)¶
Parameters

self – UnionPwMultiAff

Returns

bool

static multi_val_on_domain(domain, mv)¶
Parameters
Returns

UnionPwMultiAff

n_pw_multi_aff(self)¶
Parameters

self – UnionPwMultiAff

Returns

isl_size

neg(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

plain_is_empty(self)¶
Parameters

self – UnionPwMultiAff

Returns

bool

plain_is_equal(self, upma2)¶
Parameters
Returns

bool

preimage_domain_wrapped_domain_union_pw_multi_aff(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

pullback_union_pw_multi_aff(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

range_factor_domain(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

range_factor_range(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

range_product(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

static read_from_str(ctx, str)¶
Parameters
  • ctx – Context

  • str – string

Returns

UnionPwMultiAff

reset_user(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAff

scale_down_val(self, val)¶
Parameters
Returns

UnionPwMultiAff

scale_multi_val(self, mv)¶
Parameters
Returns

UnionPwMultiAff

scale_val(self, val)¶
Parameters
Returns

UnionPwMultiAff

set_dim_name(self, type, pos, s)¶
Parameters
Returns

UnionPwMultiAff

property space¶

get_space(self)

Parameters

self – UnionPwMultiAff

Returns

Space

sub(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

subtract_domain(self, uset)¶
Parameters
Returns

UnionPwMultiAff

subtract_domain_space(self, space)¶
Parameters
Returns

UnionPwMultiAff

subtract_domain_union_set(self, uset)¶
Parameters
Returns

UnionPwMultiAff

to_list(self)¶
Parameters

self – UnionPwMultiAff

Returns

UnionPwMultiAffList

to_str(self)¶
Parameters

self – UnionPwMultiAff

Returns

string

union_add(self, upma2)¶
Parameters
Returns

UnionPwMultiAff

Quasipolynomials¶

Term¶

class islpy.Term¶
__eq__(value, /)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(value, /)¶

Return self!=value.

copy(self)¶
Parameters

self – Term

Returns

Term

dim(self, type)¶
Parameters
Returns

isl_size

get_coefficient_val(self)¶
Parameters

self – Term

Returns

Val

get_ctx(self)¶
Parameters

self – Term

Returns

Context

get_div(self, pos)¶
Parameters
Returns

Aff

get_exp(self, type, pos)¶
Parameters
Returns

isl_size

QPolynomial¶

class islpy.QPolynomial¶
__eq__(value, /)¶

Return self==value.

__hash__()¶

Return hash(self).

__ne__(value, /)¶

Return self!=value.

add(self, qp2)¶
Parameters
Returns

QPolynomial

add_dims(self, type, n)¶
Parameters
Returns

QPolynomial

align_params(self, model)¶
Parameters
Returns

QPolynomial

as_polynomial_on_domain(self, bset, fn)¶
Parameters
  • self –