def order_at_oo(a, d, t):
    if a.is_zero:
        return oo
    return d.degree(t) - a.degree(t)
Computes the order of a/d at oo (infinity), with respect to t.
dataset/ETHPy150Open sympy/sympy/sympy/integrals/rde.py/order_at_oo