Struct MathSolver 

pub struct MathSolver { /* private fields */ }

Stateful mathematical solver for the hybrid API

This is a separate object from Expression that maintains configuration and state for complex solving operations.

@no-binding - use Expression::solve() or Expression::solve_with_steps() instead

Examples

use mathhook_core::{MathSolver, Expression, symbol, expr};
use mathhook_core::simplify::Simplify;

let solver = MathSolver::new();
let x = symbol!(x);
let equation = Expression::equation(
    expr!((2*x) + 3),
    expr!(7),
);

let result = solver.solve(&equation, &x);
// Result: SolverResult::Single for x = 2

Implementations

impl MathSolver

pub fn new() -> MathSolver

Create a new solver with default configuration

Examples

use mathhook_core::MathSolver;

let solver = MathSolver::new();

pub fn with_config(config: SolverConfig) -> MathSolver

Create a new solver with custom configuration

Examples

use mathhook_core::{MathSolver, SolverConfig};

let config = SolverConfig {
    max_iterations: 500,
    tolerance: 1e-8,
    use_numeric: true,
    simplify_results: false,
};
let solver = MathSolver::with_config(config);

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

Solve an equation for a given variable

Examples

use mathhook_core::{MathSolver, Expression};
use mathhook_core::{symbol, expr};
let solver = MathSolver::new();
let equation = Expression::equation(
    expr!(x),
    expr!(5),
);
let result = solver.solve(&equation, &symbol!(x));

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

Solve a system of equations

Examples

use mathhook_core::{MathSolver, Expression};
use mathhook_core::{symbol, expr};

let solver = MathSolver::new();
let equations = vec![
    Expression::equation(expr!(x), expr!(1)),
    Expression::equation(expr!(y), expr!(2)),
];
let variables = vec![symbol!(x), symbol!(y)];
let result = solver.solve_system(&equations, &variables);

pub fn configure(&mut self, config: SolverConfig)

Update solver configuration

Examples

use mathhook_core::{MathSolver, SolverConfig};

let mut solver = MathSolver::new();
let new_config = SolverConfig {
    max_iterations: 2000,
    ..Default::default()
};
solver.configure(new_config);

Trait Implementations

impl Default for MathSolver

fn default() -> MathSolver

Returns the “default value” for a type.