Struct LimitMethods 

pub struct LimitMethods;

Limit computation methods and techniques

Implementations

impl LimitMethods

pub fn lhopital_rule( numerator: &Expression, denominator: &Expression, variable: &Symbol, point: &Expression, ) -> Expression

Apply L’Hôpital’s rule for indeterminate forms

For indeterminate forms 0/0 or ∞/∞: lim[x→a] f(x)/g(x) = lim[x→a] f’(x)/g’(x)

Order is preserved for noncommutative expressions. Applies L’Hôpital’s rule recursively up to 5 times if needed.

pub fn lhopital_rule_at_infinity( numerator: &Expression, denominator: &Expression, variable: &Symbol, ) -> Expression

Apply L’Hôpital’s rule for limits at infinity

For indeterminate forms ∞/∞ as x→∞: lim[x→∞] f(x)/g(x) = lim[x→∞] f’(x)/g’(x)

pub fn polynomial_limit( expr: &Expression, variable: &Symbol, point: &Expression, ) -> Expression

Compute polynomial limit

pub fn rational_limit_at_infinity( numerator: &Expression, denominator: &Expression, variable: &Symbol, ) -> Expression

Compute rational function limit at infinity

Handles cases like ln(x)/x where degree-based analysis doesn’t work

pub fn rational_limit( numerator: &Expression, denominator: &Expression, variable: &Symbol, point: &Expression, ) -> Expression

Compute rational function limit

pub fn trigonometric_limit( expr: &Expression, variable: &Symbol, point: &Expression, ) -> Expression

Compute trigonometric limits

pub fn substitute_and_evaluate( expr: &Expression, variable: &Symbol, point: &Expression, ) -> Expression

Substitute variable with point and evaluate

pub fn is_indeterminate_form( expr: &Expression, variable: &Symbol, point: &Expression, ) -> bool

Check for indeterminate forms

pub fn is_infinite(expr: &Expression) -> bool

Check if expression represents infinity