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