Module symbolic_limits 

Limits (Calculus plan §4.2) — limits of CAS expressions, with l’Hôpital’s rule for 0/0 indeterminate forms and a numeric-probe limit at infinity for rational expressions. Fail-closed (None) when still indeterminate after the bounded passes.

Functions

limit

lim_{x→a} f(x). Direct substitution when defined; l’Hôpital for a 0/0 quotient (differentiate numerator and denominator, retry, bounded). None if indeterminate after the bounded passes.

limit_at_infinity

lim_{x→∞} f(x) for a rational/algebraic expression, estimated by probing at growing x and checking convergence. None if it does not appear to converge.