Struct Matrix 

pub struct Matrix {
    pub rows: usize,
    pub cols: usize,
    /* private fields */
}

A dense symbolic matrix stored in row-major order.

Fields

rows: usize

cols: usize

Implementations

impl Matrix

pub fn new(rows: Vec<Vec<ExprId>>) -> Result<Self, MatrixError>

Create a matrix from row-major nested vectors.

pub fn zeros(rows: usize, cols: usize, pool: &ExprPool) -> Self

Create a zero matrix (all entries are pool.integer(0)).

pub fn identity(n: usize, pool: &ExprPool) -> Self

Create an identity matrix.

pub fn get(&self, r: usize, c: usize) -> ExprId

Get entry at row r, column c (0-indexed).

pub fn set(&mut self, r: usize, c: usize, val: ExprId)

Set entry at row r, column c.

pub fn row(&self, r: usize) -> Vec<ExprId>

Get a row as a vector.

pub fn col(&self, c: usize) -> Vec<ExprId>

Get a column as a vector.

pub fn transpose(&self) -> Self

Transpose.

pub fn add( &self, other: &Matrix, pool: &ExprPool, ) -> Result<Matrix, MatrixError>

Element-wise addition.

pub fn sub( &self, other: &Matrix, pool: &ExprPool, ) -> Result<Matrix, MatrixError>

Element-wise subtraction.

pub fn mul( &self, other: &Matrix, pool: &ExprPool, ) -> Result<Matrix, MatrixError>

Matrix multiplication (self is m×k, other is k×n → result is m×n).

pub fn scale(&self, scalar: ExprId, pool: &ExprPool) -> Matrix

Scalar multiplication.

pub fn simplify_entries(&self, pool: &ExprPool) -> Matrix

Simplify all entries.

pub fn det(&self, pool: &ExprPool) -> Result<ExprId, MatrixError>

Determinant using Bareiss algorithm (exact over integers, symbolic otherwise).

pub fn entries(&self) -> &[ExprId]

Return a flat reference to all entries.

pub fn to_nested(&self) -> Vec<Vec<ExprId>>

Return entries as a nested Vec<Vec<ExprId>>.

pub fn characteristic_polynomial_lambda_minus_m( &self, pool: &ExprPool, ) -> Result<(ExprId, ExprId), EigenError>

V2-17 — det(λI − M) as a pooled expression plus the fresh λ symbol used.

pub fn eigenvalues( &self, pool: &ExprPool, ) -> Result<Vec<(ExprId, usize)>, EigenError>

V2-17 — Algebraic eigenvalues (value, multiplicity) for matrices whose characteristic polynomial factors over ℚ into linear and quadratic terms.

pub fn eigenvectors( &self, pool: &ExprPool, ) -> Result<Vec<(ExprId, usize, Vec<Matrix>)>, EigenError>

V2-17 — Eigenvalue tuples (λ, multiplicity, column eigenvectors).

pub fn diagonalize( &self, pool: &ExprPool, ) -> Result<(Matrix, Matrix), EigenError>

V2-17 — (P, D) with M·P == P·D when diagonalizable in the ℚ-splitting-field sense.

impl Matrix

pub fn display(&self, pool: &ExprPool) -> String

Trait Implementations

impl Clone for Matrix

fn clone(&self) -> Matrix

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Matrix

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

Formats the value using the given formatter.

impl PartialEq for Matrix

fn eq(&self, other: &Matrix) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Matrix

impl StructuralPartialEq for Matrix