def test_split5():
expr = Basic(2, Basic(5, 3), 8)
expected = set([Basic(0, Basic(0, 0), 10),
Basic(0, Basic(10, 0), 10)])
brl = canon(branch5)
assert set(brl(expr)) == expected
def test_split5():
expr = Basic(2, Basic(5, 3), 8)
expected = set([Basic(0, Basic(0, 0), 10),
Basic(0, Basic(10, 0), 10)])
brl = canon(branch5)
assert set(brl(expr)) == expected
def test_split5():
expr = Basic(S(2), Basic(S(5), S(3)), S(8))
expected = {
Basic(S(0), Basic(S(0), S(0)), S(10)),
Basic(S(0), Basic(S(10), S(0)), S(10))
}
brl = canon(branch5)
assert set(brl(expr)) == expected
def test_zero_ints():
expr = Basic(2, Basic(5, 3), 8)
expected = set([Basic(0, Basic(0, 0), 0)])
brl = canon(posdec)
assert set(brl(expr)) == expected
def test_zero_ints():
expr = Basic(S(2), Basic(S(5), S(3)), S(8))
expected = {Basic(S(0), Basic(S(0), S(0)), S(0))}
brl = canon(posdec)
assert set(brl(expr)) == expected
def test_zero_ints():
expr = Basic(2, Basic(5, 3), 8)
expected = set([Basic(0, Basic(0, 0), 0)])
brl = canon(posdec)
assert set(brl(expr)) == expected
