Struct EducationalODESolver 

pub struct EducationalODESolver;

Educational ODE solver that provides step-by-step explanations

Implementations

impl EducationalODESolver

pub fn new() -> Self

Create a new educational ODE solver

pub fn solve_separable_with_steps( &self, rhs: &Expression, dependent: &Symbol, independent: &Symbol, _initial_condition: Option<(Expression, Expression)>, ) -> Result<ODEExplanation, String>

Solve separable ODE with step-by-step explanation

Arguments

• rhs - Right-hand side of dy/dx = rhs
• dependent - Dependent variable (y)
• independent - Independent variable (x)
• initial_condition - Optional (x0, y0) for particular solution

Returns

ODEExplanation containing solution and all steps

Examples

use mathhook_core::{symbol, expr};
use mathhook_core::calculus::ode::educational::EducationalODESolver;

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

let solver = EducationalODESolver::new();
let explanation = solver.solve_separable_with_steps(&rhs, &y, &x, None);

pub fn solve_linear_with_steps( &self, rhs: &Expression, dependent: &Symbol, _independent: &Symbol, _initial_condition: Option<(Expression, Expression)>, ) -> Result<ODEExplanation, String>

Solve linear first-order ODE with step-by-step explanation

Arguments

• rhs - Right-hand side of dy/dx = rhs
• dependent - Dependent variable (y)
• _independent - Independent variable (x)
• _initial_condition - Optional (x0, y0) for particular solution

Returns

ODEExplanation containing solution and all steps

Trait Implementations

impl Default for EducationalODESolver

fn default() -> Self

Returns the “default value” for a type.

impl EquationSolver for EducationalODESolver

Implement the EquationSolver trait for integration with SmartEquationSolver

fn solve(&self, _equation: &Expression, _variable: &Symbol) -> SolverResult

Solve equation for given variable

fn solve_with_explanation( &self, equation: &Expression, variable: &Symbol, ) -> (SolverResult, StepByStepExplanation)

Solve with step-by-step explanation

fn can_solve(&self, _equation: &Expression) -> bool

Check if solver can handle this equation type