Reference: Sets and Maps¶

Basic Set¶

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

Return self==value.

__hash__()¶

Return hash(self).

__ne__(other)¶

Return self!=value.

add_constraint(self, constraint)¶
Parameters
Returns

BasicSet

add_constraints(constraints)¶

New in version 2011.3.

add_dims(self, type, n)¶
Parameters
Returns

BasicSet

add_set(self, set)¶
Parameters
Returns

UnionSet

affine_hull(self)¶
Parameters

self – BasicSet

Returns

BasicSet

align_divs(self)¶
Parameters

self – Set

Returns

Set

align_params(self, model)¶
Parameters
Returns

BasicSet

apply(self, bmap)¶
Parameters
Returns

BasicSet

apply_pw_qpolynomial_fold(self, pwf)¶
Parameters
Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_union_pw_qpolynomial_fold(self, upwf)¶
Parameters
Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

bind(self, tuple)¶
Parameters
Returns

Set

bounded_simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

static box_from_points(pnt1, pnt2)¶
Parameters
Returns

BasicSet

coalesce(self)¶
Parameters

self – Set

Returns

Set

coefficients(self)¶
Parameters

self – BasicSet

Returns

BasicSet

compare_at(self, bset2, pos)¶
Parameters
Returns

int

complement(self)¶
Parameters

self – Set

Returns

Set

compute_divs(self)¶
Parameters

self – BasicSet

Returns

Set

compute_schedule(self, validity, proximity)¶
Parameters
Returns

Schedule

compute_vertices(self)¶
Parameters

self – BasicSet

Returns

Vertices

contains(self, space)¶
Parameters
Returns

bool

convex_hull(self)¶
Parameters

self – Set

Returns

BasicSet

copy(self)¶
Parameters

self – BasicSet

Returns

BasicSet

count_val(self)¶
Parameters

self – Set

Returns

Val

detect_equalities(self)¶
Parameters

self – BasicSet

Returns

BasicSet

dim(self, type)¶
Parameters
Returns

isl_size

dim_has_any_lower_bound(self, type, pos)¶
Parameters
Returns

bool

dim_has_any_upper_bound(self, type, pos)¶
Parameters
Returns

bool

dim_has_lower_bound(self, type, pos)¶
Parameters
Returns

bool

dim_has_upper_bound(self, type, pos)¶
Parameters
Returns

bool

dim_is_bounded(self, type, pos)¶
Parameters
Returns

bool

dim_max(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

PwAff

dim_max_val(self, pos)¶
Parameters
Returns

Val

dim_min(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

PwAff

dim_min_val(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

Val

dim_residue_class_val(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

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

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

BasicSet

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

BasicSet

drop_unused_params(self)¶
Parameters

self – BasicSet

Returns

BasicSet

dump(self)¶
Parameters

self – BasicSet

Returns

None

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

BasicSet

eliminate_dims(self, first, n)¶
Parameters
Returns

Set

eliminate_except(names, types)¶
Parameters
  • types – list of dim_type determining the types of axes to eliminate

  • names – names of axes matching the above which should be left alone by the eliminate

New in version 2011.3.

static empty(space)¶
Parameters

space – Space

Returns

BasicSet

equalities_matrix(self, c1, c2, c3, c4)¶
Parameters
Returns

Mat

equate(self, type1, pos1, type2, pos2)¶
Parameters
Returns

Set

every_set(self, test)¶
Parameters
  • self – UnionSet

  • test – callback(set)

Returns

bool

extract_set(self, space)¶
Parameters
Returns

Set

find_dim_by_id(self, type, id)¶
Parameters
Returns

int

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

  • type – dim_type

  • name – string

Returns

int

fix_dim_si(self, dim, value)¶
Parameters
Returns

Set

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

BasicSet

flat_product(self, bset2)¶
Parameters
Returns

BasicSet

flatten(self)¶
Parameters

self – BasicSet

Returns

BasicSet

flatten_map(self)¶
Parameters

self – Set

Returns

Map

follows_at(self, set2, pos)¶
Parameters
  • self – Set

  • set2 – Set

  • pos – int

Returns

int

foreach_basic_set(self, fn)¶
Parameters
  • self – Set

  • fn – callback(bset)

Returns

isl_stat

foreach_bound_pair(self, type, pos, fn)¶
Parameters
Returns

isl_stat

foreach_constraint(self, fn)¶
Parameters
  • self – BasicSet

  • fn – callback(c)

Returns

isl_stat

foreach_point(self, fn)¶
Parameters
  • self – Set

  • fn – callback(pnt)

Returns

isl_stat

foreach_set(self, fn)¶
Parameters
  • self – UnionSet

  • fn – callback(set)

Returns

isl_stat

static from_constraint(constraint)¶
Parameters

constraint – Constraint

Returns

BasicSet

static from_constraint_matrices(space, eq, ineq, c1, c2, c3, c4)¶
Parameters
Returns

BasicSet

static from_multi_aff(ma)¶
Parameters

ma – MultiAff

Returns

BasicSet

from_params(self)¶
Parameters

self – BasicSet

Returns

BasicSet

static from_point(pnt)¶
Parameters

pnt – Point

Returns

BasicSet

get_basic_set_list(self)¶
Parameters

self – Set

Returns

BasicSetList

get_basic_sets()¶

Get the list of BasicSet instances in this Set.

get_constraint_list(self)¶
Parameters

self – BasicSet

Returns

ConstraintList

get_constraints()¶

Get a list of constraints.

get_ctx(self)¶
Parameters

self – BasicSet

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_dim_name(self, type, pos)¶
Parameters
Returns

string

get_div(self, pos)¶
Parameters
Returns

Aff

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

Returns

LocalSpace

get_plain_multi_val_if_fixed(self)¶
Parameters

self – Set

Returns

MultiVal

get_set_list(self)¶
Parameters

self – UnionSet

Returns

SetList

get_simple_fixed_box_hull(self)¶
Parameters

self – Set

Returns

FixedBox

get_space(self)¶
Parameters

self – BasicSet

Returns

Space

get_stride(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

Val

get_stride_info(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

StrideInfo

get_tuple_id(self)¶
Parameters

self – Set

Returns

Id

get_tuple_name(self)¶
Parameters

self – BasicSet

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, context)¶
Parameters
Returns

BasicSet

gist_basic_set(self, context)¶
Parameters
Returns

Set

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

  • context – Set

Returns

Set

has_dim_id(self, type, pos)¶
Parameters
Returns

bool

has_dim_name(self, type, pos)¶
Parameters
Returns

bool

has_equal_space(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

has_tuple_id(self)¶
Parameters

self – Set

Returns

bool

has_tuple_name(self)¶
Parameters

self – Set

Returns

bool

identity(self)¶
Parameters

self – Set

Returns

Map

identity_union_pw_multi_aff(self)¶
Parameters

self – UnionSet

Returns

UnionPwMultiAff

indicator_function(self)¶
Parameters

self – Set

Returns

PwAff

inequalities_matrix(self, c1, c2, c3, c4)¶
Parameters
Returns

Mat

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

BasicSet

insert_domain(self, domain)¶
Parameters
Returns

Map

intersect(self, bset2)¶
Parameters
Returns

BasicSet

intersect_factor_domain(self, domain)¶
Parameters
  • self – Set

  • domain – Set

Returns

Set

intersect_factor_range(self, range)¶
Parameters
  • self – Set

  • range – Set

Returns

Set

intersect_params(self, bset2)¶
Parameters
Returns

BasicSet

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

bool

involves_locals(self)¶
Parameters

self – Set

Returns

bool

is_bounded(self)¶
Parameters

self – BasicSet

Returns

bool

is_box(self)¶
Parameters

self – Set

Returns

bool

is_disjoint(self, bset2)¶
Parameters
Returns

bool

is_empty(self)¶
Parameters

self – BasicSet

Returns

bool

is_equal(self, bset2)¶
Parameters
Returns

bool

is_params(self)¶
Parameters

self – Set

Returns

bool

is_rational(self)¶
Parameters

self – BasicSet

Returns

bool

is_singleton(self)¶
Parameters

self – Set

Returns

bool

is_strict_subset(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

is_subset(self, bset2)¶
Parameters
Returns

bool

is_universe(self)¶
Parameters

self – BasicSet

Returns

bool

is_wrapping(self)¶
Parameters

self – BasicSet

Returns

bool

isa_set(self)¶
Parameters

self – UnionSet

Returns

bool

lex_ge_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_ge_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lex_gt_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_gt_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lex_le_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_le_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lex_lt_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_lt_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lexmax(self)¶
Parameters

self – BasicSet

Returns

Set

lexmax_pw_multi_aff(self)¶
Parameters

self – Set

Returns

PwMultiAff

lexmin(self)¶
Parameters

self – BasicSet

Returns

Set

lexmin_pw_multi_aff(self)¶
Parameters

self – Set

Returns

PwMultiAff

lift(self)¶
Parameters

self – BasicSet

Returns

BasicSet

lower_bound_multi_pw_aff(self, lower)¶
Parameters
Returns

Set

lower_bound_multi_val(self, lower)¶
Parameters
Returns

Set

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

BasicSet

make_disjoint(self)¶
Parameters

self – Set

Returns

Set

max_multi_pw_aff(self)¶
Parameters

self – Set

Returns

MultiPwAff

max_val(self, obj)¶
Parameters
Returns

Val

min_multi_pw_aff(self)¶
Parameters

self – Set

Returns

MultiPwAff

min_multi_union_pw_aff(self, obj)¶
Parameters
Returns

MultiVal

min_val(self, obj)¶
Parameters
  • self – Set

  • obj – Aff

Returns

Val

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

BasicSet

n_basic_set(self)¶
Parameters

self – Set

Returns

isl_size

n_constraint(self)¶
Parameters

self – BasicSet

Returns

isl_size

n_dim(self)¶
Parameters

self – BasicSet

Returns

isl_size

n_param(self)¶
Parameters

self – BasicSet

Returns

isl_size

n_set(self)¶
Parameters

self – UnionSet

Returns

isl_size

static nat_universe(space)¶
Parameters

space – Space

Returns

BasicSet

neg(self)¶
Parameters

self – BasicSet

Returns

BasicSet

params(self)¶
Parameters

self – BasicSet

Returns

BasicSet

partial_lexmax(self, dom)¶
Parameters
Returns

tuple: (Set, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)¶
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)¶
Parameters
Returns

tuple: (Set, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)¶
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

plain_cmp(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

int

plain_get_val_if_fixed(self, type, pos)¶
Parameters
Returns

Val

plain_is_disjoint(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

plain_is_empty(self)¶
Parameters

self – BasicSet

Returns

bool

plain_is_equal(self, bset2)¶
Parameters
Returns

bool

plain_is_universe(self)¶
Parameters

self – BasicSet

Returns

bool

plain_unshifted_simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

polyhedral_hull(self)¶
Parameters

self – Set

Returns

BasicSet

static positive_orthant(space)¶
Parameters

space – Space

Returns

BasicSet

preimage_multi_aff(self, ma)¶
Parameters
Returns

BasicSet

preimage_multi_pw_aff(self, mpa)¶
Parameters
Returns

Set

preimage_pw_multi_aff(self, pma)¶
Parameters
Returns

Set

preimage_union_pw_multi_aff(self, upma)¶
Parameters
Returns

UnionSet

product(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

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

Map

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

BasicSet

project_out_all_params(self)¶
Parameters

self – Set

Returns

Set

project_out_except(names, types)¶
Parameters
  • types – list of dim_type determining the types of axes to project out

  • names – names of axes matching the above which should be left alone by the projection

New in version 2011.3.

project_out_param_id(self, id)¶
Parameters
  • self – Set

  • id – Id

Returns

Set

project_out_param_id_list(self, list)¶
Parameters
Returns

Set

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

  • str – string

Returns

BasicSet

reduced_basis(self)¶
Parameters

self – BasicSet

Returns

Mat

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

BasicSet

remove_divs(self)¶
Parameters

self – BasicSet

Returns

BasicSet

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

BasicSet

remove_redundancies(self)¶
Parameters

self – BasicSet

Returns

BasicSet

remove_unknown_divs(self)¶
Parameters

self – BasicSet

Returns

BasicSet

reset_space(self, space)¶
Parameters
Returns

Set

reset_tuple_id(self)¶
Parameters

self – Set

Returns

Set

reset_user(self)¶
Parameters

self – Set

Returns

Set

sample(self)¶
Parameters

self – BasicSet

Returns

BasicSet

sample_point(self)¶
Parameters

self – BasicSet

Returns

Point

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

Set

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

BasicSet

set_tuple_id(self, id)¶
Parameters
Returns

BasicSet

set_tuple_name(self, s)¶
Parameters
Returns

BasicSet

simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

solutions(self)¶
Parameters

self – BasicSet

Returns

BasicSet

property space¶

get_space(self)

Parameters

self – BasicSet

Returns

Space

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

Set

subtract(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

sum(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

to_str(self)¶
Parameters

self – BasicSet

Returns

string

total_dim(self)¶
Parameters

self – BasicSet

Returns

isl_size

translation(self)¶
Parameters

self – Set

Returns

Map

unbind_params(self, tuple)¶
Parameters
Returns

Set

unbind_params_insert_domain(self, domain)¶
Parameters
Returns

Map

union(self, bset2)¶
Parameters
Returns

Set

union_disjoint(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

static universe(space)¶
Parameters

space – Space

Returns

BasicSet

unshifted_simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

unshifted_simple_hull_from_set_list(self, list)¶
Parameters
Returns

BasicSet

unwrap(self)¶
Parameters

self – BasicSet

Returns

BasicMap

upper_bound_multi_pw_aff(self, upper)¶
Parameters
Returns

Set

upper_bound_multi_val(self, upper)¶
Parameters
Returns

Set

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

BasicSet

wrapped_domain_map(self)¶
Parameters

self – Set

Returns

Map

Basic Map¶

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

Return self==value.

__hash__()¶

Return hash(self).

__ne__(other)¶

Return self!=value.

add_constraint(self, constraint)¶
Parameters
Returns

BasicMap

add_constraints(constraints)¶

New in version 2011.3.

add_dims(self, type, n)¶
Parameters
Returns

BasicMap

add_map(self, map)¶
Parameters
Returns

UnionMap

affine_hull(self)¶
Parameters

self – BasicMap

Returns

BasicMap

align_divs(self)¶
Parameters

self – Map

Returns

Map

align_params(self, model)¶
Parameters
Returns

BasicMap

apply_domain(self, bmap2)¶
Parameters
Returns

BasicMap

apply_pw_qpolynomial_fold(self, pwf)¶
Parameters
Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_range(self, bmap2)¶
Parameters
Returns

BasicMap

apply_union_pw_qpolynomial_fold(self, upwf)¶
Parameters
Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

bind_domain(self, tuple)¶
Parameters
Returns

Set

bind_range(self, tuple)¶
Parameters
Returns

Set

can_curry(self)¶
Parameters

self – BasicMap

Returns

bool

can_range_curry(self)¶
Parameters

self – Map

Returns

bool

can_uncurry(self)¶
Parameters

self – BasicMap

Returns

bool

can_zip(self)¶
Parameters

self – BasicMap

Returns

bool

coalesce(self)¶
Parameters

self – Map

Returns

Map

complement(self)¶
Parameters

self – Map

Returns

Map

compute_divs(self)¶
Parameters

self – BasicMap

Returns

Map

compute_flow(self, must_source, may_source, schedule)¶
Parameters
Returns

tuple: (must_dep (UnionMap), may_dep (UnionMap), must_no_source (UnionMap), may_no_source (UnionMap))

contains(self, space)¶
Parameters
Returns

bool

convex_hull(self)¶
Parameters

self – Map

Returns

BasicMap

copy(self)¶
Parameters

self – BasicMap

Returns

BasicMap

curry(self)¶
Parameters

self – BasicMap

Returns

BasicMap

deltas(self)¶
Parameters

self – BasicMap

Returns

BasicSet

deltas_map(self)¶
Parameters

self – BasicMap

Returns

BasicMap

detect_equalities(self)¶
Parameters

self – BasicMap

Returns

BasicMap

dim(self, type)¶
Parameters
Returns

isl_size

dim_max(self, pos)¶
Parameters
  • self – Map

  • pos – int

Returns

PwAff

dim_min(self, pos)¶
Parameters
  • self – Map

  • pos – int

Returns

PwAff

domain(self)¶
Parameters

self – BasicMap

Returns

BasicSet

domain_factor_domain(self)¶
Parameters

self – Map

Returns

Map

domain_factor_range(self)¶
Parameters

self – Map

Returns

Map

domain_is_wrapping(self)¶
Parameters

self – Map

Returns

bool

domain_map(self)¶
Parameters

self – BasicMap

Returns

BasicMap

domain_map_union_pw_multi_aff(self)¶
Parameters

self – UnionMap

Returns

UnionPwMultiAff

domain_product(self, bmap2)¶
Parameters
Returns

BasicMap

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

BasicMap

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

BasicMap

drop_unused_params(self)¶
Parameters

self – BasicMap

Returns

BasicMap

dump(self)¶
Parameters

self – BasicMap

Returns

None

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

BasicMap

static empty(space)¶
Parameters

space – Space

Returns

BasicMap

eq_at_multi_pw_aff(self, mpa)¶
Parameters
Returns

Map

eq_at_multi_union_pw_aff(self, mupa)¶
Parameters
Returns

UnionMap

static equal(space, n_equal)¶
Parameters
Returns

BasicMap

equalities_matrix(self, c1, c2, c3, c4, c5)¶
Parameters
Returns

Mat

equate(self, type1, pos1, type2, pos2)¶
Parameters
Returns

BasicMap

every_map(self, test)¶
Parameters
  • self – UnionMap

  • test – callback(map)

Returns

bool

extract_map(self, space)¶
Parameters
Returns

Map

factor_domain(self)¶
Parameters

self – Map

Returns

Map

factor_range(self)¶
Parameters

self – Map

Returns

Map

find_dim_by_id(self, type, id)¶
Parameters
Returns

int

find_dim_by_name(self, type, name)¶
Parameters
Returns

int

fix_input_si(self, input, value)¶
Parameters
Returns

Map

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

BasicMap

fixed_power_val(self, exp)¶
Parameters
  • self – Map

  • exp – Val

Returns

Map

flat_domain_product(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

flat_product(self, bmap2)¶
Parameters
Returns

BasicMap

flat_range_product(self, bmap2)¶
Parameters
Returns

BasicMap

flatten(self)¶
Parameters

self – BasicMap

Returns

BasicMap

flatten_domain(self)¶
Parameters

self – BasicMap

Returns

BasicMap

flatten_range(self)¶
Parameters

self – BasicMap

Returns

BasicMap

floordiv_val(self, d)¶
Parameters
  • self – Map

  • d – Val

Returns

Map

foreach_basic_map(self, fn)¶
Parameters
  • self – Map

  • fn – callback(bmap)

Returns

isl_stat

foreach_constraint(self, fn)¶
Parameters
  • self – BasicMap

  • fn – callback(c)

Returns

isl_stat

foreach_map(self, fn)¶
Parameters
  • self – UnionMap

  • fn – callback(map)

Returns

isl_stat

static from_aff(aff)¶
Parameters

aff – Aff

Returns

BasicMap

static from_aff_list(domain_space, list)¶
Parameters
Returns

BasicMap

static from_constraint(constraint)¶
Parameters

constraint – Constraint

Returns

BasicMap

static from_constraint_matrices(space, eq, ineq, c1, c2, c3, c4, c5)¶
Parameters
Returns

BasicMap

static from_domain(bset)¶
Parameters

bset – BasicSet

Returns

BasicMap

static from_domain_and_range(domain, range)¶
Parameters
Returns

BasicMap

static from_multi_aff(maff)¶
Parameters

maff – MultiAff

Returns

BasicMap

static from_qpolynomial(qp)¶
Parameters

qp – QPolynomial

Returns

BasicMap

static from_range(bset)¶
Parameters

bset – BasicSet

Returns

BasicMap

get_basic_map_list(self)¶
Parameters

self – Map

Returns

BasicMapList

get_basic_maps()¶

Get the list of BasicMap instances in this Map.

get_constraint_list(self)¶
Parameters

self – BasicMap

Returns

ConstraintList

get_constraints()¶

Get a list of constraints.

get_ctx(self)¶
Parameters

self – BasicMap

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_dim_name(self, type, pos)¶
Parameters
Returns

string

get_div(self, pos)¶
Parameters
Returns

Aff

get_id_dict(dimtype=None)¶

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

Parameters

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

get_local_space(self)¶
Parameters

self – BasicMap

Returns

LocalSpace

get_map_list(self)¶
Parameters

self – UnionMap

Returns

MapList

get_range_simple_fixed_box_hull(self)¶
Parameters

self – Map

Returns

FixedBox

get_range_stride_info(self, pos)¶
Parameters
  • self – Map

  • pos – int

Returns

StrideInfo

get_space(self)¶
Parameters

self – BasicMap

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, context)¶
Parameters
Returns

BasicMap

gist_basic_map(self, context)¶
Parameters
Returns

Map

gist_domain(self, context)¶
Parameters
Returns

BasicMap

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

  • context – Set

Returns

Map

gist_range(self, context)¶
Parameters
  • self – Map

  • context – Set

Returns

Map

has_defining_equality(self, type, pos)¶
Parameters
Returns

c (Constraint)

has_dim_id(self, type, pos)¶
Parameters
Returns

bool

has_dim_name(self, type, pos)¶
Parameters
Returns

bool

has_equal_space(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

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

BasicMap

image_is_bounded(self)¶
Parameters

self – BasicMap

Returns

bool

inequalities_matrix(self, c1, c2, c3, c4, c5)¶
Parameters
Returns

Mat

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

BasicMap

intersect(self, bmap2)¶
Parameters
Returns

BasicMap

intersect_domain(self, bset)¶
Parameters
Returns

BasicMap

intersect_domain_factor_domain(self, factor)¶
Parameters
  • self – Map

  • factor – Map

Returns

Map

intersect_domain_factor_range(self, factor)¶
Parameters
  • self – Map

  • factor – Map

Returns

Map

intersect_domain_space(self, space)¶
Parameters
Returns

UnionMap

intersect_domain_union_set(self, uset)¶
Parameters
Returns

UnionMap

intersect_params(self, params)¶
Parameters
  • self – Map

  • params – Set

Returns

Map

intersect_range(self, bset)¶
Parameters
Returns

BasicMap

intersect_range_factor_domain(self, factor)¶
Parameters
  • self – Map

  • factor – Map

Returns

Map

intersect_range_factor_range(self, factor)¶
Parameters
  • self – Map

  • factor – Map

Returns

Map

intersect_range_space(self, space)¶
Parameters
Returns

UnionMap

intersect_range_union_set(self, uset)¶
Parameters
Returns

UnionMap

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

bool

is_bijective(self)¶
Parameters

self – Map

Returns

bool

is_disjoint(self, bmap2)¶
Parameters
Returns

bool

is_empty(self)¶
Parameters

self – BasicMap

Returns

bool

is_equal(self, bmap2)¶
Parameters
Returns

bool

is_identity(self)¶
Parameters

self – Map

Returns

bool

is_injective(self)¶
Parameters

self – Map

Returns

bool

is_product(self)¶
Parameters

self – Map

Returns

bool

is_rational(self)¶
Parameters

self – BasicMap

Returns

bool

is_single_valued(self)¶
Parameters

self – BasicMap

Returns

bool

is_strict_subset(self, bmap2)¶
Parameters
Returns

bool

is_subset(self, bmap2)¶
Parameters
Returns

bool

is_translation(self)¶
Parameters

self – Map

Returns

bool

is_universe(self)¶
Parameters

self – BasicMap

Returns

bool

isa_map(self)¶
Parameters

self – UnionMap

Returns

bool

static less_at(space, pos)¶
Parameters
Returns

BasicMap

lex_ge_at_multi_pw_aff(self, mpa)¶
Parameters
Returns

Map

lex_ge_at_multi_union_pw_aff(self, mupa)¶
Parameters
Returns

UnionMap

lex_ge_map(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

lex_ge_union_map(self, umap2)¶
Parameters
Returns

UnionMap

lex_gt_at_multi_pw_aff(self, mpa)¶
Parameters
Returns

Map

lex_gt_at_multi_union_pw_aff(self, mupa)¶
Parameters
Returns

UnionMap

lex_gt_map(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

lex_gt_union_map(self, umap2)¶
Parameters
Returns

UnionMap

lex_le_at_multi_pw_aff(self, mpa)¶
Parameters
Returns

Map

lex_le_at_multi_union_pw_aff(self, mupa)¶
Parameters
Returns

UnionMap

lex_le_map(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

lex_le_union_map(self, umap2)¶
Parameters
Returns

UnionMap

lex_lt_at_multi_pw_aff(self, mpa)¶
Parameters
Returns

Map

lex_lt_at_multi_union_pw_aff(self, mupa)¶
Parameters
Returns

UnionMap

lex_lt_map(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

lex_lt_union_map(self, umap2)¶
Parameters
Returns

UnionMap

lexmax(self)¶
Parameters

self – BasicMap

Returns

Map

lexmax_pw_multi_aff(self)¶
Parameters

self – Map

Returns

PwMultiAff

lexmin(self)¶
Parameters

self – BasicMap

Returns

Map

lexmin_pw_multi_aff(self)¶
Parameters

self – BasicMap

Returns

PwMultiAff

lower_bound_multi_pw_aff(self, lower)¶
Parameters
Returns

Map

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

BasicMap

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

Map

make_disjoint(self)¶
Parameters

self – Map

Returns

Map

max_multi_pw_aff(self)¶
Parameters

self – Map

Returns

MultiPwAff

min_multi_pw_aff(self)¶
Parameters

self – Map

Returns

MultiPwAff

static more_at(space, pos)¶
Parameters
Returns

BasicMap

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

BasicMap

n_basic_map(self)¶
Parameters

self – Map

Returns

isl_size

n_constraint(self)¶
Parameters

self – BasicMap

Returns

isl_size

n_map(self)¶
Parameters

self – UnionMap

Returns

isl_size

static nat_universe(space)¶
Parameters

space – Space

Returns

BasicMap

neg(self)¶
Parameters

self – BasicMap

Returns

BasicMap

oppose(self, type1, pos1, type2, pos2)¶
Parameters
Returns

Map

order_ge(self, type1, pos1, type2, pos2)¶
Parameters
Returns

BasicMap

order_gt(self, type1, pos1, type2, pos2)¶
Parameters
Returns

BasicMap

order_le(self, type1, pos1, type2, pos2)¶
Parameters
Returns

Map

order_lt(self, type1, pos1, type2, pos2)¶
Parameters
Returns

Map

params(self)¶
Parameters

self – Map

Returns

Set

partial_lexmax(self, dom)¶
Parameters
Returns

tuple: (Map, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)¶
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)¶
Parameters
Returns

tuple: (Map, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)¶
Parameters
Returns

tuple: (PwMultiAff, empty (Set))

plain_get_val_if_fixed(self, type, pos)¶
Parameters
Returns

Val

plain_is_empty(self)¶
Parameters

self – BasicMap

Returns

bool

plain_is_equal(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

bool

plain_is_injective(self)¶
Parameters

self – Map

Returns

bool

plain_is_single_valued(self)¶
Parameters

self – Map

Returns

bool

plain_is_universe(self)¶
Parameters

self – BasicMap

Returns

bool

plain_unshifted_simple_hull(self)¶
Parameters

self – Map

Returns

BasicMap

polyhedral_hull(self)¶
Parameters

self – Map

Returns

BasicMap

power(self)¶
Parameters

self – Map

Returns

tuple: (Map, exact (Bool))

preimage_domain_multi_aff(self, ma)¶
Parameters
Returns

BasicMap

preimage_domain_multi_pw_aff(self, mpa)¶
Parameters
Returns

Map

preimage_domain_pw_multi_aff(self, pma)¶
Parameters
Returns

Map

preimage_domain_union_pw_multi_aff(self, upma)¶
Parameters
Returns

UnionMap

preimage_range_multi_aff(self, ma)¶
Parameters
Returns

BasicMap

preimage_range_pw_multi_aff(self, pma)¶
Parameters
Returns

Map

preimage_range_union_pw_multi_aff(self, upma)¶
Parameters
Returns

UnionMap

product(self, bmap2)¶
Parameters
Returns

BasicMap

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

BasicMap

project_out_all_params(self)¶
Parameters

self – Map

Returns

Map

project_out_except(names, types)¶
Parameters
  • types – list of dim_type determining the types of axes to project out

  • names – names of axes matching the above which should be left alone by the projection

New in version 2011.3.

range(self)¶
Parameters

self – BasicMap

Returns

BasicSet

range_curry(self)¶
Parameters

self – Map

Returns

Map

range_factor_domain(self)¶
Parameters

self – Map

Returns

Map

range_factor_range(self)¶
Parameters

self – Map

Returns

Map

range_is_wrapping(self)¶
Parameters

self – Map

Returns

bool

range_map(self)¶
Parameters

self – BasicMap

Returns

BasicMap

range_product(self, bmap2)¶
Parameters
Returns

BasicMap

range_reverse(self)¶
Parameters

self – Map

Returns

Map

reaching_path_lengths(self)¶
Parameters

self – Map

Returns

tuple: (Map, exact (Bool))

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

  • str – string

Returns

BasicMap

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

BasicMap

remove_divs(self)¶
Parameters

self – BasicMap

Returns

BasicMap

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

BasicMap

remove_inputs(self, first, n)¶
Parameters
Returns

Map

remove_map_if(self, fn)¶
Parameters
  • self – UnionMap

  • fn – callback(map)

Returns

UnionMap

remove_redundancies(self)¶
Parameters

self – BasicMap

Returns

BasicMap

remove_unknown_divs(self)¶
Parameters

self – Map

Returns

Map

reset_tuple_id(self, type)¶
Parameters
Returns

Map

reset_user(self)¶
Parameters

self – Map

Returns

Map

reverse(self)¶
Parameters

self – BasicMap

Returns

BasicMap

sample(self)¶
Parameters

self – BasicMap

Returns

BasicMap

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

Map

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

BasicMap

set_tuple_id(self, type, id)¶
Parameters
Returns

BasicMap

set_tuple_name(self, type, s)¶
Parameters
Returns

BasicMap

simple_hull(self)¶
Parameters

self – Map

Returns

BasicMap

property space¶

get_space(self)

Parameters

self – BasicMap

Returns

Space

subtract(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

subtract_domain(self, dom)¶
Parameters
  • self – Map

  • dom – Set

Returns

Map

subtract_range(self, dom)¶
Parameters
  • self – Map

  • dom – Set

Returns

Map

sum(self, bmap2)¶
Parameters
Returns

BasicMap

to_str(self)¶
Parameters

self – BasicMap

Returns

string

total_dim(self)¶
Parameters

self – BasicMap

Returns

isl_size

transitive_closure(self)¶
Parameters

self – Map

Returns

tuple: (Map, exact (Bool))

uncurry(self)¶
Parameters

self – BasicMap

Returns

BasicMap

union(self, bmap2)¶
Parameters
Returns

Map

union_disjoint(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

static universe(space)¶
Parameters

space – Space

Returns

BasicMap

unshifted_simple_hull(self)¶
Parameters

self – Map

Returns

BasicMap

unshifted_simple_hull_from_map_list(self, list)¶
Parameters
Returns

BasicMap

upper_bound_multi_pw_aff(self, upper)¶
Parameters
Returns

Map

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

BasicMap

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

Map

wrap(self)¶
Parameters

self – BasicMap

Returns

BasicSet

zip(self)¶
Parameters

self – BasicMap

Returns

BasicMap

Set¶

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

Return self==value.

__hash__()¶

Return hash(self).

__len__()¶

size(self)

Parameters

self – Set

Returns

int

__ne__(other)¶

Return self!=value.

add_constraint(self, constraint)¶
Parameters
Returns

Set

add_constraints(constraints)¶

New in version 2011.3.

add_dims(self, type, n)¶
Parameters
Returns

Set

add_set(self, set)¶
Parameters
Returns

UnionSet

affine_hull(self)¶
Parameters

self – Set

Returns

BasicSet

align_divs(self)¶
Parameters

self – Set

Returns

Set

align_params(self, model)¶
Parameters
Returns

Set

apply(self, map)¶
Parameters
  • self – Set

  • map – Map

Returns

Set

apply_pw_qpolynomial_fold(self, pwf)¶
Parameters
Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_union_pw_qpolynomial_fold(self, upwf)¶
Parameters
Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

bind(self, tuple)¶
Parameters
Returns

Set

bounded_simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

static box_from_points(pnt1, pnt2)¶
Parameters
Returns

Set

coalesce(self)¶
Parameters

self – Set

Returns

Set

coefficients(self)¶
Parameters

self – Set

Returns

BasicSet

complement(self)¶
Parameters

self – Set

Returns

Set

compute_divs(self)¶
Parameters

self – Set

Returns

Set

compute_schedule(self, validity, proximity)¶
Parameters
Returns

Schedule

contains(self, space)¶
Parameters
Returns

bool

convex_hull(self)¶
Parameters

self – Set

Returns

BasicSet

copy(self)¶
Parameters

self – Set

Returns

Set

count_val(self)¶
Parameters

self – Set

Returns

Val

detect_equalities(self)¶
Parameters

self – Set

Returns

Set

dim(self, type)¶
Parameters
Returns

isl_size

dim_has_any_lower_bound(self, type, pos)¶
Parameters
Returns

bool

dim_has_any_upper_bound(self, type, pos)¶
Parameters
Returns

bool

dim_has_lower_bound(self, type, pos)¶
Parameters
Returns

bool

dim_has_upper_bound(self, type, pos)¶
Parameters
Returns

bool

dim_is_bounded(self, type, pos)¶
Parameters
Returns

bool

dim_max(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

PwAff

dim_max_val(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

Val

dim_min(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

PwAff

dim_min_val(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

Val

dim_residue_class_val(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

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

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

Set

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

Set

drop_unused_params(self)¶
Parameters

self – Set

Returns

Set

dump(self)¶
Parameters

self – Set

Returns

None

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

Set

eliminate_dims(self, first, n)¶
Parameters
Returns

Set

eliminate_except(names, types)¶
Parameters
  • types – list of dim_type determining the types of axes to eliminate

  • names – names of axes matching the above which should be left alone by the eliminate

New in version 2011.3.

static empty(space)¶
Parameters

space – Space

Returns

Set

equate(self, type1, pos1, type2, pos2)¶
Parameters
Returns

Set

every_set(self, test)¶
Parameters
  • self – UnionSet

  • test – callback(set)

Returns

bool

extract_set(self, space)¶
Parameters
Returns

Set

find_dim_by_id(self, type, id)¶
Parameters
Returns

int

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

  • type – dim_type

  • name – string

Returns

int

fix_dim_si(self, dim, value)¶
Parameters
Returns

Set

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

Set

flat_product(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

flatten(self)¶
Parameters

self – Set

Returns

Set

flatten_map(self)¶
Parameters

self – Set

Returns

Map

follows_at(self, set2, pos)¶
Parameters
  • self – Set

  • set2 – Set

  • pos – int

Returns

int

foreach_basic_set(self, fn)¶
Parameters
  • self – Set

  • fn – callback(bset)

Returns

isl_stat

foreach_point(self, fn)¶
Parameters
  • self – Set

  • fn – callback(pnt)

Returns

isl_stat

foreach_set(self, fn)¶
Parameters
  • self – UnionSet

  • fn – callback(set)

Returns

isl_stat

static from_basic_set(bset)¶
Parameters

bset – BasicSet

Returns

Set

static from_multi_aff(ma)¶
Parameters

ma – MultiAff

Returns

Set

static from_multi_pw_aff(mpa)¶
Parameters

mpa – MultiPwAff

Returns

Set

from_params(self)¶
Parameters

self – Set

Returns

Set

static from_point(pnt)¶
Parameters

pnt – Point

Returns

Set

static from_pw_aff(pwaff)¶
Parameters

pwaff – PwAff

Returns

Set

static from_pw_multi_aff(pma)¶
Parameters

pma – PwMultiAff

Returns

Set

static from_union_set(uset)¶
Parameters

uset – UnionSet

Returns

Set

get_basic_set_list(self)¶
Parameters

self – Set

Returns

BasicSetList

get_basic_sets()¶

Get the list of BasicSet instances in this Set.

get_ctx(self)¶
Parameters

self – Set

Returns

Context

get_dim_id(self, type, pos)¶
Parameters
Returns

Id

get_dim_name(self, type, pos)¶
Parameters
Returns

string

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

self – Set

Returns

MultiVal

get_set_list(self)¶
Parameters

self – UnionSet

Returns

SetList

get_simple_fixed_box_hull(self)¶
Parameters

self – Set

Returns

FixedBox

get_space(self)¶
Parameters

self – Set

Returns

Space

get_stride(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

Val

get_stride_info(self, pos)¶
Parameters
  • self – Set

  • pos – int

Returns

StrideInfo

get_tuple_id(self)¶
Parameters

self – Set

Returns

Id

get_tuple_name(self)¶
Parameters

self – Set

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, context)¶
Parameters
  • self – Set

  • context – Set

Returns

Set

gist_basic_set(self, context)¶
Parameters
Returns

Set

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

  • context – Set

Returns

Set

has_dim_id(self, type, pos)¶
Parameters
Returns

bool

has_dim_name(self, type, pos)¶
Parameters
Returns

bool

has_equal_space(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

has_tuple_id(self)¶
Parameters

self – Set

Returns

bool

has_tuple_name(self)¶
Parameters

self – Set

Returns

bool

identity(self)¶
Parameters

self – Set

Returns

Map

identity_union_pw_multi_aff(self)¶
Parameters

self – UnionSet

Returns

UnionPwMultiAff

indicator_function(self)¶
Parameters

self – Set

Returns

PwAff

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

Set

insert_domain(self, domain)¶
Parameters
Returns

Map

intersect(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

intersect_factor_domain(self, domain)¶
Parameters
  • self – Set

  • domain – Set

Returns

Set

intersect_factor_range(self, range)¶
Parameters
  • self – Set

  • range – Set

Returns

Set

intersect_params(self, params)¶
Parameters
  • self – Set

  • params – Set

Returns

Set

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

bool

involves_locals(self)¶
Parameters

self – Set

Returns

bool

is_bounded(self)¶
Parameters

self – Set

Returns

bool

is_box(self)¶
Parameters

self – Set

Returns

bool

is_disjoint(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

is_empty(self)¶
Parameters

self – Set

Returns

bool

is_equal(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

is_params(self)¶
Parameters

self – Set

Returns

bool

is_singleton(self)¶
Parameters

self – Set

Returns

bool

is_strict_subset(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

is_subset(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

is_wrapping(self)¶
Parameters

self – Set

Returns

bool

isa_set(self)¶
Parameters

self – UnionSet

Returns

bool

lex_ge_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_ge_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lex_gt_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_gt_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lex_le_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_le_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lex_lt_set(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Map

lex_lt_union_set(self, uset2)¶
Parameters
Returns

UnionMap

lexmax(self)¶
Parameters

self – Set

Returns

Set

lexmax_pw_multi_aff(self)¶
Parameters

self – Set

Returns

PwMultiAff

lexmin(self)¶
Parameters

self – Set

Returns

Set

lexmin_pw_multi_aff(self)¶
Parameters

self – Set

Returns

PwMultiAff

lift(self)¶
Parameters

self – Set

Returns

Set

lower_bound_multi_pw_aff(self, lower)¶
Parameters
Returns

Set

lower_bound_multi_val(self, lower)¶
Parameters
Returns

Set

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

Set

make_disjoint(self)¶
Parameters

self – Set

Returns

Set

max_multi_pw_aff(self)¶
Parameters

self – Set

Returns

MultiPwAff

max_val(self, obj)¶
Parameters
  • self – Set

  • obj – Aff

Returns

Val

min_multi_pw_aff(self)¶
Parameters

self – Set

Returns

MultiPwAff

min_multi_union_pw_aff(self, obj)¶
Parameters
Returns

MultiVal

min_val(self, obj)¶
Parameters
  • self – Set

  • obj – Aff

Returns

Val

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

Set

n_basic_set(self)¶
Parameters

self – Set

Returns

isl_size

n_dim(self)¶
Parameters

self – Set

Returns

isl_size

n_param(self)¶
Parameters

self – Set

Returns

isl_size

n_set(self)¶
Parameters

self – UnionSet

Returns

isl_size

static nat_universe(space)¶
Parameters

space – Space

Returns

Set

neg(self)¶
Parameters

self – Set

Returns

Set

params(self)¶
Parameters

self – Set

Returns

Set

partial_lexmax(self, dom)¶
Parameters
  • self – Set

  • dom – Set

Returns

tuple: (Set, empty (Set))

partial_lexmin(self, dom)¶
Parameters
  • self – Set

  • dom – Set

Returns

tuple: (Set, empty (Set))

plain_cmp(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

int

plain_get_val_if_fixed(self, type, pos)¶
Parameters
Returns

Val

plain_is_disjoint(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

plain_is_empty(self)¶
Parameters

self – Set

Returns

bool

plain_is_equal(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

bool

plain_is_universe(self)¶
Parameters

self – Set

Returns

bool

plain_unshifted_simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

polyhedral_hull(self)¶
Parameters

self – Set

Returns

BasicSet

preimage_multi_aff(self, ma)¶
Parameters
Returns

Set

preimage_multi_pw_aff(self, mpa)¶
Parameters
Returns

Set

preimage_pw_multi_aff(self, pma)¶
Parameters
Returns

Set

preimage_union_pw_multi_aff(self, upma)¶
Parameters
Returns

UnionSet

product(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

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

Map

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

Set

project_out_all_params(self)¶
Parameters

self – Set

Returns

Set

project_out_except(names, types)¶
Parameters
  • types – list of dim_type determining the types of axes to project out

  • names – names of axes matching the above which should be left alone by the projection

New in version 2011.3.

project_out_param_id(self, id)¶
Parameters
  • self – Set

  • id – Id

Returns

Set

project_out_param_id_list(self, list)¶
Parameters
Returns

Set

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

  • str – string

Returns

Set

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

Set

remove_divs(self)¶
Parameters

self – Set

Returns

Set

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

Set

remove_redundancies(self)¶
Parameters

self – Set

Returns

Set

remove_unknown_divs(self)¶
Parameters

self – Set

Returns

Set

reset_space(self, space)¶
Parameters
Returns

Set

reset_tuple_id(self)¶
Parameters

self – Set

Returns

Set

reset_user(self)¶
Parameters

self – Set

Returns

Set

sample(self)¶
Parameters

self – Set

Returns

BasicSet

sample_point(self)¶
Parameters

self – Set

Returns

Point

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

Set

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

Set

set_tuple_id(self, id)¶
Parameters
  • self – Set

  • id – Id

Returns

Set

set_tuple_name(self, s)¶
Parameters
  • self – Set

  • s – string

Returns

Set

simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

solutions(self)¶
Parameters

self – Set

Returns

BasicSet

property space¶

get_space(self)

Parameters

self – Set

Returns

Space

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

Set

subtract(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

sum(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

to_str(self)¶
Parameters

self – Set

Returns

string

translation(self)¶
Parameters

self – Set

Returns

Map

unbind_params(self, tuple)¶
Parameters
Returns

Set

unbind_params_insert_domain(self, domain)¶
Parameters
Returns

Map

union(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

union_disjoint(self, set2)¶
Parameters
  • self – Set

  • set2 – Set

Returns

Set

static universe(space)¶
Parameters

space – Space

Returns

Set

unshifted_simple_hull(self)¶
Parameters

self – Set

Returns

BasicSet

unshifted_simple_hull_from_set_list(self, list)¶
Parameters
Returns

BasicSet

unwrap(self)¶
Parameters

self – Set

Returns

Map

upper_bound_multi_pw_aff(self, upper)¶
Parameters
Returns

Set

upper_bound_multi_val(self, upper)¶
Parameters
Returns

Set

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

Set

wrapped_domain_map(self)¶
Parameters

self – Set

Returns

Map

Map¶

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

Return self==value.

__hash__()¶

Return hash(self).

__ne__(other)¶

Return self!=value.

add_constraint(self, constraint)¶
Parameters
Returns

Map

add_constraints(constraints)¶

New in version 2011.3.

add_dims(self, type, n)¶
Parameters
Returns

Map

add_map(self, map)¶
Parameters
Returns

UnionMap

affine_hull(self)¶
Parameters

self – Map

Returns

BasicMap

align_divs(self)¶
Parameters

self – Map

Returns

Map

align_params(self, model)¶
Parameters
Returns

Map

apply_domain(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

apply_pw_qpolynomial_fold(self, pwf)¶
Parameters
Returns

tuple: (PwQPolynomialFold, tight (Bool))

apply_range(self, map2)¶
Parameters
  • self – Map

  • map2 – Map

Returns

Map

apply_union_pw_qpolynomial_fold(self, upwf)¶
Parameters
Returns

tuple: (UnionPwQPolynomialFold, tight (Bool))

bind_domain(self, tuple)¶
Parameters
Returns

Set

bind_range(self, tuple)¶
Parameters
Returns

Set

can_curry(self)¶
Parameters

self – Map

Returns

bool

can_range_curry(self)¶
Parameters

self – Map

Returns

bool

can_uncurry(self)¶
Parameters

self – Map

Returns

bool

can_zip(self)¶
Parameters

self – Map

Returns

bool

coalesce(self)¶
Parameters

self – Map

Returns

Map

complement(self)¶
Parameters

self – Map

Returns

Map

compute_divs(self)¶
Parameters

self – Map

Returns

Map

compute_flow(self, must_source, may_source, schedule)¶
Parameters
Returns

tuple: (must_dep (UnionMap), may_dep (UnionMap), must_no_source (UnionMap), may_no_source (UnionMap))

contains(self, space)¶
Parameters
Returns

bool

convex_hull(self)¶
Parameters

self – Map

Returns

BasicMap

copy(self)¶
Parameters

self – Map

Returns

Map

curry(self)¶
Parameters

self – Map

Returns

Map

deltas(self)¶
Parameters

self – Map

Returns

Set

deltas_map(self)¶
Parameters

self – Map

Returns

Map

detect_equalities(self)¶
Parameters

self – Map

Returns

Map

dim(