Struct SmartEquationSolver 

pub struct SmartEquationSolver { /* private fields */ }

Master equation solver with smart dispatch

Implementations

impl SmartEquationSolver

pub fn new() -> Self

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

Solve equation with educational explanation, including equation analysis

This is the primary entry point for solving equations with full educational integration. It automatically:

1. Analyzes the equation type
2. Explains the equation structure
3. Selects the appropriate solver
4. Provides step-by-step solution with explanations

Arguments

• equation - The equation expression to solve
• variable - The variable to solve for

Returns

A tuple containing:

• The solver result (solutions or error)
• Complete step-by-step explanation starting with equation analysis

pub fn solve(&self) -> (SolverResult, StepByStepExplanation)

Legacy solve method (deprecated, use solve_with_equation instead)

pub fn solve_system( &self, equations: &[Expression], variables: &[Symbol], ) -> SolverResult

Solve system of equations using the integrated system solver

This method exposes the system solving capability through SmartEquationSolver, allowing for solving both linear and polynomial systems (via Grobner basis).

Arguments

• equations - Array of equations to solve
• variables - Array of variables to solve for

Returns

SolverResult containing solutions, no solution, or partial solutions

Examples

use mathhook_core::algebra::equation_analyzer::SmartEquationSolver;
use mathhook_core::{symbol, Expression};

let solver = SmartEquationSolver::new();
let x = symbol!(x);
let y = symbol!(y);

// Linear system: 2x + y = 5, x - y = 1
let eq1 = Expression::add(vec![
    Expression::mul(vec![Expression::integer(2), Expression::symbol(x.clone())]),
    Expression::symbol(y.clone()),
    Expression::integer(-5),
]);
let eq2 = Expression::add(vec![
    Expression::symbol(x.clone()),
    Expression::mul(vec![Expression::integer(-1), Expression::symbol(y.clone())]),
    Expression::integer(-1),
]);

let result = solver.solve_system(&[eq1, eq2], &[x, y]);

Trait Implementations

impl Default for SmartEquationSolver

fn default() -> Self

Returns the “default value” for a type.