

def test_hash_vs_typeinfo_2():
    'different typeinfo should mean !eq'
    x = Symbol('x')
    x1 = Symbol('x', even=True)
    assert (x != x1)
    assert (hash(x) != hash(x1))

dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py test_hash_vs_typeinfo_2/original