Reference guide

General Remarks

Creation via Static Methods

To map more directly to the isl’s C interface, object creation in islpy is done through static methods instead of through constructors. These are marked ‘(static)’ in each class’s overview section.

Documented vs. Non-documented Functionality

Since islpy is automatically generated from the isl C headers, some of the functionality it exposes might be undocumented. Undocumented functionality might change or vanish without notice. ‘Documented’ functionality is defined as whatever is mentioned in the isl manual. islpy will let you call undocumented functions, but you are doing so at your own risk.

Invalidation of Arguments

You may notice that a few methods below say ‘(becomes invalid)’. This has to do with an idiosyncrasy in isl’s interface that was retained at the Python level for efficiency. Such arguments will be deleted (by isl) upon entry to the called function. If you would like to retain access to that object, simply append a .copy() to that argument. (Note that you will notice if an object got deleted for you accidentally, as the next operation on it will simply fail with an exception.)

Integers

Whenever an integer argument is required, islpy supports regular Python integers, Python long integers, and gmpy integers. It will return gmpy integers.

Automatic Casts

islpy will automatically perform the following upward casts in argument lists:

Called with	Argument Type
BasicSet	Set
BasicMap	Map
Set	UnionSet
Map	UnionMap
Space	LocalSpace
Aff	PwAff

as well as casts contained in the transitive closure of this ‘casting graph’.

Symbolic Constants

class islpy.format

C = 4

EXT_POLYLIB = 6

ISL = 0

LATEX = 5

OMEGA = 3

POLYLIB = 1

POLYLIB_CONSTRAINTS = 2

class islpy.error

abort = islpy._isl.error.abort

internal = islpy._isl.error.internal

invalid = islpy._isl.error.invalid

none = islpy._isl.error.none

unknown = islpy._isl.error.unknown

unsupported = islpy._isl.error.unsupported

class islpy.dim_type

all = islpy._isl.dim_type.all

cst = islpy._isl.dim_type.cst

div = islpy._isl.dim_type.div

in_ = islpy._isl.dim_type.in_

out = islpy._isl.dim_type.out

param = islpy._isl.dim_type.param

set = islpy._isl.dim_type.set

class islpy.fold

list = islpy._isl.fold.list

max = islpy._isl.fold.max

min = islpy._isl.fold.min

class islpy.constants

BOUND_BERNSTEIN = 0

BOUND_RANGE = 1

ON_ERROR_ABORT = 2

ON_ERROR_CONTINUE = 1

ON_ERROR_WARN = 0

SCHEDULE_ALGORITHM_FEAUTRIER = 1

SCHEDULE_ALGORITHM_ISL = 0

Basic Building Blocks

Context

class islpy.Context

Space

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

class islpy.Space

__eq__() __hash__() (static) add_dims() align_params() alloc() (static) can_curry() can_zip() compatible() copy() create_from_names() (static) curry() dim() domain() domain_product() drop_dims() drop_inputs() drop_outputs() extend() find_dim_by_id() find_dim_by_name() from_domain() from_range()

get_ctx() get_dim_id() get_dim_name() get_div() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_names() has_dim_id() has_dim_name() has_tuple_id() has_tuple_name() insert_dims() intersect() is_equal() is_params() is_set() is_valid() is_wrapping() join() lifting()

map_from_domain_and_range() map_from_set() match() move_dims() params() params_alloc() (static) product() range() range_product() reset_tuple_id() reverse() set_alloc() (static) set_dim_id() set_dim_name() set_from_params() set_tuple_id() set_tuple_name() tuple_match() unwrap() wrap() zip()

add_dims(self, type, n)

Parameters:

• self – Space
• type – dim_type
• n – unsigned

Returns:

Space

align_params(self, dim2)

Parameters:

• self – Space
• dim2 – Space

Returns:

Space

alloc(ctx, nparam, n_in, n_out)

Parameters:

• ctx – Context
• nparam – unsigned
• n_in – unsigned
• n_out – unsigned

Returns:

Space

can_curry(self)

Parameters:self – Space Returns:int

can_zip(self)

Parameters:self – Space Returns:int

compatible(self, dim2)

Parameters:

• self – Space
• dim2 – Space

Returns:

int

copy(self)

Parameters:self – Space Returns:Space

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

Create a Space from lists of variable names.

Parameters:

• set_` – names of set-type variables.
• in_` – names of in-type variables.
• out` – names of out-type variables.
• params` – names of parameter-type variables.

curry(self)

Parameters:self – Space Returns:Space

dim(self, type)

Parameters:

• self – Space
• type – dim_type

Returns:

unsigned

domain(self)

Parameters:self – Space Returns:Space

domain_product(self, right)

Parameters:

• self – Space
• right – Space

Returns:

Space

drop_dims(self, type, first, num)

Parameters:

• self – Space
• type – dim_type
• first – unsigned
• num – unsigned

Returns:

Space

drop_inputs(self, first, n)

Parameters:

• self – Space
• first – unsigned
• n – unsigned

Returns:

Space

drop_outputs(self, first, n)

Parameters:

• self – Space
• first – unsigned
• n – unsigned

Returns:

Space

extend(self, nparam, n_in, n_out)

Parameters:

• self – Space
• nparam – unsigned
• n_in – unsigned
• n_out – unsigned

Returns:

Space

find_dim_by_id(self, type, id)

Parameters:

• self – Space
• type – dim_type
• id – Id

Returns:

int

find_dim_by_name(self, type, name)

Parameters:

• self – Space
• type – dim_type
• name – string

Returns:

int

from_domain(self)

Parameters:self – Space Returns:Space

from_range(self)

Parameters:self – Space Returns:Space

get_ctx(self)

Parameters:self – Space Returns:Context

get_dim_id(self, type, pos)

Parameters:

• self – Space
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – Space
• type – dim_type
• pos – unsigned

Returns:

string

get_div(self, pos)

Parameters:

• self – LocalSpace
• pos – int

Returns:

Aff

get_space(self)

Parameters:self – LocalSpace Returns:Space

get_tuple_id(self, type)

Parameters:

• self – Space
• type – dim_type

Returns:

Id

get_tuple_name(self, type)

Parameters:

• self – Space
• type – dim_type

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.

has_dim_id(self, type, pos)

Parameters:

• self – Space
• type – dim_type
• pos – unsigned

Returns:

bool

has_dim_name(self, type, pos)

Parameters:

• self – Space
• type – dim_type
• pos – unsigned

Returns:

bool

has_tuple_id(self, type)

Parameters:

• self – Space
• type – dim_type

Returns:

bool

has_tuple_name(self, type)

Parameters:

• self – Space
• type – dim_type

Returns:

bool

insert_dims(self, type, pos, n)

Parameters:

• self – Space
• type – dim_type
• pos – unsigned
• n – unsigned

Returns:

Space

intersect(self, ls2)

Parameters:

• self – LocalSpace
• ls2 – LocalSpace

Returns:

LocalSpace

is_equal(self, dim2)

Parameters:

• self – Space
• dim2 – Space

Returns:

bool

is_params(self)

Parameters:self – Space Returns:bool

is_set(self)

Parameters:self – Space Returns:bool

is_valid()

Return whether current object is still valid.

is_wrapping(self)

Parameters:self – Space Returns:bool

join(self, right)

Parameters:

• self – Space
• right – Space

Returns:

Space

lifting(self)

Parameters:self – LocalSpace Returns:BasicMap

map_from_domain_and_range(self, range)

Parameters:

• self – Space
• range – Space

Returns:

Space

map_from_set(self)

Parameters:self – Space Returns:Space

match(self, dim1_type, dim2, dim2_type)

Parameters:

• self – Space
• dim1_type – dim_type
• dim2 – Space
• dim2_type – dim_type

Returns:

int

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

Parameters:

• self – Space
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

Space

params(self)

Parameters:self – Space Returns:Space

params_alloc(ctx, nparam)

Parameters:

• ctx – Context
• nparam – unsigned

Returns:

Space

product(self, right)

Parameters:

• self – Space
• right – Space

Returns:

Space

range(self)

Parameters:self – Space Returns:Space

range_product(self, right)

Parameters:

• self – Space
• right – Space

Returns:

Space

reset_tuple_id(self, type)

Parameters:

• self – Space
• type – dim_type

Returns:

Space

reverse(self)

Parameters:self – Space Returns:Space

set_alloc(ctx, nparam, dim)

Parameters:

• ctx – Context
• nparam – unsigned
• dim – unsigned

Returns:

Space

set_dim_id(self, type, pos, id)

Parameters:

• self – Space
• type – dim_type
• pos – unsigned
• id – Id

Returns:

Space

set_dim_name(self, type, pos, name)

Parameters:

• self – Space
• type – dim_type
• pos – unsigned
• name – string

Returns:

Space

set_from_params(self)

Parameters:self – Space Returns:Space

set_tuple_id(self, type, id)

Parameters:

• self – Space
• type – dim_type
• id – Id

Returns:

Space

set_tuple_name(self, type, s)

Parameters:

• self – Space
• type – dim_type
• s – string

Returns:

Space

tuple_match(self, dim1_type, dim2, dim2_type)

Parameters:

• self – Space
• dim1_type – dim_type
• dim2 – Space
• dim2_type – dim_type

Returns:

int

unwrap(self)

Parameters:self – Space Returns:Space

wrap(self)

Parameters:self – Space Returns:Space

zip(self)

Parameters:self – Space Returns:Space

Local Space

class islpy.LocalSpace

__eq__() __hash__() (static) add_dims() copy() dim() domain() drop_dims() from_domain() from_space() (static)

get_ctx() get_dim_name() get_div() get_space() get_var_dict() get_var_names() has_dim_name() insert_dims()

intersect() is_equal() is_set() is_valid() lifting() range() set_dim_id() set_dim_name()

add_dims(self, type, n)

Parameters:

• self – LocalSpace
• type – dim_type
• n – unsigned

Returns:

LocalSpace

copy(self)

Parameters:self – LocalSpace Returns:LocalSpace

dim(self, type)

Parameters:

• self – LocalSpace
• type – dim_type

Returns:

int

domain(self)

Parameters:self – LocalSpace Returns:LocalSpace

drop_dims(self, type, first, n)

Parameters:

• self – LocalSpace
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

LocalSpace

from_domain(self)

Parameters:self – LocalSpace Returns:LocalSpace

from_space(dim)

Parameters:dim – Space Returns:LocalSpace

get_ctx(self)

Parameters:self – LocalSpace Returns:Context

get_dim_name(self, type, pos)

Parameters:

• self – LocalSpace
• type – dim_type
• pos – unsigned

Returns:

string

get_div(self, pos)

Parameters:

• self – LocalSpace
• pos – int

Returns:

Aff

get_space(self)

Parameters:self – LocalSpace Returns:Space

has_dim_name(self, type, pos)

Parameters:

• self – LocalSpace
• type – dim_type
• pos – unsigned

Returns:

bool

insert_dims(self, type, first, n)

Parameters:

• self – LocalSpace
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

LocalSpace

intersect(self, ls2)

Parameters:

• self – LocalSpace
• ls2 – LocalSpace

Returns:

LocalSpace

is_equal(self, ls2)

Parameters:

• self – LocalSpace
• ls2 – LocalSpace

Returns:

bool

is_set(self)

Parameters:self – LocalSpace Returns:bool

is_valid()

Return whether current object is still valid.

lifting(self)

Parameters:self – LocalSpace Returns:BasicMap

range(self)

Parameters:self – LocalSpace Returns:LocalSpace

set_dim_id(self, type, pos, id)

Parameters:

• self – LocalSpace
• type – dim_type
• pos – unsigned
• id – Id

Returns:

LocalSpace

set_dim_name(self, type, pos, s)

Parameters:

• self – LocalSpace
• type – dim_type
• pos – unsigned
• s – string

Returns:

LocalSpace

space

get_space(self)

Parameters:self – LocalSpace Returns:Space

Constraints

class islpy.Constraint

__hash__() (static) eq_from_names() (static) equality_alloc() (static) equality_from_aff() (static) get_aff() get_bound() get_coefficient() get_coefficients_by_name() get_constant() get_ctx()

get_dim_name() get_div() get_local_space() get_space() get_var_dict() get_var_names() ineq_from_names() (static) inequality_alloc() (static) inequality_from_aff() (static) involves_dims()

is_div_constraint() is_equality() is_lower_bound() is_upper_bound() is_valid() set_coefficient() set_coefficients() set_coefficients_by_name() set_constant()

static eq_from_names(space, coefficients={})

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

Parameters:

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

Changed in version 2011.3: Eliminated the separate const parameter.

equality_alloc(ls)

Parameters:ls – LocalSpace Returns:Constraint

equality_from_aff(aff)

Parameters:aff – Aff Returns:Constraint

get_aff(self)

Parameters:self – Constraint Returns:Aff

get_bound(self, type, pos)

Parameters:

• self – Constraint
• type – dim_type
• pos – int

Returns:

Aff

get_coefficient(self, type, pos)

Parameters:

• self – Constraint
• type – dim_type
• pos – int

Returns:

v (integer)

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

Parameters:self – Constraint Returns:v (integer)

get_ctx(self)

Parameters:self – Constraint Returns:Context

get_dim_name(self, type, pos)

Parameters:

• self – Constraint
• type – dim_type
• pos – unsigned

Returns:

string

get_div(self, pos)

Parameters:

• self – Constraint
• pos – int

Returns:

Aff

get_local_space(self)

Parameters:self – Constraint Returns:LocalSpace

get_space(self)

Parameters:self – Constraint Returns:Space

static ineq_from_names(space, coefficients={})

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

Parameters:

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

Changed in version 2011.3: Eliminated the separate const parameter.

inequality_alloc(ls)

Parameters:ls – LocalSpace Returns:Constraint

inequality_from_aff(aff)

Parameters:aff – Aff Returns:Constraint

involves_dims(self, type, first, n)

Parameters:

• self – Constraint
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_div_constraint(self)

Parameters:self – Constraint Returns:bool

is_equality(self)

Parameters:self – Constraint Returns:bool

is_lower_bound(self, type, pos)

Parameters:

• self – Constraint
• type – dim_type
• pos – unsigned

Returns:

bool

is_upper_bound(self, type, pos)

Parameters:

• self – Constraint
• type – dim_type
• pos – unsigned

Returns:

bool

is_valid()

Return whether current object is still valid.

set_coefficient(self, type, pos, v)

Parameters:

• self – Constraint
• type – dim_type
• pos – int
• v – integer

Returns:

Constraint

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(self, v)

Parameters:

• self – Constraint
• v – integer

Returns:

Constraint

space

get_space(self)

Parameters:self – Constraint Returns:Space

Vector

class islpy.Vec

__eq__() __hash__() (static) __len__() add() alloc() (static) clr() copy() drop_els()

extend() get_ctx() get_element() insert_els() insert_zero_els() is_equal() is_valid()

neg() read_from_file() (static) scale() set() set_element() sort() zero_extend()

add(self, vec2)

Parameters:

• self – Vec
• vec2 – Vec

Returns:

Vec

alloc(ctx, size)

Parameters:

• ctx – Context
• size – unsigned

Returns:

Vec

clr(self)

Parameters:self – Vec Returns:Vec

copy(self)

Parameters:self – Vec Returns:Vec

drop_els(self, pos, n)

Parameters:

• self – Vec
• pos – unsigned
• n – unsigned

Returns:

Vec

extend(self, size)

Parameters:

• self – Vec
• size – unsigned

Returns:

Vec

get_ctx(self)

Parameters:self – Vec Returns:Context

get_element(self, pos)

Parameters:

• self – Vec
• pos – int

Returns:

v (integer)

insert_els(self, pos, n)

Parameters:

• self – Vec
• pos – unsigned
• n – unsigned

Returns:

Vec

insert_zero_els(self, pos, n)

Parameters:

• self – Vec
• pos – unsigned
• n – unsigned

Returns:

Vec

is_equal(self, vec2)

Parameters:

• self – Vec
• vec2 – Vec

Returns:

bool

is_valid()

Return whether current object is still valid.

neg(self)

Parameters:self – Vec Returns:Vec

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

Vec

scale(self, m)

Parameters:

• self – Vec
• m – integer

Returns:

Vec

set(self, v)

Parameters:

• self – Vec
• v – integer

Returns:

Vec

set_element(self, pos, v)

Parameters:

• self – Vec
• pos – int
• v – integer

Returns:

Vec

sort(self)

Parameters:self – Vec Returns:Vec

zero_extend(self, size)

Parameters:

• self – Vec
• size – unsigned

Returns:

Vec

Matrix

class islpy.Mat

__eq__() __hash__() (static) add_rows() add_zero_cols() add_zero_rows() alloc() (static) col_add() cols() concat() copy() diagonal()

from_row_vec() (static) get_ctx() get_element() initial_non_zero_cols() insert_cols() insert_rows() insert_zero_cols() insert_zero_rows() is_equal() is_valid() move_cols()

normalize() normalize_row() print_internal() right_inverse() right_kernel() rows() scale_down_row() set_element() vec_concat() vec_inverse_product()

add_rows(self, n)

Parameters:

• self – Mat
• n – unsigned

Returns:

Mat

add_zero_cols(self, n)

Parameters:

• self – Mat
• n – unsigned

Returns:

Mat

add_zero_rows(self, n)

Parameters:

• self – Mat
• n – unsigned

Returns:

Mat

alloc(ctx, n_row, n_col)

Parameters:

• ctx – Context
• n_row – unsigned
• n_col – unsigned

Returns:

Mat

col_add(self, dst_col, src_col)

Parameters:

• self – Mat
• dst_col – int
• src_col – int

Returns:

None

cols(self)

Parameters:self – Mat Returns:int

concat(self, bot)

Parameters:

• self – Mat
• bot – Mat

Returns:

Mat

copy(self)

Parameters:self – Mat Returns:Mat

diagonal(self, mat2)

Parameters:

• self – Mat
• mat2 – Mat

Returns:

Mat

from_row_vec(vec)

Parameters:vec – Vec Returns:Mat

get_ctx(self)

Parameters:self – Mat Returns:Context

get_element(self, row, col)

Parameters:

• self – Mat
• row – int
• col – int

Returns:

v (integer)

initial_non_zero_cols(self)

Parameters:self – Mat Returns:int

insert_cols(self, col, n)

Parameters:

• self – Mat
• col – unsigned
• n – unsigned

Returns:

Mat

insert_rows(self, row, n)

Parameters:

• self – Mat
• row – unsigned
• n – unsigned

Returns:

Mat

insert_zero_cols(self, first, n)

Parameters:

• self – Mat
• first – unsigned
• n – unsigned

Returns:

Mat

insert_zero_rows(self, row, n)

Parameters:

• self – Mat
• row – unsigned
• n – unsigned

Returns:

Mat

is_equal(self, mat2)

Parameters:

• self – Mat
• mat2 – Mat

Returns:

bool

is_valid()

Return whether current object is still valid.

move_cols(self, dst_col, src_col, n)

Parameters:

• self – Mat
• dst_col – unsigned
• src_col – unsigned
• n – unsigned

Returns:

Mat

normalize(self)

Parameters:self – Mat Returns:Mat

normalize_row(self, row)

Parameters:

• self – Mat
• row – int

Returns:

Mat

print_internal(self, out, indent)

Parameters:

• self – Mat
• out – file-like
• indent – int

Returns:

None

right_inverse(self)

Parameters:self – Mat Returns:Mat

right_kernel(self)

Parameters:self – Mat Returns:Mat

rows(self)

Parameters:self – Mat Returns:int

scale_down_row(self, row, m)

Parameters:

• self – Mat
• row – int
• m – integer

Returns:

Mat

set_element(self, row, col, v)

Parameters:

• self – Mat
• row – int
• col – int
• v – integer

Returns:

Mat

vec_concat(self, bot)

Parameters:

• self – Mat
• bot – Vec

Returns:

Mat

vec_inverse_product(self, vec)

Parameters:

• self – Mat
• vec – Vec

Returns:

Vec

Sets and Maps

Basic Set

class islpy.BasicSet(s, context=None)

__hash__() (static) __len__() add() add_basic_set() add_constraint() add_constraints() add_dims() add_set() affine_hull() align_divs() align_params() apply() apply_pw_qpolynomial_fold() apply_union_pw_qpolynomial_fold() box_from_points() (static) coalesce() coefficients() complement() compute_divs() compute_schedule() compute_vertices() contains() convex_hull() copy() count() count_upto() detect_equalities() dim() dim_has_lower_bound() dim_has_upper_bound() dim_is_bounded() dim_max() dim_min() drop_constraint() eliminate() eliminate_except() empty() (static) equalities_matrix() equate() extract_set() fast_dim_is_fixed() fast_is_disjoint() fast_is_empty() fast_is_equal() fast_is_universe() find_dim_by_id() find_dim_by_name() fix() flat_product() flatten() flatten_map() follows_at() foreach_basic_set() foreach_bound_pair() foreach_constraint() foreach_point() foreach_set()

from_constraint_matrices() (static) from_params() from_point() (static) get_basic_sets() get_constraints() get_ctx() get_dim_id() get_dim_name() get_div() get_local_space() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_names() gist() gist_basic_set() gist_params() has_dim_id() has_dim_name() has_equal_space() has_tuple_id() has_tuple_name() identity() indicator_function() inequalities_matrix() insert_dims() intersect() intersect_params() involves_dims() is_bounded() is_box() is_empty() is_equal() is_params() is_rational() is_singleton() is_strict_subset() is_subset() is_universe() is_valid() is_wrapping() lex_ge_set() lex_ge_union_set() lex_gt_set() lex_gt_union_set() lex_le_set() lex_le_union_set() lex_lt_set() lex_lt_union_set() lexmax() lexmin() lift() lifting() lower_bound() make_disjoint()

move_dims() n_basic_set() n_constraint() n_dim() n_param() n_set() nat_universe() (static) neg() params() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() plain_dim_has_fixed_lower_bound() plain_dim_is_fixed() plain_is_disjoint() plain_is_empty() plain_is_equal() plain_is_fixed() plain_is_universe() polyhedral_hull() positive_orthant() (static) print_() print_internal() product() project_out() project_out_except() read_from_file() (static) read_from_str() (static) recession_cone() reduced_basis() remove_dims() remove_divs() remove_divs_involving_dims() remove_redundancies() remove_unknown_divs() reset_space() reset_tuple_id() sample() sample_point() set_dim_id() set_dim_name() set_tuple_id() set_tuple_name() simple_hull() solutions() split_dims() subtract() sum() to_str() union() universe() (static) universe_like() universe_like_set() (static) unwrap() upper_bound()

add(self, type, n)

Parameters:

• self – BasicSet
• type – dim_type
• n – unsigned

Returns:

BasicSet

add_basic_set(self, bset)

Parameters:

• self – Set
• bset – BasicSet

Returns:

Set

add_constraint(self, constraint)

Parameters:

• self – BasicSet
• constraint – Constraint

Returns:

BasicSet

add_constraints(obj, constraints)

New in version 2011.3.

add_dims(self, type, n)

Parameters:

• self – Set
• type – dim_type
• n – unsigned

Returns:

Set

add_set(self, set)

Parameters:

• self – UnionSet
• set – Set

Returns:

UnionSet

affine_hull(self)

Parameters:self – BasicSet Returns:BasicSet

align_divs(self)

Parameters:self – Set Returns:Set

align_params(self, model)

Parameters:

• self – Set
• model – Space

Returns:

Set

apply(self, bmap)

Parameters:

• self – BasicSet
• bmap – BasicMap

Returns:

BasicSet

apply_pw_qpolynomial_fold(self, pwf)

Parameters:

• self – Set
• pwf – PwQPolynomialFold

Returns:

tuple: (PwQPolynomialFold, tight (integer))

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters:

• self – UnionSet
• upwf – UnionPwQPolynomialFold

Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

box_from_points(pnt1, pnt2)

Parameters:

• pnt1 – Point
• pnt2 – Point

Returns:

BasicSet

coalesce(self)

Parameters:self – Set Returns:Set

coefficients(self)

Parameters:self – BasicSet Returns:BasicSet

complement(self)

Parameters:self – Set Returns:Set

compute_divs(self)

Parameters:self – Set Returns:Set

compute_schedule(self, validity, proximity)

Parameters:

• self – UnionSet
• validity – UnionMap
• proximity – UnionMap

Returns:

Schedule

compute_vertices(self)

Parameters:self – BasicSet Returns:Vertices

contains(self, dim)

Parameters:

• self – UnionSet
• dim – Space

Returns:

int

convex_hull(self)

Parameters:self – Set Returns:BasicSet

copy(self)

Parameters:self – BasicSet Returns:BasicSet

count(self)

Parameters:self – Set Returns:count (integer)

count_upto(self, max)

Parameters:

• self – BasicSet
• max – integer

Returns:

count (integer)

detect_equalities(self)

Parameters:self – BasicSet Returns:BasicSet

dim(self, type)

Parameters:

• self – BasicSet
• type – dim_type

Returns:

unsigned

dim_has_lower_bound(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

int

dim_has_upper_bound(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

int

dim_is_bounded(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

int

dim_max(self, pos)

Parameters:

• self – Set
• pos – int

Returns:

PwAff

dim_min(self, pos)

Parameters:

• self – Set
• pos – int

Returns:

PwAff

drop_constraint(self, constraint)

Parameters:

• self – BasicSet
• constraint – Constraint

Returns:

BasicSet

eliminate(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Set

eliminate_except(obj, 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.

empty(dim)

Parameters:dim – Space Returns:BasicSet

equalities_matrix(self, c1, c2, c3, c4)

Parameters:

• self – BasicSet
• c1 – dim_type
• c2 – dim_type
• c3 – dim_type
• c4 – dim_type

Returns:

Mat

equate(self, type1, pos1, type2, pos2)

Parameters:

• self – Set
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

Set

extract_set(self, dim)

Parameters:

• self – UnionSet
• dim – Space

Returns:

Set

fast_dim_is_fixed(self, dim)

Parameters:

• self – Set
• dim – unsigned

Returns:

val (integer)

fast_is_disjoint(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

fast_is_empty(self)

Parameters:self – BasicSet Returns:int

fast_is_equal(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

fast_is_universe(self)

Parameters:self – Set Returns:int

find_dim_by_id(self, type, id)

Parameters:

• self – Set
• type – dim_type
• id – Id

Returns:

int

find_dim_by_name(self, type, name)

Parameters:

• self – Set
• type – dim_type
• name – string

Returns:

int

fix(self, type, pos, value)

Parameters:

• self – BasicSet
• type – dim_type
• pos – unsigned
• value – integer

Returns:

BasicSet

flat_product(self, bset2)

Parameters:

• self – BasicSet
• bset2 – BasicSet

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)

Parameters:

• self – Set
• fn – callback(bset)

Returns:

int

foreach_bound_pair(self, type, pos)

Parameters:

• self – BasicSet
• type – dim_type
• pos – unsigned
• fn – callback(lower, upper, bset)

Returns:

int

foreach_constraint(self)

Parameters:

• self – BasicSet
• fn – callback(c)

Returns:

int

foreach_point(self)

Parameters:

• self – Set
• fn – callback(pnt)

Returns:

int

foreach_set(self)

Parameters:

• self – UnionSet
• fn – callback(set)

Returns:

int

from_constraint_matrices(dim, eq, ineq, c1, c2, c3, c4)

Parameters:

• dim – Space
• eq – Mat
• ineq – Mat
• c1 – dim_type
• c2 – dim_type
• c3 – dim_type
• c4 – dim_type

Returns:

BasicSet

from_params(self)

Parameters:self – Set Returns:Set

from_point(pnt)

Parameters:pnt – Point Returns:BasicSet

get_basic_sets(basic_instance, *args, **kwargs)

Get the list of BasicSet instances in this Set.

get_constraints()

Get a list of constraints.

get_ctx(self)

Parameters:self – BasicSet Returns:Context

get_dim_id(self, type, pos)

Parameters:

• self – BasicSet
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – BasicSet
• type – dim_type
• pos – unsigned

Returns:

string

get_div(self, pos)

Parameters:

• self – BasicSet
• pos – int

Returns:

Aff

get_local_space(self)

Parameters:self – BasicSet Returns:LocalSpace

get_space(self)

Parameters:self – BasicSet Returns:Space

get_tuple_id(self)

Parameters:self – Set Returns:Id

get_tuple_name(self)

Parameters:self – BasicSet Returns:string

gist(self, context)

Parameters:

• self – BasicSet
• context – BasicSet

Returns:

BasicSet

gist_basic_set(self, context)

Parameters:

• self – Set
• context – BasicSet

Returns:

Set

gist_params(self, context)

Parameters:

• self – Set
• context – Set

Returns:

Set

has_dim_id(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

bool

has_dim_name(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

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

indicator_function(self)

Parameters:self – Set Returns:PwAff

inequalities_matrix(self, c1, c2, c3, c4)

Parameters:

• self – BasicSet
• c1 – dim_type
• c2 – dim_type
• c3 – dim_type
• c4 – dim_type

Returns:

Mat

insert_dims(self, type, pos, n)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• n – unsigned

Returns:

Set

intersect(self, bset2)

Parameters:

• self – BasicSet
• bset2 – BasicSet

Returns:

BasicSet

intersect_params(self, bset2)

Parameters:

• self – BasicSet
• bset2 – BasicSet

Returns:

BasicSet

involves_dims(self, type, first, n)

Parameters:

• self – BasicSet
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_bounded(self)

Parameters:self – BasicSet Returns:bool

is_box(self)

Parameters:self – Set Returns:bool

is_empty(self)

Parameters:self – BasicSet Returns:bool

is_equal(self, set2)

Parameters:

• self – Set
• set2 – Set

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:

• self – BasicSet
• bset2 – BasicSet

Returns:

bool

is_universe(self)

Parameters:self – BasicSet Returns:bool

is_valid()

Return whether current object is still valid.

is_wrapping(self)

Parameters:self – BasicSet Returns:bool

lex_ge_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_ge_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_gt_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_gt_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_le_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_le_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_lt_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_lt_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lexmax(self)

Parameters:self – BasicSet Returns:Set

lexmin(self)

Parameters:self – BasicSet Returns:Set

lift(self)

Parameters:self – BasicSet Returns:BasicSet

lifting(self)

Parameters:self – Set Returns:Map

lower_bound(self, type, pos, value)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• value – integer

Returns:

Set

make_disjoint(self)

Parameters:self – Set Returns:Set

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

Parameters:

• self – BasicSet
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

BasicSet

n_basic_set(self)

Parameters:self – Set Returns:int

n_constraint(self)

Parameters:self – BasicSet Returns:int

n_dim(self)

Parameters:self – BasicSet Returns:unsigned

n_param(self)

Parameters:self – BasicSet Returns:unsigned

n_set(self)

Parameters:self – UnionSet Returns:int

nat_universe(dim)

Parameters:dim – Space Returns:BasicSet

neg(self)

Parameters:self – BasicSet Returns:BasicSet

params(self)

Parameters:self – BasicSet Returns:BasicSet

partial_lexmax(self, dom)

Parameters:

• self – BasicSet
• dom – BasicSet

Returns:

tuple: (Set, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)

Parameters:

• self – BasicSet
• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)

Parameters:

• self – BasicSet
• dom – BasicSet

Returns:

tuple: (Set, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)

Parameters:

• self – BasicSet
• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (Set))

plain_dim_has_fixed_lower_bound(self, dim)

Parameters:

• self – Set
• dim – unsigned

Returns:

val (integer)

plain_dim_is_fixed(self, dim)

Parameters:

• self – BasicSet
• dim – unsigned

Returns:

val (integer)

plain_is_disjoint(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

plain_is_empty(self)

Parameters:self – BasicSet Returns:int

plain_is_equal(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

plain_is_fixed(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

val (integer)

plain_is_universe(self)

Parameters:self – Set Returns:int

polyhedral_hull(self)

Parameters:self – Set Returns:BasicSet

positive_orthant(space)

Parameters:space – Space Returns:BasicSet

print_(self, out, indent, prefix, suffix, output_format)

Parameters:

• self – BasicSet
• out – file-like
• indent – int
• prefix – string
• suffix – string
• output_format – unsigned

Returns:

None

print_internal(self, out, indent)

Parameters:

• self – BasicSet
• out – file-like
• indent – int

Returns:

None

product(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Set

project_out(self, type, first, n)

Parameters:

• self – BasicSet
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

BasicSet

project_out_except(obj, 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.

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

BasicSet

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

BasicSet

recession_cone(self)

Parameters:self – Set Returns:Set

reduced_basis(self)

Parameters:self – BasicSet Returns:Mat

remove_dims(self, type, first, n)

Parameters:

• self – BasicSet
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

BasicSet

remove_divs(self)

Parameters:self – BasicSet Returns:BasicSet

remove_divs_involving_dims(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Set

remove_redundancies(self)

Parameters:self – BasicSet Returns:BasicSet

remove_unknown_divs(self)

Parameters:self – Set Returns:Set

reset_space(self, dim)

Parameters:

• self – Set
• dim – Space

Returns:

Set

reset_tuple_id(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:

• self – Set
• type – dim_type
• pos – unsigned
• id – Id

Returns:

Set

set_dim_name(self, type, pos, s)

Parameters:

• self – BasicSet
• type – dim_type
• pos – unsigned
• s – string

Returns:

BasicSet

set_tuple_id(self, id)

Parameters:

• self – Set
• id – Id

Returns:

Set

set_tuple_name(self, s)

Parameters:

• self – BasicSet
• s – string

Returns:

BasicSet

simple_hull(self)

Parameters:self – Set Returns:BasicSet

solutions(self)

Parameters:self – BasicSet Returns:BasicSet

space

get_space(self)

Parameters:self – BasicSet Returns:Space

split_dims(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

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

union(self, bset2)

Parameters:

• self – BasicSet
• bset2 – BasicSet

Returns:

Set

universe(dim)

Parameters:dim – Space Returns:BasicSet

universe_like(self)

Parameters:self – Set Returns:Set

universe_like_set(model)

Parameters:model – Set Returns:BasicSet

unwrap(self)

Parameters:self – BasicSet Returns:BasicMap

upper_bound(self, type, pos, value)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• value – integer

Returns:

Set

Basic Map

class islpy.BasicMap(s, context=None)

__eq__() __hash__() (static) add() add_basic_map() add_constraint() add_constraints() add_dims() add_map() affine_hull() align_divs() align_params() apply_domain() apply_pw_qpolynomial_fold() apply_range() apply_union_pw_qpolynomial_fold() can_curry() can_zip() coalesce() complement() compute_divs() compute_flow() contains() convex_hull() copy() curry() deltas() deltas_map() detect_equalities() dim() dim_max() domain() domain_map() domain_product() drop_basic_map() eliminate() empty() (static) equal() (static) equalities_matrix() equate() extract_map() fast_is_empty() fast_is_equal() fast_is_fixed() find_dim_by_id() find_dim_by_name() fixed_power() flat_domain_product() flat_product() flat_range_product() flatten() flatten_domain() flatten_range() foreach_basic_map() foreach_constraint() foreach_map() from_aff() (static) from_aff_list() (static)

from_basic_set() (static) from_constraint() (static) from_constraint_matrices() (static) from_domain() (static) from_domain_and_range() (static) from_multi_aff() (static) from_qpolynomial() (static) from_range() (static) get_basic_maps() get_constraints() get_ctx() get_dim_id() get_dim_name() get_div() get_local_space() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_names() gist() gist_basic_map() gist_domain() gist_params() gist_range() has_defining_equality() has_dim_id() has_equal_space() has_tuple_id() identity() (static) image_is_bounded() inequalities_matrix() insert_dims() intersect() intersect_domain() intersect_params() intersect_range() involves_dims() is_bijective() is_empty() is_equal() is_injective() is_rational() is_single_valued() is_strict_subset() is_subset() is_translation() is_universe() is_valid() less_at() (static) lex_ge_map() lex_ge_union_map() lex_gt_map() lex_gt_union_map() lex_le_map() lex_le_union_map() lex_lt_map()

lex_lt_union_map() lexmax() lexmin() lexmin_pw_multi_aff() make_disjoint() more_at() (static) move_dims() n_map() nat_universe() (static) oppose() order_gt() params() partial_lexmax() partial_lexmax_pw_multi_aff() partial_lexmin() partial_lexmin_pw_multi_aff() plain_input_is_fixed() plain_is_empty() plain_is_equal() plain_is_fixed() plain_is_injective() plain_is_single_valued() plain_is_universe() polyhedral_hull() power() print_() print_internal() product() project_out() project_out_except() range() range_map() range_product() reaching_path_lengths() read_from_file() (static) read_from_str() (static) remove_dims() remove_divs() remove_redundancies() reset_tuple_id() reverse() sample() set_dim_id() set_dim_name() set_tuple_id() set_tuple_name() simple_hull() subtract() subtract_domain() subtract_range() transitive_closure() union() universe() (static) universe_like() wrap() zip()

add(self, type, n)

Parameters:

• self – BasicMap
• type – dim_type
• n – unsigned

Returns:

BasicMap

add_basic_map(self, bmap)

Parameters:

• self – Map
• bmap – BasicMap

Returns:

Map

add_constraint(self, constraint)

Parameters:

• self – BasicMap
• constraint – Constraint

Returns:

BasicMap

add_constraints(obj, constraints)

New in version 2011.3.

add_dims(self, type, n)

Parameters:

• self – Map
• type – dim_type
• n – unsigned

Returns:

Map

add_map(self, map)

Parameters:

• self – UnionMap
• map – Map

Returns:

UnionMap

affine_hull(self)

Parameters:self – BasicMap Returns:BasicMap

align_divs(self)

Parameters:self – Map Returns:Map

align_params(self, model)

Parameters:

• self – Map
• model – Space

Returns:

Map

apply_domain(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

BasicMap

apply_pw_qpolynomial_fold(self, pwf)

Parameters:

• self – Map
• pwf – PwQPolynomialFold

Returns:

tuple: (PwQPolynomialFold, tight (integer))

apply_range(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

BasicMap

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters:

• self – UnionMap
• upwf – UnionPwQPolynomialFold

Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

can_curry(self)

Parameters:self – BasicMap Returns:int

can_zip(self)

Parameters:self – BasicMap Returns:int

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:

• self – UnionMap
• must_source – UnionMap
• may_source – UnionMap
• schedule – UnionMap

Returns:

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

contains(self, dim)

Parameters:

• self – UnionMap
• dim – Space

Returns:

int

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:

• self – BasicMap
• type – dim_type

Returns:

unsigned

dim_max(self, pos)

Parameters:

• self – Map
• pos – int

Returns:

PwAff

domain(self)

Parameters:self – BasicMap Returns:BasicSet

domain_map(self)

Parameters:self – BasicMap Returns:BasicMap

domain_product(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

BasicMap

drop_basic_map(self, bmap)

Parameters:

• self – Map
• bmap – BasicMap

Returns:

Map

eliminate(self, type, first, n)

Parameters:

• self – BasicMap
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

BasicMap

empty(dim)

Parameters:dim – Space Returns:BasicMap

equal(dim, n_equal)

Parameters:

• dim – Space
• n_equal – unsigned

Returns:

BasicMap

equalities_matrix(self, c1, c2, c3, c4, c5)

Parameters:

• self – BasicMap
• c1 – dim_type
• c2 – dim_type
• c3 – dim_type
• c4 – dim_type
• c5 – dim_type

Returns:

Mat

equate(self, type1, pos1, type2, pos2)

Parameters:

• self – BasicMap
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

BasicMap

extract_map(self, dim)

Parameters:

• self – UnionMap
• dim – Space

Returns:

Map

fast_is_empty(self)

Parameters:self – BasicMap Returns:int

fast_is_equal(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

int

fast_is_fixed(self, type, pos)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned

Returns:

val (integer)

find_dim_by_id(self, type, id)

Parameters:

• self – Map
• type – dim_type
• id – Id

Returns:

int

find_dim_by_name(self, type, name)

Parameters:

• self – Map
• type – dim_type
• name – string

Returns:

int

fixed_power(self, exp)

Parameters:

• self – Map
• exp – integer

Returns:

Map

flat_domain_product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

flat_product(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

BasicMap

flat_range_product(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

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

foreach_basic_map(self)

Parameters:

• self – Map
• fn – callback(bmap)

Returns:

int

foreach_constraint(self)

Parameters:

• self – BasicMap
• fn – callback(c)

Returns:

int

foreach_map(self)

Parameters:

• self – UnionMap
• fn – callback(map)

Returns:

int

from_aff(aff)

Parameters:aff – Aff Returns:BasicMap

from_aff_list(domain_dim, list)

Parameters:

• domain_dim – Space
• list – AffList

Returns:

BasicMap

from_basic_set(bset, dim)

Parameters:

• bset – BasicSet
• dim – Space

Returns:

BasicMap

from_constraint(constraint)

Parameters:constraint – Constraint Returns:BasicMap

from_constraint_matrices(dim, eq, ineq, c1, c2, c3, c4, c5)

Parameters:

• dim – Space
• eq – Mat
• ineq – Mat
• c1 – dim_type
• c2 – dim_type
• c3 – dim_type
• c4 – dim_type
• c5 – dim_type

Returns:

BasicMap

from_domain(bset)

Parameters:bset – BasicSet Returns:BasicMap

from_domain_and_range(domain, range)

Parameters:

• domain – BasicSet
• range – BasicSet

Returns:

BasicMap

from_multi_aff(maff)

Parameters:maff – MultiAff Returns:BasicMap

from_qpolynomial(qp)

Parameters:qp – QPolynomial Returns:BasicMap

from_range(bset)

Parameters:bset – BasicSet Returns:BasicMap

get_basic_maps(basic_instance, *args, **kwargs)

Get the list of BasicMap instances in this Map.

get_constraints()

Get a list of constraints.

get_ctx(self)

Parameters:self – BasicMap Returns:Context

get_dim_id(self, type, pos)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – BasicMap
• type – dim_type
• pos – unsigned

Returns:

string

get_div(self, pos)

Parameters:

• self – BasicMap
• pos – int

Returns:

Aff

get_local_space(self)

Parameters:self – BasicMap Returns:LocalSpace

get_space(self)

Parameters:self – BasicMap Returns:Space

get_tuple_id(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

Id

get_tuple_name(self, type)

Parameters:

• self – BasicMap
• type – dim_type

Returns:

string

gist(self, context)

Parameters:

• self – BasicMap
• context – BasicMap

Returns:

BasicMap

gist_basic_map(self, context)

Parameters:

• self – Map
• context – BasicMap

Returns:

Map

gist_domain(self, context)

Parameters:

• self – Map
• context – Set

Returns:

Map

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:

• self – BasicMap
• type – dim_type
• pos – int

Returns:

c (Constraint)

has_dim_id(self, type, pos)

Parameters:

• self – BasicMap
• type – dim_type
• pos – unsigned

Returns:

bool

has_equal_space(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

bool

has_tuple_id(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

bool

identity(dim)

Parameters:dim – Space Returns:BasicMap

image_is_bounded(self)

Parameters:self – BasicMap Returns:int

inequalities_matrix(self, c1, c2, c3, c4, c5)

Parameters:

• self – BasicMap
• c1 – dim_type
• c2 – dim_type
• c3 – dim_type
• c4 – dim_type
• c5 – dim_type

Returns:

Mat

insert_dims(self, type, pos, n)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned
• n – unsigned

Returns:

Map

intersect(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

BasicMap

intersect_domain(self, bset)

Parameters:

• self – BasicMap
• bset – BasicSet

Returns:

BasicMap

intersect_params(self, params)

Parameters:

• self – Map
• params – Set

Returns:

Map

intersect_range(self, bset)

Parameters:

• self – BasicMap
• bset – BasicSet

Returns:

BasicMap

involves_dims(self, type, first, n)

Parameters:

• self – BasicMap
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_bijective(self)

Parameters:self – Map Returns:bool

is_empty(self)

Parameters:self – BasicMap Returns:bool

is_equal(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

bool

is_injective(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:

• self – BasicMap
• bmap2 – BasicMap

Returns:

bool

is_subset(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

bool

is_translation(self)

Parameters:self – Map Returns:bool

is_universe(self)

Parameters:self – BasicMap Returns:bool

is_valid()

Return whether current object is still valid.

less_at(dim, pos)

Parameters:

• dim – Space
• pos – unsigned

Returns:

BasicMap

lex_ge_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_ge_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_gt_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_gt_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_le_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_le_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_lt_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_lt_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lexmax(self)

Parameters:self – BasicMap Returns:Map

lexmin(self)

Parameters:self – BasicMap Returns:Map

lexmin_pw_multi_aff(self)

Parameters:self – BasicMap Returns:PwMultiAff

make_disjoint(self)

Parameters:self – Map Returns:Map

more_at(dim, pos)

Parameters:

• dim – Space
• pos – unsigned

Returns:

BasicMap

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

Parameters:

• self – BasicMap
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

BasicMap

n_map(self)

Parameters:self – UnionMap Returns:int

nat_universe(dim)

Parameters:dim – Space Returns:BasicMap

oppose(self, type1, pos1, type2, pos2)

Parameters:

• self – Map
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

Map

order_gt(self, type1, pos1, type2, pos2)

Parameters:

• self – Map
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

Map

params(self)

Parameters:self – Map Returns:Set

partial_lexmax(self, dom)

Parameters:

• self – BasicMap
• dom – BasicSet

Returns:

tuple: (Map, empty (Set))

partial_lexmax_pw_multi_aff(self, dom)

Parameters:

• self – BasicMap
• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (Set))

partial_lexmin(self, dom)

Parameters:

• self – BasicMap
• dom – BasicSet

Returns:

tuple: (Map, empty (Set))

partial_lexmin_pw_multi_aff(self, dom)

Parameters:

• self – BasicMap
• dom – BasicSet

Returns:

tuple: (PwMultiAff, empty (Set))

plain_input_is_fixed(self, in)

Parameters:

• self – Map
• in – unsigned

Returns:

val (integer)

plain_is_empty(self)

Parameters:self – BasicMap Returns:int

plain_is_equal(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

int

plain_is_fixed(self, type, pos)

Parameters:

• self – BasicMap
• type – dim_type
• pos – unsigned

Returns:

val (integer)

plain_is_injective(self)

Parameters:self – Map Returns:int

plain_is_single_valued(self)

Parameters:self – Map Returns:int

plain_is_universe(self)

Parameters:self – Map Returns:int

polyhedral_hull(self)

Parameters:self – Map Returns:BasicMap

power(self)

Parameters:self – Map Returns:tuple: (Map, exact (integer))

print_(self, out, indent, prefix, suffix, output_format)

Parameters:

• self – BasicMap
• out – file-like
• indent – int
• prefix – string
• suffix – string
• output_format – unsigned

Returns:

None

print_internal(self, out, indent)

Parameters:

• self – BasicMap
• out – file-like
• indent – int

Returns:

None

product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

project_out(self, type, first, n)

Parameters:

• self – BasicMap
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

BasicMap

project_out_except(obj, 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_map(self)

Parameters:self – BasicMap Returns:BasicMap

range_product(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

BasicMap

reaching_path_lengths(self)

Parameters:self – Map Returns:tuple: (Map, exact (integer))

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

BasicMap

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

BasicMap

remove_dims(self, type, first, n)

Parameters:

• self – BasicMap
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

BasicMap

remove_divs(self)

Parameters:self – BasicMap Returns:BasicMap

remove_redundancies(self)

Parameters:self – BasicMap Returns:BasicMap

reset_tuple_id(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

Map

reverse(self)

Parameters:self – BasicMap Returns:BasicMap

sample(self)

Parameters:self – BasicMap Returns:BasicMap

set_dim_id(self, type, pos, id)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned
• id – Id

Returns:

Map

set_dim_name(self, type, pos, s)

Parameters:

• self – BasicMap
• type – dim_type
• pos – unsigned
• s – string

Returns:

BasicMap

set_tuple_id(self, type, id)

Parameters:

• self – Map
• type – dim_type
• id – Id

Returns:

Map

set_tuple_name(self, type, s)

Parameters:

• self – BasicMap
• type – dim_type
• s – string

Returns:

BasicMap

simple_hull(self)

Parameters:self – Map Returns:BasicMap

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

transitive_closure(self)

Parameters:self – Map Returns:tuple: (Map, exact (integer))

union(self, bmap2)

Parameters:

• self – BasicMap
• bmap2 – BasicMap

Returns:

Map

universe(dim)

Parameters:dim – Space Returns:BasicMap

universe_like(self)

Parameters:self – BasicMap Returns:BasicMap

wrap(self)

Parameters:self – BasicMap Returns:BasicSet

zip(self)

Parameters:self – BasicMap Returns:BasicMap

Set

class islpy.Set(s, context=None)

__eq__() __hash__() (static) __len__() add_basic_set() add_constraint() add_constraints() add_dims() add_set() affine_hull() align_divs() align_params() apply() apply_pw_qpolynomial_fold() apply_union_pw_qpolynomial_fold() box_from_points() (static) coalesce() coefficients() complement() compute_divs() compute_schedule() contains() convex_hull() copy() count() count_upto() detect_equalities() dim() dim_has_lower_bound() dim_has_upper_bound() dim_is_bounded() dim_max() dim_min() eliminate() eliminate_except() empty() (static) equate() extract_set() fast_dim_is_fixed() fast_is_disjoint() fast_is_empty() fast_is_equal() fast_is_universe() find_dim_by_id() find_dim_by_name() fix() flat_product() flatten() flatten_map() follows_at() foreach_basic_set() foreach_point() foreach_set()

from_basic_set() (static) from_params() from_point() (static) from_pw_aff() (static) from_pw_multi_aff() (static) from_union_set() (static) get_basic_sets() get_ctx() get_dim_id() get_dim_name() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_names() gist() gist_basic_set() gist_params() has_dim_id() has_dim_name() has_equal_space() has_tuple_id() has_tuple_name() identity() indicator_function() insert_dims() intersect() intersect_params() involves_dims() is_bounded() is_box() is_empty() is_equal() is_params() is_singleton() is_strict_subset() is_subset() is_valid() is_wrapping() lex_ge_set() lex_ge_union_set() lex_gt_set() lex_gt_union_set() lex_le_set() lex_le_union_set() lex_lt_set() lex_lt_union_set() lexmax() lexmin() lift() lifting() lower_bound()

make_disjoint() move_dims() n_basic_set() n_dim() n_param() n_set() nat_universe() (static) neg() params() partial_lexmax() partial_lexmin() plain_dim_has_fixed_lower_bound() plain_dim_is_fixed() plain_is_disjoint() plain_is_empty() plain_is_equal() plain_is_fixed() plain_is_universe() polyhedral_hull() print_() print_internal() product() project_out() project_out_except() read_from_file() (static) read_from_str() (static) recession_cone() remove_dims() remove_divs() remove_divs_involving_dims() remove_redundancies() remove_unknown_divs() reset_space() reset_tuple_id() sample() sample_point() set_dim_id() set_dim_name() set_tuple_id() set_tuple_name() simple_hull() solutions() split_dims() subtract() sum() to_str() union() universe() (static) universe_like() unwrap() upper_bound()

add_basic_set(self, bset)

Parameters:

• self – Set
• bset – BasicSet

Returns:

Set

add_constraint(self, constraint)

Parameters:

• self – Set
• constraint – Constraint

Returns:

Set

add_constraints(obj, constraints)

New in version 2011.3.

add_dims(self, type, n)

Parameters:

• self – Set
• type – dim_type
• n – unsigned

Returns:

Set

add_set(self, set)

Parameters:

• self – UnionSet
• set – Set

Returns:

UnionSet

affine_hull(self)

Parameters:self – Set Returns:BasicSet

align_divs(self)

Parameters:self – Set Returns:Set

align_params(self, model)

Parameters:

• self – Set
• model – Space

Returns:

Set

apply(self, map)

Parameters:

• self – Set
• map – Map

Returns:

Set

apply_pw_qpolynomial_fold(self, pwf)

Parameters:

• self – Set
• pwf – PwQPolynomialFold

Returns:

tuple: (PwQPolynomialFold, tight (integer))

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters:

• self – UnionSet
• upwf – UnionPwQPolynomialFold

Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

box_from_points(pnt1, pnt2)

Parameters:

• pnt1 – Point
• pnt2 – Point

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:

• self – UnionSet
• validity – UnionMap
• proximity – UnionMap

Returns:

Schedule

contains(self, dim)

Parameters:

• self – UnionSet
• dim – Space

Returns:

int

convex_hull(self)

Parameters:self – Set Returns:BasicSet

copy(self)

Parameters:self – Set Returns:Set

count(self)

Parameters:self – Set Returns:count (integer)

count_upto(self, max)

Parameters:

• self – Set
• max – integer

Returns:

count (integer)

detect_equalities(self)

Parameters:self – Set Returns:Set

dim(self, type)

Parameters:

• self – Set
• type – dim_type

Returns:

unsigned

dim_has_lower_bound(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

int

dim_has_upper_bound(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

int

dim_is_bounded(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

int

dim_max(self, pos)

Parameters:

• self – Set
• pos – int

Returns:

PwAff

dim_min(self, pos)

Parameters:

• self – Set
• pos – int

Returns:

PwAff

eliminate(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Set

eliminate_except(obj, 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.

empty(dim)

Parameters:dim – Space Returns:Set

equate(self, type1, pos1, type2, pos2)

Parameters:

• self – Set
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

Set

extract_set(self, dim)

Parameters:

• self – UnionSet
• dim – Space

Returns:

Set

fast_dim_is_fixed(self, dim)

Parameters:

• self – Set
• dim – unsigned

Returns:

val (integer)

fast_is_disjoint(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

fast_is_empty(self)

Parameters:self – Set Returns:int

fast_is_equal(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

fast_is_universe(self)

Parameters:self – Set Returns:int

find_dim_by_id(self, type, id)

Parameters:

• self – Set
• type – dim_type
• id – Id

Returns:

int

find_dim_by_name(self, type, name)

Parameters:

• self – Set
• type – dim_type
• name – string

Returns:

int

fix(self, type, pos, value)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• value – integer

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)

Parameters:

• self – Set
• fn – callback(bset)

Returns:

int

foreach_point(self)

Parameters:

• self – Set
• fn – callback(pnt)

Returns:

int

foreach_set(self)

Parameters:

• self – UnionSet
• fn – callback(set)

Returns:

int

from_basic_set(bset)

Parameters:bset – BasicSet Returns:Set

from_params(self)

Parameters:self – Set Returns:Set

from_point(pnt)

Parameters:pnt – Point Returns:Set

from_pw_aff(pwaff)

Parameters:pwaff – PwAff Returns:Set

from_pw_multi_aff(pma)

Parameters:pma – PwMultiAff Returns:Set

from_union_set(uset)

Parameters:uset – UnionSet Returns:Set

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:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

string

get_space(self)

Parameters:self – Set Returns:Space

get_tuple_id(self)

Parameters:self – Set Returns:Id

get_tuple_name(self)

Parameters:self – Set Returns:string

gist(self, context)

Parameters:

• self – Set
• context – Set

Returns:

Set

gist_basic_set(self, context)

Parameters:

• self – Set
• context – BasicSet

Returns:

Set

gist_params(self, context)

Parameters:

• self – Set
• context – Set

Returns:

Set

has_dim_id(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

bool

has_dim_name(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

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

indicator_function(self)

Parameters:self – Set Returns:PwAff

insert_dims(self, type, pos, n)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• n – unsigned

Returns:

Set

intersect(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Set

intersect_params(self, params)

Parameters:

• self – Set
• params – Set

Returns:

Set

involves_dims(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_bounded(self)

Parameters:self – Set Returns:bool

is_box(self)

Parameters:self – 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_valid()

Return whether current object is still valid.

is_wrapping(self)

Parameters:self – Set Returns:bool

lex_ge_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_ge_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_gt_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_gt_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_le_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_le_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_lt_set(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Map

lex_lt_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lexmax(self)

Parameters:self – Set Returns:Set

lexmin(self)

Parameters:self – Set Returns:Set

lift(self)

Parameters:self – Set Returns:Set

lifting(self)

Parameters:self – Set Returns:Map

lower_bound(self, type, pos, value)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• value – integer

Returns:

Set

make_disjoint(self)

Parameters:self – Set Returns:Set

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

Parameters:

• self – Set
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

Set

n_basic_set(self)

Parameters:self – Set Returns:int

n_dim(self)

Parameters:self – Set Returns:unsigned

n_param(self)

Parameters:self – Set Returns:unsigned

n_set(self)

Parameters:self – UnionSet Returns:int

nat_universe(dim)

Parameters:dim – 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_dim_has_fixed_lower_bound(self, dim)

Parameters:

• self – Set
• dim – unsigned

Returns:

val (integer)

plain_dim_is_fixed(self, dim)

Parameters:

• self – Set
• dim – unsigned

Returns:

val (integer)

plain_is_disjoint(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

plain_is_empty(self)

Parameters:self – Set Returns:int

plain_is_equal(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

int

plain_is_fixed(self, type, pos)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned

Returns:

val (integer)

plain_is_universe(self)

Parameters:self – Set Returns:int

polyhedral_hull(self)

Parameters:self – Set Returns:BasicSet

print_(self, out, indent, output_format)

Parameters:

• self – Set
• out – file-like
• indent – int
• output_format – unsigned

Returns:

None

print_internal(self, out, indent)

Parameters:

• self – Set
• out – file-like
• indent – int

Returns:

None

product(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Set

project_out(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Set

project_out_except(obj, 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.

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

Set

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

Set

recession_cone(self)

Parameters:self – Set Returns:Set

remove_dims(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Set

remove_divs(self)

Parameters:self – Set Returns:Set

remove_divs_involving_dims(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Set

remove_redundancies(self)

Parameters:self – Set Returns:Set

remove_unknown_divs(self)

Parameters:self – Set Returns:Set

reset_space(self, dim)

Parameters:

• self – Set
• dim – Space

Returns:

Set

reset_tuple_id(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:

• self – Set
• type – dim_type
• pos – unsigned
• id – Id

Returns:

Set

set_dim_name(self, type, pos, s)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• s – string

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

space

get_space(self)

Parameters:self – Set Returns:Space

split_dims(self, type, first, n)

Parameters:

• self – Set
• type – dim_type
• first – unsigned
• n – unsigned

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

union(self, set2)

Parameters:

• self – Set
• set2 – Set

Returns:

Set

universe(dim)

Parameters:dim – Space Returns:Set

universe_like(self)

Parameters:self – Set Returns:Set

unwrap(self)

Parameters:self – Set Returns:Map

upper_bound(self, type, pos, value)

Parameters:

• self – Set
• type – dim_type
• pos – unsigned
• value – integer

Returns:

Set

Map

class islpy.Map(s, context=None)

__eq__() __hash__() add_basic_map() add_constraint() add_constraints() add_dims() add_map() affine_hull() align_divs() align_params() apply_domain() apply_pw_qpolynomial_fold() apply_range() apply_union_pw_qpolynomial_fold() can_curry() can_zip() coalesce() complement() compute_divs() compute_flow() contains() convex_hull() copy() curry() deltas() deltas_map() detect_equalities() dim() dim_max() domain() domain_map() domain_product() drop_basic_map() eliminate() empty() (static) equate() extract_map() fast_is_empty() fast_is_equal() fast_is_fixed() find_dim_by_id() find_dim_by_name() fixed_power() flat_domain_product() flat_product() flat_range_product() flatten() flatten_domain() flatten_range() foreach_basic_map() foreach_map() from_aff() (static) from_basic_map() (static)

from_domain() (static) from_domain_and_range() (static) from_multi_aff() (static) from_pw_aff() (static) from_pw_multi_aff() (static) from_set() (static) from_union_map() (static) get_basic_maps() get_ctx() get_dim_id() get_dim_name() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_names() gist() gist_basic_map() gist_domain() gist_params() gist_range() has_dim_id() has_equal_space() has_tuple_id() identity() (static) insert_dims() intersect() intersect_domain() intersect_params() intersect_range() involves_dims() is_bijective() is_empty() is_equal() is_injective() is_single_valued() is_strict_subset() is_subset() is_translation() is_valid() lex_ge() (static) lex_ge_first() (static) lex_ge_map() lex_ge_union_map() lex_gt() (static) lex_gt_first() (static) lex_gt_map() lex_gt_union_map() lex_le() (static) lex_le_first() (static) lex_le_map() lex_le_union_map() lex_lt() (static)

lex_lt_first() (static) lex_lt_map() lex_lt_union_map() lexmax() lexmin() make_disjoint() move_dims() n_map() nat_universe() (static) oppose() order_gt() params() partial_lexmax() partial_lexmin() plain_input_is_fixed() plain_is_empty() plain_is_equal() plain_is_fixed() plain_is_injective() plain_is_single_valued() plain_is_universe() polyhedral_hull() power() print_() print_internal() product() project_out() project_out_except() range() range_map() range_product() reaching_path_lengths() read_from_file() (static) read_from_str() (static) remove_dims() remove_divs() remove_redundancies() reset_tuple_id() reverse() sample() set_dim_id() set_dim_name() set_tuple_id() set_tuple_name() simple_hull() subtract() subtract_domain() subtract_range() transitive_closure() union() universe() (static) wrap() zip()

add_basic_map(self, bmap)

Parameters:

• self – Map
• bmap – BasicMap

Returns:

Map

add_constraint(self, constraint)

Parameters:

• self – Map
• constraint – Constraint

Returns:

Map

add_constraints(obj, constraints)

New in version 2011.3.

add_dims(self, type, n)

Parameters:

• self – Map
• type – dim_type
• n – unsigned

Returns:

Map

add_map(self, map)

Parameters:

• self – UnionMap
• map – Map

Returns:

UnionMap

affine_hull(self)

Parameters:self – Map Returns:BasicMap

align_divs(self)

Parameters:self – Map Returns:Map

align_params(self, model)

Parameters:

• self – Map
• model – Space

Returns:

Map

apply_domain(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

apply_pw_qpolynomial_fold(self, pwf)

Parameters:

• self – Map
• pwf – PwQPolynomialFold

Returns:

tuple: (PwQPolynomialFold, tight (integer))

apply_range(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters:

• self – UnionMap
• upwf – UnionPwQPolynomialFold

Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

can_curry(self)

Parameters:self – Map Returns:int

can_zip(self)

Parameters:self – Map Returns:int

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:

• self – UnionMap
• must_source – UnionMap
• may_source – UnionMap
• schedule – UnionMap

Returns:

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

contains(self, dim)

Parameters:

• self – UnionMap
• dim – Space

Returns:

int

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(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

unsigned

dim_max(self, pos)

Parameters:

• self – Map
• pos – int

Returns:

PwAff

domain(self)

Parameters:self – Map Returns:Set

domain_map(self)

Parameters:self – Map Returns:Map

domain_product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

drop_basic_map(self, bmap)

Parameters:

• self – Map
• bmap – BasicMap

Returns:

Map

eliminate(self, type, first, n)

Parameters:

• self – Map
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Map

empty(dim)

Parameters:dim – Space Returns:Map

equate(self, type1, pos1, type2, pos2)

Parameters:

• self – Map
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

Map

extract_map(self, dim)

Parameters:

• self – UnionMap
• dim – Space

Returns:

Map

fast_is_empty(self)

Parameters:self – Map Returns:int

fast_is_equal(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

int

fast_is_fixed(self, type, pos)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned

Returns:

val (integer)

find_dim_by_id(self, type, id)

Parameters:

• self – Map
• type – dim_type
• id – Id

Returns:

int

find_dim_by_name(self, type, name)

Parameters:

• self – Map
• type – dim_type
• name – string

Returns:

int

fixed_power(self, exp)

Parameters:

• self – Map
• exp – integer

Returns:

Map

flat_domain_product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

flat_product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

flat_range_product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

flatten(self)

Parameters:self – Map Returns:Map

flatten_domain(self)

Parameters:self – Map Returns:Map

flatten_range(self)

Parameters:self – Map Returns:Map

foreach_basic_map(self)

Parameters:

• self – Map
• fn – callback(bmap)

Returns:

int

foreach_map(self)

Parameters:

• self – UnionMap
• fn – callback(map)

Returns:

int

from_aff(aff)

Parameters:aff – Aff Returns:Map

from_basic_map(bmap)

Parameters:bmap – BasicMap Returns:Map

from_domain(set)

Parameters:set – Set Returns:Map

from_domain_and_range(domain, range)

Parameters:

• domain – Set
• range – Set

Returns:

Map

from_multi_aff(maff)

Parameters:maff – MultiAff Returns:Map

from_pw_aff(pwaff)

Parameters:pwaff – PwAff Returns:Map

from_pw_multi_aff(pma)

Parameters:pma – PwMultiAff Returns:Map

from_set(set, dim)

Parameters:

• set – Set
• dim – Space

Returns:

Map

from_union_map(umap)

Parameters:umap – UnionMap Returns:Map

get_basic_maps()

Get the list of BasicMap instances in this Map.

get_ctx(self)

Parameters:self – Map Returns:Context

get_dim_id(self, type, pos)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned

Returns:

string

get_space(self)

Parameters:self – Map Returns:Space

get_tuple_id(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

Id

get_tuple_name(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

string

gist(self, context)

Parameters:

• self – Map
• context – Map

Returns:

Map

gist_basic_map(self, context)

Parameters:

• self – Map
• context – BasicMap

Returns:

Map

gist_domain(self, context)

Parameters:

• self – Map
• context – Set

Returns:

Map

gist_params(self, context)

Parameters:

• self – Map
• context – Set

Returns:

Map

gist_range(self, context)

Parameters:

• self – Map
• context – Set

Returns:

Map

has_dim_id(self, type, pos)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned

Returns:

bool

has_equal_space(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

bool

has_tuple_id(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

bool

identity(dim)

Parameters:dim – Space Returns:Map

insert_dims(self, type, pos, n)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned
• n – unsigned

Returns:

Map

intersect(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

intersect_domain(self, set)

Parameters:

• self – Map
• set – Set

Returns:

Map

intersect_params(self, params)

Parameters:

• self – Map
• params – Set

Returns:

Map

intersect_range(self, set)

Parameters:

• self – Map
• set – Set

Returns:

Map

involves_dims(self, type, first, n)

Parameters:

• self – Map
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_bijective(self)

Parameters:self – Map Returns:bool

is_empty(self)

Parameters:self – Map Returns:bool

is_equal(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

bool

is_injective(self)

Parameters:self – Map Returns:bool

is_single_valued(self)

Parameters:self – Map Returns:bool

is_strict_subset(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

bool

is_subset(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

bool

is_translation(self)

Parameters:self – Map Returns:bool

is_valid()

Return whether current object is still valid.

lex_ge(set_dim)

Parameters:set_dim – Space Returns:Map

lex_ge_first(dim, n)

Parameters:

• dim – Space
• n – unsigned

Returns:

Map

lex_ge_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_ge_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_gt(set_dim)

Parameters:set_dim – Space Returns:Map

lex_gt_first(dim, n)

Parameters:

• dim – Space
• n – unsigned

Returns:

Map

lex_gt_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_gt_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_le(set_dim)

Parameters:set_dim – Space Returns:Map

lex_le_first(dim, n)

Parameters:

• dim – Space
• n – unsigned

Returns:

Map

lex_le_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_le_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_lt(set_dim)

Parameters:set_dim – Space Returns:Map

lex_lt_first(dim, n)

Parameters:

• dim – Space
• n – unsigned

Returns:

Map

lex_lt_map(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

lex_lt_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lexmax(self)

Parameters:self – Map Returns:Map

lexmin(self)

Parameters:self – Map Returns:Map

make_disjoint(self)

Parameters:self – Map Returns:Map

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

Parameters:

• self – Map
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

Map

n_map(self)

Parameters:self – UnionMap Returns:int

nat_universe(dim)

Parameters:dim – Space Returns:Map

oppose(self, type1, pos1, type2, pos2)

Parameters:

• self – Map
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

Map

order_gt(self, type1, pos1, type2, pos2)

Parameters:

• self – Map
• type1 – dim_type
• pos1 – int
• type2 – dim_type
• pos2 – int

Returns:

Map

params(self)

Parameters:self – Map Returns:Set

partial_lexmax(self, dom)

Parameters:

• self – Map
• dom – Set

Returns:

tuple: (Map, empty (Set))

partial_lexmin(self, dom)

Parameters:

• self – Map
• dom – Set

Returns:

tuple: (Map, empty (Set))

plain_input_is_fixed(self, in)

Parameters:

• self – Map
• in – unsigned

Returns:

val (integer)

plain_is_empty(self)

Parameters:self – Map Returns:int

plain_is_equal(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

int

plain_is_fixed(self, type, pos)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned

Returns:

val (integer)

plain_is_injective(self)

Parameters:self – Map Returns:int

plain_is_single_valued(self)

Parameters:self – Map Returns:int

plain_is_universe(self)

Parameters:self – Map Returns:int

polyhedral_hull(self)

Parameters:self – Map Returns:BasicMap

power(self)

Parameters:self – Map Returns:tuple: (Map, exact (integer))

print_(self, out, indent, output_format)

Parameters:

• self – Map
• out – file-like
• indent – int
• output_format – unsigned

Returns:

None

print_internal(self, out, indent)

Parameters:

• self – Map
• out – file-like
• indent – int

Returns:

None

product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

project_out(self, type, first, n)

Parameters:

• self – Map
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Map

project_out_except(obj, 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 – Map Returns:Set

range_map(self)

Parameters:self – Map Returns:Map

range_product(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

reaching_path_lengths(self)

Parameters:self – Map Returns:tuple: (Map, exact (integer))

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

Map

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

Map

remove_dims(self, type, first, n)

Parameters:

• self – Map
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Map

remove_divs(self)

Parameters:self – Map Returns:Map

remove_redundancies(self)

Parameters:self – Map Returns:Map

reset_tuple_id(self, type)

Parameters:

• self – Map
• type – dim_type

Returns:

Map

reverse(self)

Parameters:self – Map Returns:Map

sample(self)

Parameters:self – Map Returns:BasicMap

set_dim_id(self, type, pos, id)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned
• id – Id

Returns:

Map

set_dim_name(self, type, pos, s)

Parameters:

• self – Map
• type – dim_type
• pos – unsigned
• s – string

Returns:

Map

set_tuple_id(self, type, id)

Parameters:

• self – Map
• type – dim_type
• id – Id

Returns:

Map

set_tuple_name(self, type, s)

Parameters:

• self – Map
• type – dim_type
• s – string

Returns:

Map

simple_hull(self)

Parameters:self – Map Returns:BasicMap

space

get_space(self)

Parameters:self – Map 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

transitive_closure(self)

Parameters:self – Map Returns:tuple: (Map, exact (integer))

union(self, map2)

Parameters:

• self – Map
• map2 – Map

Returns:

Map

universe(dim)

Parameters:dim – Space Returns:Map

wrap(self)

Parameters:self – Map Returns:Set

zip(self)

Parameters:self – Map Returns:Map

Union Set

class islpy.UnionSet(s, context=None)

__eq__() __hash__() (static) add_set() affine_hull() align_params() apply() apply_union_pw_qpolynomial_fold() coalesce() coefficients() compute_divs() compute_schedule() contains() copy() detect_equalities() empty() (static) extract_set() foreach_point() foreach_set()

from_set() (static) get_ctx() get_space() get_var_dict() get_var_names() gist() gist_params() identity() intersect() intersect_params() is_empty() is_equal() is_params() is_strict_subset() is_subset() is_valid() lex_ge_union_set() lex_gt_union_set()

lex_le_union_set() lex_lt_union_set() lexmax() lexmin() lift() n_set() params() polyhedral_hull() product() read_from_file() (static) read_from_str() (static) sample() simple_hull() solutions() subtract() union() universe() unwrap()

add_set(self, set)

Parameters:

• self – UnionSet
• set – Set

Returns:

UnionSet

affine_hull(self)

Parameters:self – UnionSet Returns:UnionSet

align_params(self, model)

Parameters:

• self – UnionSet
• model – Space

Returns:

UnionSet

apply(self, umap)

Parameters:

• self – UnionSet
• umap – UnionMap

Returns:

UnionSet

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters:

• self – UnionSet
• upwf – UnionPwQPolynomialFold

Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

coalesce(self)

Parameters:self – UnionSet Returns:UnionSet

coefficients(self)

Parameters:self – UnionSet Returns:UnionSet

compute_divs(self)

Parameters:self – UnionSet Returns:UnionSet

compute_schedule(self, validity, proximity)

Parameters:

• self – UnionSet
• validity – UnionMap
• proximity – UnionMap

Returns:

Schedule

contains(self, dim)

Parameters:

• self – UnionSet
• dim – Space

Returns:

int

copy(self)

Parameters:self – UnionSet Returns:UnionSet

detect_equalities(self)

Parameters:self – UnionSet Returns:UnionSet

empty(dim)

Parameters:dim – Space Returns:UnionSet

extract_set(self, dim)

Parameters:

• self – UnionSet
• dim – Space

Returns:

Set

foreach_point(self)

Parameters:

• self – UnionSet
• fn – callback(pnt)

Returns:

int

foreach_set(self)

Parameters:

• self – UnionSet
• fn – callback(set)

Returns:

int

from_set(set)

Parameters:set – Set Returns:UnionSet

get_ctx(self)

Parameters:self – UnionSet Returns:Context

get_space(self)

Parameters:self – UnionSet Returns:Space

gist(self, context)

Parameters:

• self – UnionSet
• context – UnionSet

Returns:

UnionSet

gist_params(self, set)

Parameters:

• self – UnionSet
• set – Set

Returns:

UnionSet

identity(self)

Parameters:self – UnionSet Returns:UnionMap

intersect(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionSet

intersect_params(self, set)

Parameters:

• self – UnionSet
• set – Set

Returns:

UnionSet

is_empty(self)

Parameters:self – UnionSet Returns:bool

is_equal(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

bool

is_params(self)

Parameters:self – UnionSet Returns:bool

is_strict_subset(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

bool

is_subset(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

bool

is_valid()

Return whether current object is still valid.

lex_ge_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_gt_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_le_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lex_lt_union_set(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionMap

lexmax(self)

Parameters:self – UnionSet Returns:UnionSet

lexmin(self)

Parameters:self – UnionSet Returns:UnionSet

lift(self)

Parameters:self – UnionSet Returns:UnionSet

n_set(self)

Parameters:self – UnionSet Returns:int

params(self)

Parameters:self – UnionSet Returns:Set

polyhedral_hull(self)

Parameters:self – UnionSet Returns:UnionSet

product(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionSet

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

UnionSet

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

UnionSet

sample(self)

Parameters:self – UnionSet Returns:BasicSet

simple_hull(self)

Parameters:self – UnionSet Returns:UnionSet

solutions(self)

Parameters:self – UnionSet Returns:UnionSet

space

get_space(self)

Parameters:self – UnionSet Returns:Space

subtract(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionSet

union(self, uset2)

Parameters:

• self – UnionSet
• uset2 – UnionSet

Returns:

UnionSet

universe(self)

Parameters:self – UnionSet Returns:UnionSet

unwrap(self)

Parameters:self – UnionSet Returns:UnionMap

Union Map

class islpy.UnionMap(s, context=None)

__eq__() __hash__() (static) add_map() affine_hull() align_params() apply_domain() apply_range() apply_union_pw_qpolynomial_fold() coalesce() compute_divs() compute_flow() contains() copy() curry() deltas() deltas_map() detect_equalities() domain() domain_map() empty() (static) extract_map() fixed_power() flat_range_product() foreach_map() from_domain() (static)

from_domain_and_range() (static) from_map() (static) from_range() (static) from_union_pw_multi_aff() (static) get_ctx() get_space() get_var_dict() get_var_names() gist() gist_domain() gist_params() gist_range() intersect() intersect_domain() intersect_params() intersect_range() is_bijective() is_empty() is_equal() is_injective() is_single_valued() is_strict_subset() is_subset() is_valid() lex_ge_union_map()

lex_gt_union_map() lex_le_union_map() lex_lt_union_map() lexmax() lexmin() n_map() params() plain_is_injective() polyhedral_hull() power() product() range() range_map() range_product() read_from_file() (static) read_from_str() (static) reverse() sample() simple_hull() subtract() transitive_closure() union() universe() wrap() zip()

add_map(self, map)

Parameters:

• self – UnionMap
• map – Map

Returns:

UnionMap

affine_hull(self)

Parameters:self – UnionMap Returns:UnionMap

align_params(self, model)

Parameters:

• self – UnionMap
• model – Space

Returns:

UnionMap

apply_domain(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

apply_range(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

apply_union_pw_qpolynomial_fold(self, upwf)

Parameters:

• self – UnionMap
• upwf – UnionPwQPolynomialFold

Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

coalesce(self)

Parameters:self – UnionMap Returns:UnionMap

compute_divs(self)

Parameters:self – UnionMap Returns:UnionMap

compute_flow(self, must_source, may_source, schedule)

Parameters:

• self – UnionMap
• must_source – UnionMap
• may_source – UnionMap
• schedule – UnionMap

Returns:

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

contains(self, dim)

Parameters:

• self – UnionMap
• dim – Space

Returns:

int

copy(self)

Parameters:self – UnionMap Returns:UnionMap

curry(self)

Parameters:self – UnionMap Returns:UnionMap

deltas(self)

Parameters:self – UnionMap Returns:UnionSet

deltas_map(self)

Parameters:self – UnionMap Returns:UnionMap

detect_equalities(self)

Parameters:self – UnionMap Returns:UnionMap

domain(self)

Parameters:self – UnionMap Returns:UnionSet

domain_map(self)

Parameters:self – UnionMap Returns:UnionMap

empty(dim)

Parameters:dim – Space Returns:UnionMap

extract_map(self, dim)

Parameters:

• self – UnionMap
• dim – Space

Returns:

Map

fixed_power(self, exp)

Parameters:

• self – UnionMap
• exp – integer

Returns:

UnionMap

flat_range_product(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

foreach_map(self)

Parameters:

• self – UnionMap
• fn – callback(map)

Returns:

int

from_domain(uset)

Parameters:uset – UnionSet Returns:UnionMap

from_domain_and_range(domain, range)

Parameters:

• domain – UnionSet
• range – UnionSet

Returns:

UnionMap

from_map(map)

Parameters:map – Map Returns:UnionMap

from_range(uset)

Parameters:uset – UnionSet Returns:UnionMap

from_union_pw_multi_aff(upma)

Parameters:upma – UnionPwMultiAff Returns:UnionMap

get_ctx(self)

Parameters:self – UnionMap Returns:Context

get_space(self)

Parameters:self – UnionMap Returns:Space

gist(self, context)

Parameters:

• self – UnionMap
• context – UnionMap

Returns:

UnionMap

gist_domain(self, uset)

Parameters:

• self – UnionMap
• uset – UnionSet

Returns:

UnionMap

gist_params(self, set)

Parameters:

• self – UnionMap
• set – Set

Returns:

UnionMap

gist_range(self, uset)

Parameters:

• self – UnionMap
• uset – UnionSet

Returns:

UnionMap

intersect(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

intersect_domain(self, uset)

Parameters:

• self – UnionMap
• uset – UnionSet

Returns:

UnionMap

intersect_params(self, set)

Parameters:

• self – UnionMap
• set – Set

Returns:

UnionMap

intersect_range(self, uset)

Parameters:

• self – UnionMap
• uset – UnionSet

Returns:

UnionMap

is_bijective(self)

Parameters:self – UnionMap Returns:bool

is_empty(self)

Parameters:self – UnionMap Returns:bool

is_equal(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

bool

is_injective(self)

Parameters:self – UnionMap Returns:bool

is_single_valued(self)

Parameters:self – UnionMap Returns:bool

is_strict_subset(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

bool

is_subset(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

bool

is_valid()

Return whether current object is still valid.

lex_ge_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_gt_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_le_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lex_lt_union_map(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

lexmax(self)

Parameters:self – UnionMap Returns:UnionMap

lexmin(self)

Parameters:self – UnionMap Returns:UnionMap

n_map(self)

Parameters:self – UnionMap Returns:int

params(self)

Parameters:self – UnionMap Returns:Set

plain_is_injective(self)

Parameters:self – UnionMap Returns:int

polyhedral_hull(self)

Parameters:self – UnionMap Returns:UnionMap

power(self)

Parameters:self – UnionMap Returns:tuple: (UnionMap, exact (integer))

product(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

range(self)

Parameters:self – UnionMap Returns:UnionSet

range_map(self)

Parameters:self – UnionMap Returns:UnionMap

range_product(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

UnionMap

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

UnionMap

reverse(self)

Parameters:self – UnionMap Returns:UnionMap

sample(self)

Parameters:self – UnionMap Returns:BasicMap

simple_hull(self)

Parameters:self – UnionMap Returns:UnionMap

space

get_space(self)

Parameters:self – UnionMap Returns:Space

subtract(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

transitive_closure(self)

Parameters:self – UnionMap Returns:tuple: (UnionMap, exact (integer))

union(self, umap2)

Parameters:

• self – UnionMap
• umap2 – UnionMap

Returns:

UnionMap

universe(self)

Parameters:self – UnionMap Returns:UnionMap

wrap(self)

Parameters:self – UnionMap Returns:UnionSet

zip(self)

Parameters:self – UnionMap Returns:UnionMap

Geometric Entities

Point

class islpy.Point

__hash__() (static) copy() get_coordinate() get_ctx()

get_space() get_var_dict() get_var_names() is_valid()

is_void() set_coordinate() void() (static) zero() (static)

copy(self)

Parameters:self – Point Returns:Point

get_coordinate(self, type, pos)

Parameters:

• self – Point
• type – dim_type
• pos – int

Returns:

v (integer)

get_ctx(self)

Parameters:self – Point Returns:Context

get_space(self)

Parameters:self – Point Returns:Space

is_valid()

Return whether current object is still valid.

is_void(self)

Parameters:self – Point Returns:bool

set_coordinate(self, type, pos, v)

Parameters:

• self – Point
• type – dim_type
• pos – int
• v – integer

Returns:

Point

space

get_space(self)

Parameters:self – Point Returns:Space

void(dim)

Parameters:dim – Space Returns:Point

zero(dim)

Parameters:dim – Space Returns:Point

Vertex

class islpy.Vertex

__hash__() (static) get_ctx()

get_domain() get_expr()

get_id() is_valid()

get_ctx(self)

Parameters:self – Vertex Returns:Context

get_domain(self)

Parameters:self – Vertex Returns:BasicSet

get_expr(self)

Parameters:self – Vertex Returns:BasicSet

get_id(self)

Parameters:self – Vertex Returns:int

is_valid()

Return whether current object is still valid.

Vertices

class islpy.Vertices

__hash__() (static) foreach_cell()

foreach_vertex() get_ctx()

get_n_vertices() is_valid()

foreach_cell(self)

Parameters:

• self – Vertices
• fn – callback(cell)

Returns:

int

foreach_vertex(self)

Parameters:

• self – Vertices
• fn – callback(vertex)

Returns:

int

get_ctx(self)

Parameters:self – Vertices Returns:Context

get_n_vertices(self)

Parameters:self – Vertices Returns:int

is_valid()

Return whether current object is still valid.

Cell

class islpy.Cell

__hash__() (static) foreach_vertex()

get_ctx() get_domain()

is_valid()

foreach_vertex(self)

Parameters:

• self – Cell
• fn – callback(vertex)

Returns:

int

get_ctx(self)

Parameters:self – Cell Returns:Context

get_domain(self)

Parameters:self – Cell Returns:BasicSet

is_valid()

Return whether current object is still valid.

Quasi-Affine Expressions

Quasi-Affine Expression

class islpy.Aff(s, context=None)

__hash__() (static) add() add_coefficient() add_constant() add_dims() align_params() ceil() coalesce() cond() copy() dim() domain() drop_dims() eq_set() floor() foreach_piece() ge_basic_set() ge_set() get_aggregate_domain() get_coefficient() get_coefficients_by_name() get_constant() get_ctx() get_denominator() get_dim_id() get_dim_name()

get_div() get_domain_local_space() get_domain_space() get_local_space() get_pieces() get_space() get_var_dict() get_var_names() gist() gist_params() gt_set() has_dim_id() insert_dims() intersect_domain() intersect_params() involves_dims() is_cst() is_empty() is_valid() le_basic_set() le_set() lt_set() max() min() mod() mul()

n_piece() ne_set() neg() non_zero_set() nonneg_set() plain_is_equal() plain_is_zero() project_domain_on_params() read_from_str() (static) scale() scale_down() set_coefficient() set_coefficients() set_coefficients_by_name() set_constant() set_denominator() set_dim_id() set_dim_name() set_tuple_id() sub() union_add() union_max() union_min() zero_on_domain() (static) zero_set()

add(self, aff2)

Parameters:

• self – Aff
• aff2 – Aff

Returns:

Aff

add_coefficient(self, type, pos, v)

Parameters:

• self – Aff
• type – dim_type
• pos – int
• v – integer

Returns:

Aff

add_constant(self, v)

Parameters:

• self – Aff
• v – integer

Returns:

Aff

add_dims(self, type, n)

Parameters:

• self – Aff
• type – dim_type
• n – unsigned

Returns:

Aff

align_params(self, model)

Parameters:

• self – Aff
• model – Space

Returns:

Aff

ceil(self)

Parameters:self – Aff Returns:Aff

coalesce(self)

Parameters:self – PwAff Returns:PwAff

cond(self, pwaff_true, pwaff_false)

Parameters:

• self – PwAff
• pwaff_true – PwAff
• pwaff_false – PwAff

Returns:

PwAff

copy(self)

Parameters:self – Aff Returns:Aff

dim(self, type)

Parameters:

• self – Aff
• type – dim_type

Returns:

int

domain(self)

Parameters:self – PwAff Returns:Set

drop_dims(self, type, first, n)

Parameters:

• self – Aff
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Aff

eq_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

floor(self)

Parameters:self – Aff Returns:Aff

foreach_piece(self)

Parameters:

• self – PwAff
• fn – callback(set, aff)

Returns:

int

ge_basic_set(self, aff2)

Parameters:

• self – Aff
• aff2 – Aff

Returns:

BasicSet

ge_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

get_aggregate_domain(basic_instance, *args, **kwargs)

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

get_coefficient(self, type, pos)

Parameters:

• self – Aff
• type – dim_type
• pos – int

Returns:

v (integer)

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

Parameters:self – Aff Returns:v (integer)

get_ctx(self)

Parameters:self – Aff Returns:Context

get_denominator(self)

Parameters:self – Aff Returns:v (integer)

get_dim_id(self, type, pos)

Parameters:

• self – PwAff
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – Aff
• type – dim_type
• pos – unsigned

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

Parameters:self – Aff Returns:LocalSpace

get_pieces(basic_instance, *args, **kwargs)

Returns:list of (Set, Aff)

get_space(self)

Parameters:self – Aff Returns:Space

gist(self, context)

Parameters:

• self – Aff
• context – Set

Returns:

Aff

gist_params(self, context)

Parameters:

• self – Aff
• context – Set

Returns:

Aff

gt_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

has_dim_id(self, type, pos)

Parameters:

• self – PwAff
• type – dim_type
• pos – unsigned

Returns:

bool

insert_dims(self, type, first, n)

Parameters:

• self – Aff
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

Aff

intersect_domain(self, set)

Parameters:

• self – PwAff
• set – Set

Returns:

PwAff

intersect_params(self, set)

Parameters:

• self – PwAff
• set – Set

Returns:

PwAff

involves_dims(self, type, first, n)

Parameters:

• self – Aff
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_cst(self)

Parameters:self – Aff Returns:bool

is_empty(self)

Parameters:self – PwAff Returns:bool

is_valid()

Return whether current object is still valid.

le_basic_set(self, aff2)

Parameters:

• self – Aff
• aff2 – Aff

Returns:

BasicSet

le_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

lt_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

max(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

min(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

mod(self, mod)

Parameters:

• self – Aff
• mod – integer

Returns:

Aff

mul(self, aff2)

Parameters:

• self – Aff
• aff2 – Aff

Returns:

Aff

n_piece(self)

Parameters:self – PwAff Returns:int

ne_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

neg(self)

Parameters:self – Aff Returns:Aff

non_zero_set(self)

Parameters:self – PwAff Returns:Set

nonneg_set(self)

Parameters:self – PwAff Returns:Set

plain_is_equal(self, aff2)

Parameters:

• self – Aff
• aff2 – Aff

Returns:

int

plain_is_zero(self)

Parameters:self – Aff Returns:int

project_domain_on_params(self)

Parameters:self – Aff Returns:Aff

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

Aff

scale(self, f)

Parameters:

• self – Aff
• f – integer

Returns:

Aff

scale_down(self, f)

Parameters:

• self – Aff
• f – integer

Returns:

Aff

set_coefficient(self, type, pos, v)

Parameters:

• self – Aff
• type – dim_type
• pos – int
• v – integer

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(self, v)

Parameters:

• self – Aff
• v – integer

Returns:

Aff

set_denominator(self, v)

Parameters:

• self – Aff
• v – integer

Returns:

Aff

set_dim_id(self, type, pos, id)

Parameters:

• self – Aff
• type – dim_type
• pos – unsigned
• id – Id

Returns:

Aff

set_dim_name(self, type, pos, s)

Parameters:

• self – Aff
• type – dim_type
• pos – unsigned
• s – string

Returns:

Aff

set_tuple_id(self, type, id)

Parameters:

• self – PwAff
• type – dim_type
• id – Id

Returns:

PwAff

space

get_space(self)

Parameters:self – Aff Returns:Space

sub(self, aff2)

Parameters:

• self – Aff
• aff2 – Aff

Returns:

Aff

union_add(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

union_max(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

union_min(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

zero_on_domain(ls)

Parameters:ls – LocalSpace Returns:Aff

zero_set(self)

Parameters:self – PwAff Returns:Set

Piecewise Quasi-Affine Expression

class islpy.PwAff(s, context=None)

__hash__() (static) add() add_dims() align_params() alloc() (static) ceil() coalesce() cond() copy() dim() domain() drop_dims() empty() (static) eq_set() floor() foreach_piece() from_aff() (static) ge_set() get_aggregate_domain() get_ctx()

get_dim_id() get_dim_name() get_domain_space() get_pieces() get_space() get_var_dict() get_var_names() gist() gist_params() gt_set() has_dim_id() insert_dims() intersect_domain() intersect_params() involves_dims() is_cst() is_empty() is_valid() le_set() lt_set()

max() min() mod() mul() n_piece() ne_set() neg() non_zero_set() nonneg_set() plain_is_equal() read_from_str() (static) scale() scale_down() set_dim_id() set_tuple_id() sub() union_add() union_max() union_min() zero_set()

add(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

add_dims(self, type, n)

Parameters:

• self – PwAff
• type – dim_type
• n – unsigned

Returns:

PwAff

align_params(self, model)

Parameters:

• self – PwAff
• model – Space

Returns:

PwAff

alloc(set, aff)

Parameters:

• set – Set
• aff – Aff

Returns:

PwAff

ceil(self)

Parameters:self – PwAff Returns:PwAff

coalesce(self)

Parameters:self – PwAff Returns:PwAff

cond(self, pwaff_true, pwaff_false)

Parameters:

• self – PwAff
• pwaff_true – PwAff
• pwaff_false – PwAff

Returns:

PwAff

copy(self)

Parameters:self – PwAff Returns:PwAff

dim(self, type)

Parameters:

• self – PwAff
• type – dim_type

Returns:

unsigned

domain(self)

Parameters:self – PwAff Returns:Set

drop_dims(self, type, first, n)

Parameters:

• self – PwAff
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

PwAff

empty(dim)

Parameters:dim – Space Returns:PwAff

eq_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

floor(self)

Parameters:self – PwAff Returns:PwAff

foreach_piece(self)

Parameters:

• self – PwAff
• fn – callback(set, aff)

Returns:

int

from_aff(aff)

Parameters:aff – Aff Returns:PwAff

ge_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

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:

• self – PwAff
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – PwAff
• type – dim_type
• pos – unsigned

Returns:

string

get_domain_space(self)

Parameters:self – PwAff Returns:Space

get_pieces()

Returns:list of (Set, Aff)

get_space(self)

Parameters:self – PwAff Returns:Space

gist(self, context)

Parameters:

• self – PwAff
• context – Set

Returns:

PwAff

gist_params(self, context)

Parameters:

• self – PwAff
• context – Set

Returns:

PwAff

gt_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

has_dim_id(self, type, pos)

Parameters:

• self – PwAff
• type – dim_type
• pos – unsigned

Returns:

bool

insert_dims(self, type, first, n)

Parameters:

• self – PwAff
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

PwAff

intersect_domain(self, set)

Parameters:

• self – PwAff
• set – Set

Returns:

PwAff

intersect_params(self, set)

Parameters:

• self – PwAff
• set – Set

Returns:

PwAff

involves_dims(self, type, first, n)

Parameters:

• self – PwAff
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_cst(self)

Parameters:self – PwAff Returns:bool

is_empty(self)

Parameters:self – PwAff Returns:bool

is_valid()

Return whether current object is still valid.

le_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

lt_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

Set

max(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

min(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

mod(self, mod)

Parameters:

• self – PwAff
• mod – integer

Returns:

PwAff

mul(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

n_piece(self)

Parameters:self – PwAff Returns:int

ne_set(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

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

plain_is_equal(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

int

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

PwAff

scale(self, f)

Parameters:

• self – PwAff
• f – integer

Returns:

PwAff

scale_down(self, f)

Parameters:

• self – PwAff
• f – integer

Returns:

PwAff

set_dim_id(self, type, pos, id)

Parameters:

• self – PwAff
• type – dim_type
• pos – unsigned
• id – Id

Returns:

PwAff

set_tuple_id(self, type, id)

Parameters:

• self – PwAff
• type – dim_type
• id – Id

Returns:

PwAff

space

get_space(self)

Parameters:self – PwAff Returns:Space

sub(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

union_add(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

union_max(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

union_min(self, pwaff2)

Parameters:

• self – PwAff
• pwaff2 – PwAff

Returns:

PwAff

zero_set(self)

Parameters:self – PwAff Returns:Set

Multiply Affine Expressions

Multiply Affine Expression

class islpy.MultiAff(s, context=None)

__hash__() (static) add() copy() dim() drop_dims() flat_range_product() get_aff()

get_ctx() get_space() get_var_dict() get_var_names() gist() gist_params() is_valid()

lift() plain_is_equal() read_from_str() (static) scale() set_dim_name() set_tuple_id() zero() (static)

add(self, maff2)

Parameters:

• self – MultiAff
• maff2 – MultiAff

Returns:

MultiAff

copy(self)

Parameters:self – MultiAff Returns:MultiAff

dim(self, type)

Parameters:

• self – MultiAff
• type – dim_type

Returns:

unsigned

drop_dims(self, type, first, n)

Parameters:

• self – MultiAff
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

MultiAff

flat_range_product(self, ma2)

Parameters:

• self – MultiAff
• ma2 – MultiAff

Returns:

MultiAff

get_aff(self, pos)

Parameters:

• self – MultiAff
• pos – int

Returns:

Aff

get_ctx(self)

Parameters:self – MultiAff Returns:Context

get_space(self)

Parameters:self – MultiAff Returns:Space

gist(self, context)

Parameters:

• self – MultiAff
• context – Set

Returns:

MultiAff

gist_params(self, context)

Parameters:

• self – MultiAff
• context – Set

Returns:

MultiAff

is_valid()

Return whether current object is still valid.

lift(self)

Parameters:self – MultiAff Returns:tuple: (MultiAff, ls (LocalSpace))

plain_is_equal(self, maff2)

Parameters:

• self – MultiAff
• maff2 – MultiAff

Returns:

int

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

MultiAff

scale(self, f)

Parameters:

• self – MultiAff
• f – integer

Returns:

MultiAff

set_dim_name(self, type, pos, s)

Parameters:

• self – MultiAff
• type – dim_type
• pos – unsigned
• s – string

Returns:

MultiAff

set_tuple_id(self, type, id)

Parameters:

• self – MultiAff
• type – dim_type
• id – Id

Returns:

MultiAff

space

get_space(self)

Parameters:self – MultiAff Returns:Space

zero(space)

Parameters:space – Space Returns:MultiAff

Piecewise Multiply Affine Expression

class islpy.PwMultiAff(s, context=None)

__hash__() (static) add() alloc() (static) coalesce() copy() dim() domain() empty() (static) flat_range_product() foreach_piece() from_domain() (static) from_map() (static)

from_multi_aff() (static) from_set() (static) get_ctx() get_dim_id() get_dim_name() get_domain_space() get_pw_aff() get_space() get_tuple_id() get_tuple_name() get_var_dict() get_var_names()

gist() gist_params() has_tuple_id() intersect_domain() intersect_params() is_valid() plain_is_equal() read_from_str() (static) set_dim_id() set_tuple_id() union_add()

add(self, pma2)

Parameters:

• self – PwMultiAff
• pma2 – PwMultiAff

Returns:

PwMultiAff

alloc(set, maff)

Parameters:

• set – Set
• maff – MultiAff

Returns:

PwMultiAff

coalesce(self)

Parameters:self – PwMultiAff Returns:PwMultiAff

copy(self)

Parameters:self – PwMultiAff Returns:PwMultiAff

dim(self, type)

Parameters:

• self – PwMultiAff
• type – dim_type

Returns:

unsigned

domain(self)

Parameters:self – PwMultiAff Returns:Set

empty(space)

Parameters:space – Space Returns:PwMultiAff

flat_range_product(self, pma2)

Parameters:

• self – PwMultiAff
• pma2 – PwMultiAff

Returns:

PwMultiAff

foreach_piece(self)

Parameters:

• self – PwMultiAff
• fn – callback(set, maff)

Returns:

int

from_domain(set)

Parameters:set – Set Returns:PwMultiAff

from_map(map)

Parameters:map – Map Returns:PwMultiAff

from_multi_aff(ma)

Parameters:ma – MultiAff Returns:PwMultiAff

from_set(set)

Parameters:set – Set Returns:PwMultiAff

get_ctx(self)

Parameters:self – PwMultiAff Returns:Context

get_dim_id(self, type, pos)

Parameters:

• self – PwMultiAff
• type – dim_type
• pos – unsigned

Returns:

Id

get_dim_name(self, type, pos)

Parameters:

• self – PwMultiAff
• type – dim_type
• pos – unsigned

Returns:

string

get_domain_space(self)

Parameters:self – PwMultiAff Returns:Space

get_pw_aff(self, pos)

Parameters:

• self – PwMultiAff
• pos – int

Returns:

PwAff

get_space(self)

Parameters:self – PwMultiAff Returns:Space

get_tuple_id(self, type)

Parameters:

• self – PwMultiAff
• type – dim_type

Returns:

Id

get_tuple_name(self, type)

Parameters:

• self – PwMultiAff
• type – dim_type

Returns:

string

gist(self, set)

Parameters:

• self – PwMultiAff
• set – Set

Returns:

PwMultiAff

gist_params(self, set)

Parameters:

• self – PwMultiAff
• set – Set

Returns:

PwMultiAff

has_tuple_id(self, type)

Parameters:

• self – PwMultiAff
• type – dim_type

Returns:

bool

intersect_domain(self, set)

Parameters:

• self – PwMultiAff
• set – Set

Returns:

PwMultiAff

intersect_params(self, set)

Parameters:

• self – PwMultiAff
• set – Set

Returns:

PwMultiAff

is_valid()

Return whether current object is still valid.

plain_is_equal(self, pma2)

Parameters:

• self – PwMultiAff
• pma2 – PwMultiAff

Returns:

int

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

PwMultiAff

set_dim_id(self, type, pos, id)

Parameters:

• self – PwMultiAff
• type – dim_type
• pos – unsigned
• id – Id

Returns:

PwMultiAff

set_tuple_id(self, type, id)

Parameters:

• self – PwMultiAff
• type – dim_type
• id – Id

Returns:

PwMultiAff

space

get_space(self)

Parameters:self – PwMultiAff Returns:Space

union_add(self, pma2)

Parameters:

• self – PwMultiAff
• pma2 – PwMultiAff

Returns:

PwMultiAff

Union of Piecewise Multiply Affine Expression

class islpy.UnionPwMultiAff

__hash__() (static) add() add_pw_multi_aff() copy() domain()

empty() (static) flat_range_product() foreach_pw_multi_aff() from_domain() (static) get_ctx()

get_space() get_var_dict() get_var_names() is_valid()

add(self, upma2)

Parameters:

• self – UnionPwMultiAff
• upma2 – UnionPwMultiAff

Returns:

UnionPwMultiAff

add_pw_multi_aff(self, pma)

Parameters:

• self – UnionPwMultiAff
• pma – PwMultiAff

Returns:

UnionPwMultiAff

copy(self)

Parameters:self – UnionPwMultiAff Returns:UnionPwMultiAff

domain(self)

Parameters:self – UnionPwMultiAff Returns:UnionSet

empty(space)

Parameters:space – Space Returns:UnionPwMultiAff

flat_range_product(self, upma2)

Parameters:

• self – UnionPwMultiAff
• upma2 – UnionPwMultiAff

Returns:

UnionPwMultiAff

foreach_pw_multi_aff(self)

Parameters:

• self – UnionPwMultiAff
• fn – callback(pma)

Returns:

int

from_domain(uset)

Parameters:uset – UnionSet Returns:UnionPwMultiAff

get_ctx(self)

Parameters:self – UnionPwMultiAff Returns:Context

get_space(self)

Parameters:self – UnionPwMultiAff Returns:Space

is_valid()

Return whether current object is still valid.

space

get_space(self)

Parameters:self – UnionPwMultiAff Returns:Space

Quasipolynomials

QPolynomial

class islpy.QPolynomial

__hash__() (static) add() add_dims() add_isl_int() align_params() as_polynomial_on_domain() copy() dim() drop_dims() eval() foreach_term() from_aff() (static) from_constraint() (static) from_term() (static) get_ctx() get_den() get_domain_space()

get_space() get_var_dict() get_var_names() gist() gist_params() homogenize() infty_on_domain() (static) insert_dims() involves_dims() is_cst() is_infty() is_nan() is_neginfty() is_valid() is_zero() move_dims() mul()

mul_isl_int() nan_on_domain() (static) neg() neginfty_on_domain() (static) one_on_domain() (static) plain_is_equal() pow() print_() project_domain_on_params() rat_cst_on_domain() (static) scale() set_dim_name() sgn() sub() var_on_domain() (static) zero_on_domain() (static)

add(self, qp2)

Parameters:

• self – QPolynomial
• qp2 – QPolynomial

Returns:

QPolynomial

add_dims(self, type, n)

Parameters:

• self – QPolynomial
• type – dim_type
• n – unsigned

Returns:

QPolynomial

add_isl_int(self, v)

Parameters:

• self – QPolynomial
• v – integer

Returns:

QPolynomial

align_params(self, model)

Parameters:

• self – QPolynomial
• model – Space

Returns:

QPolynomial

as_polynomial_on_domain(self, bset)

Parameters:

• self – QPolynomial
• bset – BasicSet
• fn – callback(bset, poly)

Returns:

int

copy(self)

Parameters:self – QPolynomial Returns:QPolynomial

dim(self, type)

Parameters:

• self – QPolynomial
• type – dim_type

Returns:

unsigned

drop_dims(self, type, first, n)

Parameters:

• self – QPolynomial
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

QPolynomial

eval(self, pnt)

Parameters:

• self – QPolynomial
• pnt – Point

Returns:

QPolynomial

foreach_term(self)

Parameters:

• self – QPolynomial
• fn – callback(term)

Returns:

int

from_aff(aff)

Parameters:aff – Aff Returns:QPolynomial

from_constraint(c, type, pos)

Parameters:

• c – Constraint
• type – dim_type
• pos – unsigned

Returns:

QPolynomial

from_term(term)

Parameters:term – Term Returns:QPolynomial

get_ctx(self)

Parameters:self – QPolynomial Returns:Context

get_den(self)

Parameters:self – QPolynomial Returns:d (integer)

get_domain_space(self)

Parameters:self – QPolynomial Returns:Space

get_space(self)

Parameters:self – QPolynomial Returns:Space

gist(self, context)

Parameters:

• self – QPolynomial
• context – Set

Returns:

QPolynomial

gist_params(self, context)

Parameters:

• self – QPolynomial
• context – Set

Returns:

QPolynomial

homogenize(self)

Parameters:self – QPolynomial Returns:QPolynomial

infty_on_domain(dim)

Parameters:dim – Space Returns:QPolynomial

insert_dims(self, type, first, n)

Parameters:

• self – QPolynomial
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

QPolynomial

involves_dims(self, type, first, n)

Parameters:

• self – QPolynomial
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_cst(self)

Parameters:self – QPolynomial Returns:tuple: (n (integer), d (integer))

is_infty(self)

Parameters:self – QPolynomial Returns:bool

is_nan(self)

Parameters:self – QPolynomial Returns:bool

is_neginfty(self)

Parameters:self – QPolynomial Returns:bool

is_valid()

Return whether current object is still valid.

is_zero(self)

Parameters:self – QPolynomial Returns:bool

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

Parameters:

• self – QPolynomial
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

QPolynomial

mul(self, qp2)

Parameters:

• self – QPolynomial
• qp2 – QPolynomial

Returns:

QPolynomial

mul_isl_int(self, v)

Parameters:

• self – QPolynomial
• v – integer

Returns:

QPolynomial

nan_on_domain(dim)

Parameters:dim – Space Returns:QPolynomial

neg(self)

Parameters:self – QPolynomial Returns:QPolynomial

neginfty_on_domain(dim)

Parameters:dim – Space Returns:QPolynomial

one_on_domain(dim)

Parameters:dim – Space Returns:QPolynomial

plain_is_equal(self, qp2)

Parameters:

• self – QPolynomial
• qp2 – QPolynomial

Returns:

int

pow(self, power)

Parameters:

• self – QPolynomial
• power – unsigned

Returns:

QPolynomial

print_(self, out, output_format)

Parameters:

• self – QPolynomial
• out – file-like
• output_format – unsigned

Returns:

None

project_domain_on_params(self)

Parameters:self – QPolynomial Returns:QPolynomial

rat_cst_on_domain(dim, n, d)

Parameters:

• dim – Space
• n – integer
• d – integer

Returns:

QPolynomial

scale(self, v)

Parameters:

• self – QPolynomial
• v – integer

Returns:

QPolynomial

set_dim_name(self, type, pos, s)

Parameters:

• self – QPolynomial
• type – dim_type
• pos – unsigned
• s – string

Returns:

QPolynomial

sgn(self)

Parameters:self – QPolynomial Returns:int

space

get_space(self)

Parameters:self – QPolynomial Returns:Space

sub(self, qp2)

Parameters:

• self – QPolynomial
• qp2 – QPolynomial

Returns:

QPolynomial

var_on_domain(dim, type, pos)

Parameters:

• dim – Space
• type – dim_type
• pos – unsigned

Returns:

QPolynomial

zero_on_domain(dim)

Parameters:dim – Space Returns:QPolynomial

PwQPolynomial

class islpy.PwQPolynomial(s, context=None)

__hash__() (static) add() add_dims() add_disjoint() alloc() (static) bound() coalesce() copy() dim() domain() drop_dims() eval() fix_dim() foreach_lifted_piece() foreach_piece() from_pw_aff() (static) from_qpolynomial() (static)

get_ctx() get_domain_space() get_space() get_var_dict() get_var_names() gist() gist_params() has_equal_space() insert_dims() intersect_domain() intersect_params() involves_dims() is_valid() is_zero() max() min() move_dims()

mul() mul_isl_int() neg() plain_is_equal() pow() print_() project_domain_on_params() read_from_file() (static) read_from_str() (static) reset_domain_space() set_dim_name() split_dims() split_periods() sub() to_polynomial() zero() (static)

add(self, pwqp2)

Parameters:

• self – PwQPolynomial
• pwqp2 – PwQPolynomial

Returns:

PwQPolynomial

add_dims(self, type, n)

Parameters:

• self – PwQPolynomial
• type – dim_type
• n – unsigned

Returns:

PwQPolynomial

add_disjoint(self, pwqp2)

Parameters:

• self – PwQPolynomial
• pwqp2 – PwQPolynomial

Returns:

PwQPolynomial

alloc(set, qp)

Parameters:

• set – Set
• qp – QPolynomial

Returns:

PwQPolynomial

bound(self, type)

Parameters:

• self – PwQPolynomial
• type – fold

Returns:

tuple: (PwQPolynomialFold, tight (integer))

coalesce(self)

Parameters:self – PwQPolynomial Returns:PwQPolynomial

copy(self)

Parameters:self – PwQPolynomial Returns:PwQPolynomial

dim(self, type)

Parameters:

• self – PwQPolynomial
• type – dim_type

Returns:

unsigned

domain(self)

Parameters:self – PwQPolynomial Returns:Set

drop_dims(self, type, first, n)

Parameters:

• self – PwQPolynomial
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

PwQPolynomial

eval(self, pnt)

Parameters:

• self – PwQPolynomial
• pnt – Point

Returns:

QPolynomial

fix_dim(self, type, n, v)

Parameters:

• self – PwQPolynomial
• type – dim_type
• n – unsigned
• v – integer

Returns:

PwQPolynomial

foreach_lifted_piece(self)

Parameters:

• self – PwQPolynomial
• fn – callback(set, qp)

Returns:

int

foreach_piece(self)

Parameters:

• self – PwQPolynomial
• fn – callback(set, qp)

Returns:

int

from_pw_aff(pwaff)

Parameters:pwaff – PwAff Returns:PwQPolynomial

from_qpolynomial(qp)

Parameters:qp – QPolynomial Returns:PwQPolynomial

get_ctx(self)

Parameters:self – PwQPolynomial Returns:Context

get_domain_space(self)

Parameters:self – PwQPolynomial Returns:Space

get_space(self)

Parameters:self – PwQPolynomial Returns:Space

gist(self, context)

Parameters:

• self – PwQPolynomial
• context – Set

Returns:

PwQPolynomial

gist_params(self, context)

Parameters:

• self – PwQPolynomial
• context – Set

Returns:

PwQPolynomial

has_equal_space(self, pwqp2)

Parameters:

• self – PwQPolynomial
• pwqp2 – PwQPolynomial

Returns:

bool

insert_dims(self, type, first, n)

Parameters:

• self – PwQPolynomial
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

PwQPolynomial

intersect_domain(self, set)

Parameters:

• self – PwQPolynomial
• set – Set

Returns:

PwQPolynomial

intersect_params(self, set)

Parameters:

• self – PwQPolynomial
• set – Set

Returns:

PwQPolynomial

involves_dims(self, type, first, n)

Parameters:

• self – PwQPolynomial
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

int

is_valid()

Return whether current object is still valid.

is_zero(self)

Parameters:self – PwQPolynomial Returns:bool

max(self)

Parameters:self – PwQPolynomial Returns:QPolynomial

min(self)

Parameters:self – PwQPolynomial Returns:QPolynomial

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

Parameters:

• self – PwQPolynomial
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

PwQPolynomial

mul(self, pwqp2)

Parameters:

• self – PwQPolynomial
• pwqp2 – PwQPolynomial

Returns:

PwQPolynomial

mul_isl_int(self, v)

Parameters:

• self – PwQPolynomial
• v – integer

Returns:

PwQPolynomial

neg(self)

Parameters:self – PwQPolynomial Returns:PwQPolynomial

plain_is_equal(self, pwqp2)

Parameters:

• self – PwQPolynomial
• pwqp2 – PwQPolynomial

Returns:

int

pow(self, exponent)

Parameters:

• self – PwQPolynomial
• exponent – unsigned

Returns:

PwQPolynomial

print_(self, out, output_format)

Parameters:

• self – PwQPolynomial
• out – file-like
• output_format – unsigned

Returns:

None

project_domain_on_params(self)

Parameters:self – PwQPolynomial Returns:PwQPolynomial

read_from_file(ctx, input)

Parameters:

• ctx – Context
• input – file-like

Returns:

PwQPolynomial

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

PwQPolynomial

reset_domain_space(self, dim)

Parameters:

• self – PwQPolynomial
• dim – Space

Returns:

PwQPolynomial

set_dim_name(self, type, pos, s)

Parameters:

• self – PwQPolynomial
• type – dim_type
• pos – unsigned
• s – string

Returns:

PwQPolynomial

space

get_space(self)

Parameters:self – PwQPolynomial Returns:Space

split_dims(self, type, first, n)

Parameters:

• self – PwQPolynomial
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

PwQPolynomial

split_periods(self, max_periods)

Parameters:

• self – PwQPolynomial
• max_periods – int

Returns:

PwQPolynomial

sub(self, pwqp2)

Parameters:

• self – PwQPolynomial
• pwqp2 – PwQPolynomial

Returns:

PwQPolynomial

to_polynomial(self, sign)

Parameters:

• self – PwQPolynomial
• sign – int

Returns:

PwQPolynomial

zero(dim)

Parameters:dim – Space Returns:PwQPolynomial

UnionPwQPolynomial

class islpy.UnionPwQPolynomial(s, context=None)

__hash__() (static) add() add_pw_qpolynomial() align_params() bound() coalesce() copy() domain() eval() extract_pw_qpolynomial()

foreach_pw_qpolynomial() from_pw_qpolynomial() (static) get_ctx() get_space() get_var_dict() get_var_names() gist() gist_params() intersect_domain()

intersect_params() is_valid() mul() mul_isl_int() plain_is_equal() read_from_str() (static) sub() to_polynomial() zero() (static)

add(self, upwqp2)

Parameters:

• self – UnionPwQPolynomial
• upwqp2 – UnionPwQPolynomial

Returns:

UnionPwQPolynomial

add_pw_qpolynomial(self, pwqp)

Parameters:

• self – UnionPwQPolynomial
• pwqp – PwQPolynomial

Returns:

UnionPwQPolynomial

align_params(self, model)

Parameters:

• self – UnionPwQPolynomial
• model – Space

Returns:

UnionPwQPolynomial

bound(self, type)

Parameters:

• self – UnionPwQPolynomial
• type – fold

Returns:

tuple: (UnionPwQPolynomialFold, tight (integer))

coalesce(self)

Parameters:self – UnionPwQPolynomial Returns:UnionPwQPolynomial

copy(self)

Parameters:self – UnionPwQPolynomial Returns:UnionPwQPolynomial

domain(self)

Parameters:self – UnionPwQPolynomial Returns:UnionSet

eval(self, pnt)

Parameters:

• self – UnionPwQPolynomial
• pnt – Point

Returns:

QPolynomial

extract_pw_qpolynomial(self, dim)

Parameters:

• self – UnionPwQPolynomial
• dim – Space

Returns:

PwQPolynomial

foreach_pw_qpolynomial(self)

Parameters:

• self – UnionPwQPolynomial
• fn – callback(pwqp)

Returns:

int

from_pw_qpolynomial(pwqp)

Parameters:pwqp – PwQPolynomial Returns:UnionPwQPolynomial

get_ctx(self)

Parameters:self – UnionPwQPolynomial Returns:Context

get_space(self)

Parameters:self – UnionPwQPolynomial Returns:Space

gist(self, context)

Parameters:

• self – UnionPwQPolynomial
• context – UnionSet

Returns:

UnionPwQPolynomial

gist_params(self, context)

Parameters:

• self – UnionPwQPolynomial
• context – Set

Returns:

UnionPwQPolynomial

intersect_domain(self, uset)

Parameters:

• self – UnionPwQPolynomial
• uset – UnionSet

Returns:

UnionPwQPolynomial

intersect_params(self, set)

Parameters:

• self – UnionPwQPolynomial
• set – Set

Returns:

UnionPwQPolynomial

is_valid()

Return whether current object is still valid.

mul(self, upwqp2)

Parameters:

• self – UnionPwQPolynomial
• upwqp2 – UnionPwQPolynomial

Returns:

UnionPwQPolynomial

mul_isl_int(self, v)

Parameters:

• self – UnionPwQPolynomial
• v – integer

Returns:

UnionPwQPolynomial

plain_is_equal(self, upwqp2)

Parameters:

• self – UnionPwQPolynomial
• upwqp2 – UnionPwQPolynomial

Returns:

int

read_from_str(ctx, str)

Parameters:

• ctx – Context
• str – string

Returns:

UnionPwQPolynomial

space

get_space(self)

Parameters:self – UnionPwQPolynomial Returns:Space

sub(self, upwqp2)

Parameters:

• self – UnionPwQPolynomial
• upwqp2 – UnionPwQPolynomial

Returns:

UnionPwQPolynomial

to_polynomial(self, sign)

Parameters:

• self – UnionPwQPolynomial
• sign – int

Returns:

UnionPwQPolynomial

zero(dim)

Parameters:dim – Space Returns:UnionPwQPolynomial

QPolynomialFold

class islpy.QPolynomialFold

__hash__() (static) alloc() (static) copy() empty() (static) eval() fold() foreach_qpolynomial()

get_ctx() get_space() get_type() get_var_dict() get_var_names() gist() gist_params()

is_empty() is_valid() move_dims() mul_isl_int() plain_is_equal() print_() scale()

alloc(type, qp)

Parameters:

• type – fold
• qp – QPolynomial

Returns:

QPolynomialFold

copy(self)

Parameters:self – QPolynomialFold Returns:QPolynomialFold

empty(type, dim)

Parameters:

• type – fold
• dim – Space

Returns:

QPolynomialFold

eval(self, pnt)

Parameters:

• self – QPolynomialFold
• pnt – Point

Returns:

QPolynomial

fold(self, fold2)

Parameters:

• self – QPolynomialFold
• fold2 – QPolynomialFold

Returns:

QPolynomialFold

foreach_qpolynomial(self)

Parameters:

• self – QPolynomialFold
• fn – callback(qp)

Returns:

int

get_ctx(self)

Parameters:self – QPolynomialFold Returns:Context

get_space(self)

Parameters:self – QPolynomialFold Returns:Space

get_type(self)

Parameters:self – QPolynomialFold Returns:isl_fold

gist(self, context)

Parameters:

• self – QPolynomialFold
• context – Set

Returns:

QPolynomialFold

gist_params(self, context)

Parameters:

• self – QPolynomialFold
• context – Set

Returns:

QPolynomialFold

is_empty(self)

Parameters:self – QPolynomialFold Returns:bool

is_valid()

Return whether current object is still valid.

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

Parameters:

• self – QPolynomialFold
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

QPolynomialFold

mul_isl_int(self, v)

Parameters:

• self – QPolynomialFold
• v – integer

Returns:

QPolynomialFold

plain_is_equal(self, fold2)

Parameters:

• self – QPolynomialFold
• fold2 – QPolynomialFold

Returns:

int

print_(self, out, output_format)

Parameters:

• self – QPolynomialFold
• out – file-like
• output_format – unsigned

Returns:

None

scale(self, v)

Parameters:

• self – QPolynomialFold
• v – integer

Returns:

QPolynomialFold

space

get_space(self)

Parameters:self – QPolynomialFold Returns:Space

PwQPolynomial

class islpy.PwQPolynomialFold

__hash__() (static) __len__() add() add_disjoint() alloc() (static) bound() coalesce() copy() dim() domain() drop_dims() eval() fix_dim()

fold() foreach_lifted_piece() foreach_piece() from_pw_qpolynomial() (static) get_ctx() get_domain_space() get_space() get_var_dict() get_var_names() gist() gist_params() has_equal_space() intersect_domain()

intersect_params() is_valid() is_zero() max() min() move_dims() mul_isl_int() plain_is_equal() print_() project_domain_on_params() reset_space() set_dim_name() zero() (static)

add(self, pwf2)

Parameters:

• self – PwQPolynomialFold
• pwf2 – PwQPolynomialFold

Returns:

PwQPolynomialFold

add_disjoint(self, pwf2)

Parameters:

• self – PwQPolynomialFold
• pwf2 – PwQPolynomialFold

Returns:

PwQPolynomialFold

alloc(type, set, fold)

Parameters:

• type – fold
• set – Set
• fold – QPolynomialFold

Returns:

PwQPolynomialFold

bound(self)

Parameters:self – PwQPolynomialFold Returns:tuple: (PwQPolynomialFold, tight (integer))

coalesce(self)

Parameters:self – PwQPolynomialFold Returns:PwQPolynomialFold

copy(self)

Parameters:self – PwQPolynomialFold Returns:PwQPolynomialFold

dim(self, type)

Parameters:

• self – PwQPolynomialFold
• type – dim_type

Returns:

unsigned

domain(self)

Parameters:self – PwQPolynomialFold Returns:Set

drop_dims(self, type, first, n)

Parameters:

• self – PwQPolynomialFold
• type – dim_type
• first – unsigned
• n – unsigned

Returns:

PwQPolynomialFold

eval(self, pnt)

Parameters:

• self – PwQPolynomialFold
• pnt – Point

Returns:

QPolynomial

fix_dim(self, type, n, v)

Parameters:

• self – PwQPolynomialFold
• type – dim_type
• n – unsigned
• v – integer

Returns:

PwQPolynomialFold

fold(self, pwf2)

Parameters:

• self – PwQPolynomialFold
• pwf2 – PwQPolynomialFold

Returns:

PwQPolynomialFold

foreach_lifted_piece(self)

Parameters:

• self – PwQPolynomialFold
• fn – callback(set, fold)

Returns:

int

foreach_piece(self)

Parameters:

• self – PwQPolynomialFold
• fn – callback(set, fold)

Returns:

int

from_pw_qpolynomial(type, pwqp)

Parameters:

• type – fold
• pwqp – PwQPolynomial

Returns:

PwQPolynomialFold

get_ctx(self)

Parameters:self – PwQPolynomialFold Returns:Context

get_domain_space(self)

Parameters:self – PwQPolynomialFold Returns:Space

get_space(self)

Parameters:self – PwQPolynomialFold Returns:Space

gist(self, context)

Parameters:

• self – PwQPolynomialFold
• context – Set

Returns:

PwQPolynomialFold

gist_params(self, context)

Parameters:

• self – PwQPolynomialFold
• context – Set

Returns:

PwQPolynomialFold

has_equal_space(self, pwf2)

Parameters:

• self – PwQPolynomialFold
• pwf2 – PwQPolynomialFold

Returns:

bool

intersect_domain(self, set)

Parameters:

• self – PwQPolynomialFold
• set – Set

Returns:

PwQPolynomialFold

intersect_params(self, set)

Parameters:

• self – PwQPolynomialFold
• set – Set

Returns:

PwQPolynomialFold

is_valid()

Return whether current object is still valid.

is_zero(self)

Parameters:self – PwQPolynomialFold Returns:bool

max(self)

Parameters:self – PwQPolynomialFold Returns:QPolynomial

min(self)

Parameters:self – PwQPolynomialFold Returns:QPolynomial

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

Parameters:

• self – PwQPolynomialFold
• dst_type – dim_type
• dst_pos – unsigned
• src_type – dim_type
• src_pos – unsigned
• n – unsigned

Returns:

PwQPolynomialFold

mul_isl_int(self, v)

Parameters:

• self – PwQPolynomialFold
• v – integer

Returns:

PwQPolynomialFold

plain_is_equal(self, pwf2)

Parameters:

• self – PwQPolynomialFold
• pwf2 – PwQPolynomialFold

Returns:

int

print_(self, out, output_format)

Parameters:

• self – PwQPolynomialFold
• out – file-like
• output_format – unsigned

Returns:

None

project_domain_on_params(self)

Parameters:self – PwQPolynomialFold Returns:PwQPolynomialFold

reset_space(self, dim)

Parameters:

• self – PwQPolynomialFold
• dim – Space

Returns:

PwQPolynomialFold

set_dim_name(self, type, pos, s)

Parameters:

• self – PwQPolynomialFold
• type – dim_type
• pos – unsigned
• s – string

Returns:

PwQPolynomialFold

space

get_space(self)

Parameters:self – PwQPolynomialFold Returns:Space

zero(dim, type)

Parameters:

• dim – Space
• type – fold

Returns:

PwQPolynomialFold

UnionPwQPolynomialFold

class islpy.UnionPwQPolynomialFold

__hash__() (static) add_union_pw_qpolynomial() align_params() coalesce() copy() domain() eval() extract_pw_qpolynomial_fold() fold()

fold_pw_qpolynomial_fold() foreach_pw_qpolynomial_fold() from_pw_qpolynomial_fold() (static) get_ctx() get_space() get_type() get_var_dict() get_var_names()

gist() gist_params() intersect_domain() intersect_params() is_valid() mul_isl_int() plain_is_equal() zero() (static)

add_union_pw_qpolynomial(self, upwqp)

Parameters:

• self – UnionPwQPolynomialFold
• upwqp – UnionPwQPolynomial

Returns:

UnionPwQPolynomialFold

align_params(self, model)

Parameters:

• self – UnionPwQPolynomialFold
• model – Space

Returns:

UnionPwQPolynomialFold

coalesce(self)

Parameters:self – UnionPwQPolynomialFold Returns:UnionPwQPolynomialFold

copy(self)

Parameters:self – UnionPwQPolynomialFold Returns:UnionPwQPolynomialFold

domain(self)

Parameters:self – UnionPwQPolynomialFold Returns:UnionSet

eval(self, pnt)

Parameters:

• self – UnionPwQPolynomialFold
• pnt – Point

Returns:

QPolynomial

extract_pw_qpolynomial_fold(self, dim)

Parameters:

• self – UnionPwQPolynomialFold
• dim – Space

Returns:

PwQPolynomialFold

fold(self, upwf2)

Parameters:

• self – UnionPwQPolynomialFold
• upwf2 – UnionPwQPolynomialFold

Returns:

UnionPwQPolynomialFold

fold_pw_qpolynomial_fold(self, pwqp)

Parameters:

• self – UnionPwQPolynomialFold
• pwqp – PwQPolynomialFold

Returns:

UnionPwQPolynomialFold

foreach_pw_qpolynomial_fold(self)

Parameters:

• self – UnionPwQPolynomialFold
• fn – callback(pwf)

Returns:

int

from_pw_qpolynomial_fold(pwf)

Parameters:pwf – PwQPolynomialFold Returns:UnionPwQPolynomialFold

get_ctx(self)

Parameters:self – UnionPwQPolynomialFold Returns:Context

get_space(self)

Parameters:self – UnionPwQPolynomialFold Returns:Space

get_type(self)

Parameters:self – UnionPwQPolynomialFold Returns:isl_fold

gist(self, context)

Parameters:

• self – UnionPwQPolynomialFold
• context – UnionSet

Returns:

UnionPwQPolynomialFold

gist_params(self, context)

Parameters:

• self – UnionPwQPolynomialFold
• context – Set

Returns:

UnionPwQPolynomialFold

intersect_domain(self, uset)

Parameters:

• self – UnionPwQPolynomialFold
• uset – UnionSet

Returns:

UnionPwQPolynomialFold

intersect_params(self, set)

Parameters:

• self – UnionPwQPolynomialFold
• set – Set

Returns:

UnionPwQPolynomialFold

is_valid()

Return whether current object is still valid.

mul_isl_int(self, v)

Parameters:

• self – UnionPwQPolynomialFold
• v – integer

Returns:

UnionPwQPolynomialFold

plain_is_equal(self, upwf2)

Parameters:

• self – UnionPwQPolynomialFold
• upwf2 – UnionPwQPolynomialFold

Returns:

int

space

get_space(self)

Parameters:self – UnionPwQPolynomialFold Returns:Space

zero(dim, type)

Parameters:

• dim – Space
• type – fold

Returns:

UnionPwQPolynomialFold

Scheduling

Band

class islpy.Band

__hash__() (static) copy() get_children() get_ctx()

get_partial_schedule() get_prefix_schedule() get_suffix_schedule() has_children()

is_valid() member_is_zero_distance() n_member() tile()

copy(self)

Parameters:self – Band Returns:Band

get_children(self)

Parameters:self – Band Returns:BandList

get_ctx(self)

Parameters:self – Band Returns:Context

get_partial_schedule(self)

Parameters:self – Band Returns:UnionMap

get_prefix_schedule(self)

Parameters:self – Band Returns:UnionMap

get_suffix_schedule(self)

Parameters:self – Band Returns:UnionMap

has_children(self)

Parameters:self – Band Returns:bool

is_valid()

Return whether current object is still valid.

member_is_zero_distance(self, pos)

Parameters:

• self – Band
• pos – int

Returns:

int

n_member(self)

Parameters:self – Band Returns:int

tile(self, sizes)

Parameters:

• self – Band
• sizes – Vec

Returns:

int

Schedule

class islpy.Schedule

__hash__() (static) get_band_forest()

get_ctx() get_map()

is_valid()

get_band_forest(self)

Parameters:self – Schedule Returns:BandList

get_ctx(self)

Parameters:self – Schedule Returns:Context

get_map(self)

Parameters:self – Schedule Returns:UnionMap

is_valid()

Return whether current object is still valid.

Dataflow

Access Info

class islpy.AccessInfo

__hash__() (static) compute_flow()

get_ctx()

is_valid()

compute_flow(self)

Parameters:self – AccessInfo (becomes invalid) Returns:Flow

get_ctx(self)

Parameters:self – AccessInfo Returns:Context

is_valid()

Return whether current object is still valid.

Restriction

class islpy.Restriction

__hash__() (static) empty() (static) get_ctx()

input() (static) is_valid()

none() (static) output() (static)

empty(source_map)

Parameters:source_map – Map Returns:Restriction

get_ctx(self)

Parameters:self – Restriction Returns:Context

input(source_restr, sink_restr)

Parameters:

• source_restr – Set
• sink_restr – Set

Returns:

Restriction

is_valid()

Return whether current object is still valid.

none(source_map)

Parameters:source_map – Map Returns:Restriction

output(source_restr)

Parameters:source_restr – Set Returns:Restriction

Flow

class islpy.Flow

__hash__() (static) get_ctx()

get_no_source()

is_valid()

get_ctx(self)

Parameters:self – Flow Returns:Context

get_no_source(self, must)

Parameters:

• self – Flow
• must – int

Returns:

Map

is_valid()

Return whether current object is still valid.

Lists

class islpy.BasicSetList

__hash__() (static)

is_valid()

product()

is_valid()

Return whether current object is still valid.

product(self)

Parameters:self – BasicSetList Returns:BasicSet

class islpy.SetList

__hash__() (static)

is_valid()

is_valid()

Return whether current object is still valid.

class islpy.AffList

__hash__() (static)

is_valid()

is_valid()

Return whether current object is still valid.

class islpy.BandList

__hash__() (static)

is_valid()

is_valid()

Return whether current object is still valid.

Output

class islpy.Printer

__hash__() (static) end_line() flush() get_ctx() get_output_format() get_str() indent() is_valid() print_aff() print_band() print_basic_map() print_basic_set() print_constraint() print_int() print_isl_int()

print_local_space() print_map() print_multi_aff() print_point() print_pw_aff() print_pw_multi_aff() print_pw_qpolynomial() print_pw_qpolynomial_fold() print_qpolynomial() print_qpolynomial_fold() print_schedule() print_set() print_space() print_str()

print_union_map() print_union_pw_multi_aff() print_union_pw_qpolynomial() print_union_pw_qpolynomial_fold() print_union_set() print_vec() set_indent() set_isl_int_width() set_output_format() set_prefix() set_suffix() start_line() to_file() (static) to_str() (static)

end_line(self)

Parameters:self – Printer (mutated in-place) Returns:Printer (self)

flush(self)

Parameters:self – Printer (mutated in-place) Returns:Printer (self)

get_ctx(self)

Parameters:self – Printer Returns:Context

get_output_format(self)

Parameters:self – Printer Returns:int

get_str(self)

Parameters:self – Printer Returns:string

indent(self, indent)

Parameters:

• self – Printer (mutated in-place)
• indent – int

Returns:

Printer (self)

is_valid()

Return whether current object is still valid.

print_aff(self, aff)

Parameters:

• self – Printer (mutated in-place)
• aff – Aff

Returns:

Printer (self)

print_band(self, band)

Parameters:

• self – Printer (mutated in-place)
• band – Band

Returns:

Printer (self)

print_basic_map(self, bmap)

Parameters:

• self – Printer (mutated in-place)
• bmap – BasicMap

Returns:

Printer (self)

print_basic_set(self, bset)

Parameters:

• self – Printer (mutated in-place)
• bset – BasicSet

Returns:

Printer (self)

print_constraint(self, c)

Parameters:

• self – Printer (mutated in-place)
• c – Constraint

Returns:

Printer (self)

print_int(self, i)

Parameters:

• self – Printer (mutated in-place)
• i – int

Returns:

Printer (self)

print_isl_int(self, i)

Parameters:

• self – Printer (mutated in-place)
• i – integer

Returns:

Printer (self)

print_local_space(self, ls)

Parameters:

• self – Printer (mutated in-place)
• ls – LocalSpace

Returns:

Printer (self)

print_map(self, map)

Parameters:

• self – Printer (mutated in-place)
• map – Map

Returns:

Printer (self)

print_multi_aff(self, maff)

Parameters:

• self – Printer (mutated in-place)
• maff – MultiAff

Returns:

Printer (self)

print_point(self, pnt)

Parameters:

• self – Printer (mutated in-place)
• pnt – Point

Returns:

Printer (self)

print_pw_aff(self, pwaff)

Parameters:

• self – Printer (mutated in-place)
• pwaff – PwAff

Returns:

Printer (self)

print_pw_multi_aff(self, pma)

Parameters:

• self – Printer (mutated in-place)
• pma – PwMultiAff

Returns:

Printer (self)

print_pw_qpolynomial(self, pwqp)

Parameters:

• self – Printer (mutated in-place)
• pwqp – PwQPolynomial

Returns:

Printer (self)

print_pw_qpolynomial_fold(self, pwf)

Parameters:

• self – Printer (mutated in-place)
• pwf – PwQPolynomialFold

Returns:

Printer (self)

print_qpolynomial(self, qp)

Parameters:

• self – Printer (mutated in-place)
• qp – QPolynomial

Returns:

Printer (self)

print_qpolynomial_fold(self, fold)

Parameters:

• self – Printer (mutated in-place)
• fold – QPolynomialFold

Returns:

Printer (self)

print_schedule(self, schedule)

Parameters:

• self – Printer (mutated in-place)
• schedule – Schedule

Returns:

Printer (self)

print_set(self, map)

Parameters:

• self – Printer (mutated in-place)
• map – Set

Returns:

Printer (self)

print_space(self, dim)

Parameters:

• self – Printer (mutated in-place)
• dim – Space

Returns:

Printer (self)

print_str(self, s)

Parameters:

• self – Printer (mutated in-place)
• s – string

Returns:

Printer (self)

print_union_map(self, umap)

Parameters:

• self – Printer (mutated in-place)
• umap – UnionMap

Returns:

Printer (self)

print_union_pw_multi_aff(self, upma)

Parameters:

• self – Printer (mutated in-place)
• upma – UnionPwMultiAff

Returns:

Printer (self)

print_union_pw_qpolynomial(self, upwqp)

Parameters:

• self – Printer (mutated in-place)
• upwqp – UnionPwQPolynomial

Returns:

Printer (self)

print_union_pw_qpolynomial_fold(self, upwf)

Parameters:

• self – Printer (mutated in-place)
• upwf – UnionPwQPolynomialFold

Returns:

Printer (self)

print_union_set(self, uset)

Parameters:

• self – Printer (mutated in-place)
• uset – UnionSet

Returns:

Printer (self)

print_vec(self, vec)

Parameters:

• self – Printer (mutated in-place)
• vec – Vec

Returns:

Printer (self)

set_indent(self, indent)

Parameters:

• self – Printer (mutated in-place)
• indent – int

Returns:

Printer (self)

set_isl_int_width(self, width)

Parameters:

• self – Printer (mutated in-place)
• width – int

Returns:

Printer (self)

set_output_format(self, output_format)

Parameters:

• self – Printer (mutated in-place)
• output_format – int

Returns:

Printer (self)

set_prefix(self, prefix)

Parameters:

• self – Printer (mutated in-place)
• prefix – string

Returns:

Printer (self)

set_suffix(self, suffix)

Parameters:

• self – Printer (mutated in-place)
• suffix – string

Returns:

Printer (self)

start_line(self)

Parameters:self – Printer (mutated in-place) Returns:Printer (self)

to_file(ctx, file)

Parameters:

• ctx – Context
• file – file-like

Returns:

Printer

to_str(ctx)

Parameters:ctx – Context Returns:Printer

Helper functions

islpy.align_spaces(obj, tgt, obj_bigger_ok=False)

Try to make the space in which obj lives the same as that of tgt by adding/matching named dimensions.

Parameters:obj_bigger_ok – If True, no error is raised if the resulting obj has more dimensions than tgt.

islpy.align_two(obj1, obj2)

Align the spaces of two objects, potentially modifying both of them.

See also align_spaces().