Struct FixedRowSpaceProjector 

pub struct FixedRowSpaceProjector { /* private fields */ }

The fixed row-space complement a moving-design derivative is represented in.

A smooth collection chooses a row-space constraint block C once, while a spatial hyperparameter move changes the term-local design X(psi). The collection freezes one coefficient chart at its reference realization; re-whitening it at every psi would make arbitrary right-coordinate motion part of the statistical derivative. In the frozen chart the canonical derivative is instead

P_C X_psi T, where P_C = I - Q_C Q_C^T.

Q_C is formed from the thin SVD of column-normalized C, so rescaling one constraint column cannot change the projector or its numerical rank. The object is deliberately generic: it composes a fixed left projector with any design jet without teaching kernel formulae about collection ownership.

Implementations

impl FixedRowSpaceProjector

pub fn from_constraint_block( constraint: ArrayView2<'_, f64>, ) -> Result<Self, BasisError>

pub fn nrows(&self) -> usize

pub fn rank(&self) -> usize

pub fn project_matrix_in_place( &self, values: &mut Array2<f64>, ) -> Result<(), BasisError>

pub fn project_design( &self, design: DesignMatrix, context: &str, ) -> Result<(DesignMatrix, Array2<f64>), BasisError>

Project a possibly-lazy value design into this fixed row-space complement, retaining lazy storage and returning the correction in the ORIGINAL constraint block’s coordinates.

For D = X T0, this returns

D_projected = D - C R = P_C D,

with R satisfying C R = Q_C Q_C^T D. The cross Q_C^T D is streamed in bounded row chunks; the projected design is represented as one block operator, so an outer-psi replay never materializes n x p.

Trait Implementations

impl Clone for FixedRowSpaceProjector

fn clone(&self) -> FixedRowSpaceProjector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FixedRowSpaceProjector

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

Formats the value using the given formatter.