Exemple #1
0
def test_singleton():
    e = Integer(1)/2
    m = Match(e)
    assert m.exact(S.Half) == True