def test_hash_vs_typeinfo():

    # the following two are semantically equal
    x1 = Symbol('x', even=True)
    x2 = Symbol('x', integer=True, odd=False)

    assert hash(x1) == hash(x2)
    assert x1 == x2
seemingly different typeinfo, but in fact equal
dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py/test_hash_vs_typeinfo