def test_return_int():
one = isl.val("1")
neg_one = isl.val("-1")
zero = isl.val("0")
assert (one.sgn() > 0)
assert (neg_one.sgn() < 0)
assert (zero.sgn() == 0)
def test_return_obj():
one = isl.val("1")
two = isl.val("2")
three = isl.val("3")
res = one.add(two)
assert(res.eq(three))
def test_return_obj():
one = isl.val("1")
two = isl.val("2")
three = isl.val("3")
res = one.add(two)
assert (res.eq(three))
def test_return_int():
one = isl.val("1")
neg_one = isl.val("-1")
zero = isl.val("0")
assert(one.sgn() > 0)
assert(neg_one.sgn() < 0)
assert(zero.sgn() == 0)
def test_constructors():
zero1 = isl.val("0")
assert(zero1.is_zero())
zero2 = isl.val(0)
assert(zero2.is_zero())
zero3 = isl.val.zero()
assert(zero3.is_zero())
bs = isl.basic_set("{ [1] }")
result = isl.set("{ [1] }")
s = isl.set(bs)
assert(s.is_equal(result))
def test_constructors():
zero1 = isl.val("0")
assert (zero1.is_zero())
zero2 = isl.val(0)
assert (zero2.is_zero())
zero3 = isl.val.zero()
assert (zero3.is_zero())
bs = isl.basic_set("{ [1] }")
result = isl.set("{ [1] }")
s = isl.set(bs)
assert (s.is_equal(result))
def test_constructors():
zero1 = isl.val("0")
assert (zero1.is_zero())
zero2 = isl.val(0)
assert (zero2.is_zero())
zero3 = isl.val.zero()
assert (zero3.is_zero())
bs = isl.basic_set("{ [1] }")
result = isl.set("{ [1] }")
s = isl.set(bs)
assert (s.is_equal(result))
us = isl.union_set("{ A[1]; B[2, 3] }")
empty = isl.union_set.empty()
assert (us.is_equal(us.union(empty)))
def test_parameters_obj():
a = isl.set("{ [0] }")
b = isl.set("{ [1] }")
c = isl.set("{ [2] }")
expected = isl.set("{ [i] : 0 <= i <= 2 }")
tmp = a.union(b)
res_lvalue_param = tmp.union(c)
assert (res_lvalue_param.is_equal(expected))
res_rvalue_param = a.union(b).union(c)
assert (res_rvalue_param.is_equal(expected))
a2 = isl.basic_set("{ [0] }")
assert (a.is_equal(a2))
two = isl.val(2)
half = isl.val("1/2")
res_only_this_param = two.inv()
assert (res_only_this_param.eq(half))
def test_parameters_obj():
a = isl.set("{ [0] }")
b = isl.set("{ [1] }")
c = isl.set("{ [2] }")
expected = isl.set("{ [i] : 0 <= i <= 2 }")
tmp = a.union(b)
res_lvalue_param = tmp.union(c)
assert(res_lvalue_param.is_equal(expected))
res_rvalue_param = a.union(b).union(c)
assert(res_rvalue_param.is_equal(expected))
a2 = isl.basic_set("{ [0] }")
assert(a.is_equal(a2))
two = isl.val(2)
half = isl.val("1/2")
res_only_this_param = two.inv()
assert(res_only_this_param.eq(half))
def test_int(i):
val_int = isl.val(i)
val_str = isl.val(str(i))
assert (val_int.eq(val_str))
def test_int(i): val_int = isl.val(i) val_str = isl.val(str(i)) assert(val_int.eq(val_str))
