Module matrix 

A dense, fixed-size, row-major matrix — Vector’s 2-D counterpart.

Exists so callers building a normal-equations system (JᵀJ, Jᵀf, the Krawczyk operator’s Y·J(X), …) work with actual matrix/vector values and named operations (transpose, mul_vec, mul_mat) instead of raw [[S; N]; M] arrays and hand-rolled index loops at every call site — see crate::interval_newton and solve_linear_system for the two main consumers.

Structs

Matrix

Dense R×C matrix, row-major (self[(row, col)]).

Functions

solve_linear_system

Solve the dense N x N system a * x = b by Gaussian elimination with partial pivoting, returning x.