def order_at_oo(a, d, t):
    if a.is_zero:
        return oo
    return d.degree(t) - a.degree(t)
Validates that a specified value is valid for this trait.
dataset/ETHPy150Open sympy/sympy/sympy/integrals/rde.py/order_at_oo--crossover with--dataset/ETHPy150Open enthought/traits/traits/trait_types.py/Expression.validate