def test_order_oo():
from sympy import C
x = Symbol('x', positive=True, finite=True)
assert C.Order(x)*oo != C.Order(1, x)
assert limit(oo/(x**2 - 4), x, oo) == oo
def test_order_oo():
from sympy import C
x = Symbol('x', positive=True, finite=True)
assert C.Order(x)*oo != C.Order(1, x)
assert limit(oo/(x**2 - 4), x, oo) == oo