Struct MatrixEquationSolver 

pub struct MatrixEquationSolver {
    pub show_steps: bool,
}

Matrix equation solver specialized for noncommutative types

Handles equations of the form:

• Left multiplication: A*X = B (solution: X = A^(-1)*B)
• Right multiplication: XA = B (solution: X = BA^(-1))

Examples

use mathhook_core::{symbol, expr};
use mathhook_core::algebra::solvers::matrix_equations::MatrixEquationSolver;
use mathhook_core::algebra::solvers::EquationSolver;

let solver = MatrixEquationSolver::new();
let A = symbol!(A; matrix);
let B = symbol!(B; matrix);
let X = symbol!(X; matrix);

// Solve A*X = B for X
let equation = expr!((A*X) - B);
let result = solver.solve(&equation, &X);

Fields

show_steps: bool

Implementations

impl MatrixEquationSolver

pub fn new() -> Self

Create a new matrix equation solver

Examples

use mathhook_core::algebra::solvers::matrix_equations::MatrixEquationSolver;

let solver = MatrixEquationSolver::new();

pub fn new_fast() -> Self

Create solver without step-by-step explanations (for performance)

Examples

use mathhook_core::algebra::solvers::matrix_equations::MatrixEquationSolver;

let solver = MatrixEquationSolver::new_fast();

pub fn solve_left_division( &self, a: &Expression, b: &Expression, ) -> Result<Expression, SolverError>

Solve left division: A*X = B → X = A^(-1)*B

Arguments

• A - The left coefficient matrix/operator
• B - The right-hand side

Examples

use mathhook_core::{symbol, expr};
use mathhook_core::algebra::solvers::matrix_equations::MatrixEquationSolver;

let solver = MatrixEquationSolver::new();
let A = symbol!(A; matrix);
let B = symbol!(B; matrix);

let solution = solver.solve_left_division(&A, &B);
// solution should be A^(-1)*B

pub fn solve_right_division( &self, a: &Expression, b: &Expression, ) -> Result<Expression, SolverError>

Solve right division: XA = B → X = BA^(-1)

Arguments

• A - The right coefficient matrix/operator
• B - The right-hand side

Examples

use mathhook_core::{symbol, expr};
use mathhook_core::algebra::solvers::matrix_equations::MatrixEquationSolver;

let solver = MatrixEquationSolver::new();
let A = symbol!(A; matrix);
let B = symbol!(B; matrix);

let solution = solver.solve_right_division(&A, &B);
// solution should be B*A^(-1)

Trait Implementations

impl Clone for MatrixEquationSolver

fn clone(&self) -> MatrixEquationSolver

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MatrixEquationSolver

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MatrixEquationSolver

fn default() -> Self

Returns the “default value” for a type.

impl EquationSolver for MatrixEquationSolver

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