Struct DenseLuBacksolver 

pub struct DenseLuBacksolver { /* private fields */ }

Synthetic dense-LU backsolver. Used in this crate’s tests to validate the sensitivity math against known-good linear-algebra answers without standing up the full pounce IPM. Phase B.2 ships a real pounce-algorithm-backed implementation; this stays for regression tests and as a reference for the trait contract.

Stores a row-major n × n matrix and reuses an in-place Gaussian-elimination LU factor with partial pivoting. Numerical stability is fine for the small problem sizes the unit tests exercise (n ≤ 16).

Implementations

impl DenseLuBacksolver

pub fn from_dense(n: usize, a_row_major: &[Number]) -> Result<Self, ()>

Build from a row-major n × n matrix. Returns Err(()) if the matrix is exactly singular at LU time (zero pivot after pivoting).

Trait Implementations

impl Clone for DenseLuBacksolver

fn clone(&self) -> DenseLuBacksolver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DenseLuBacksolver

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

Formats the value using the given formatter.

impl SensBacksolver for DenseLuBacksolver

fn dim(&self) -> usize

Size of the linear system in entries (length of lhs and rhs). The backsolver’s notion of “full state” — pounce’s IPM uses the compound (x, s, λ_c, λ_d, z_l, z_u, v_l, v_u) concatenation here.

fn solve(&self, rhs: &[Number], lhs: &mut [Number]) -> bool

Solve K · lhs = rhs. The implementation may use rhs as scratch; callers should treat it as moved-from on return. lhs must have length self.dim().