

def test_Add_is_pos_neg():
    n = Symbol('n', negative=True, infinite=True)
    nn = Symbol('n', nonnegative=True, infinite=True)
    np = Symbol('n', nonpositive=True, infinite=True)
    p = Symbol('p', positive=True, infinite=True)
    r = Dummy(real=True, finite=False)
    x = Symbol('x')
    xf = Symbol('xb', finite=True)
    assert ((n + p).is_positive is None)
    assert ((n + x).is_positive is None)
    assert ((p + x).is_positive is None)
    assert ((n + p).is_negative is None)
    assert ((n + x).is_negative is None)
    assert ((p + x).is_negative is None)
    assert ((n + xf).is_positive is False)
    assert ((p + xf).is_positive is True)
    assert ((n + xf).is_negative is True)
    assert ((p + xf).is_negative is False)
    assert ((x - S.Infinity).is_negative is None)
    assert (p + nn).is_positive
    assert (n + np).is_negative
    assert ((p + r).is_positive is None)

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