Struct ODEClassifier 

pub struct ODEClassifier;

ODE classifier with comprehensive detection capabilities

Implementations

impl ODEClassifier

pub fn classify_first_order( rhs: &Expression, dependent: &Symbol, independent: &Symbol, ) -> ODEType

Classify a first-order ODE

Attempts to classify the ODE in order of computational efficiency:

1. Separable (fastest, widest coverage)
2. Linear first-order (integrating factor method)
3. Exact (requires exactness condition check)
4. Bernoulli (transforms to linear)
5. Homogeneous (substitution method)

Arguments

• rhs - Right-hand side of dy/dx = rhs
• dependent - Dependent variable (y)
• independent - Independent variable (x)

Examples

use mathhook_core::calculus::ode::classifier::{ODEClassifier, ODEType};
use mathhook_core::{symbol, expr, Expression};

let x = symbol!(x);
let y = symbol!(y);

let rhs = expr!(x * y);
let ode_type = ODEClassifier::classify_first_order(&rhs, &y, &x);
assert_eq!(ode_type, ODEType::Separable);

pub fn classify_second_order( _lhs: &Expression, _rhs: &Expression, _dependent: &Symbol, _independent: &Symbol, ) -> ODEType

Classify a second-order ODE

Arguments

• lhs - Left-hand side expression (usually y’‘, y’, y terms)
• rhs - Right-hand side expression (forcing function)
• dependent - Dependent variable (y)
• independent - Independent variable (x)

Examples

use mathhook_core::calculus::ode::classifier::{ODEClassifier, ODEType};
use mathhook_core::{symbol, expr, Expression};

let x = symbol!(x);
let y = symbol!(y);

let ode_type = ODEClassifier::classify_second_order(
    &expr!(y + y),
    &Expression::integer(0),
    &y,
    &x
);
assert_eq!(ode_type, ODEType::ConstantCoefficients);