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