linear_algebra Directory Reference

Directory dependency graph for linear_algebra:

Files
	basis.cppm
	Free-module / basis / endomorphism-ring trait registry.
	contracts.cppm
	Rank-nullity and matrix-structural compile-time contracts.
	diagonal.cppm
	Intensional diagonal and rank-1 outer-product matrix carriers (#372 slice c + e) at any dimension, including ℵ_0.
	embeddings.cppm
	Canonical regular representations ℂ ↪ M₂, 𝔻 ↪ M₂.
	linear_algebra.cppm
	Backend-agnostic linear operator contracts.
	mat2x2.cppm
	2×2 matrices — as linear maps between 2-tuples (the worked first-class instance; n>2 lives behind the structure-preserving combinators of #368).
	matnxn.cppm
	The N×N matrix over a semiring — Mat(S), the higher-rank, semiring-generic generalisation of :mat2x2's Matrix2x2V<T>.
	matrix.cppm
	Matrix-shape carriers — generic n×m matrix aggregator.
	transfer.cppm
	Semiring-generic low-rank transfer operators: the bra·ket inner product, the ⊕/⊗ matrix-product kernel, and the rank-1 collapse D² = λ·D that makes a transfer power analytic.
	vec2.cppm
	Level 12.5a₀: 2-tuples — Vec2 / Vec2V (column) and Covec2V (row).