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