linear_algebra.cppm File Reference

Backend-agnostic linear operator contracts. More...

import dedekind.linear_algebra:transfer;

Include dependency graph for linear_algebra.cppm:

Detailed Description

Backend-agnostic linear operator contracts.

Copyright

2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

linear_algebra__Description

This layer introduces compile-time contracts for linear operators, without committing to a concrete execution engine.

Note

"La matematica e l'arte di dare lo stesso nome a cose diverse." – Henri Poincare, paraphrase [Trans: "Mathematics is the art of giving the same name to different things."]

Roadmap (work in progress)

• #297 undergraduate linear algebra: present are the operator contracts, the rank-nullity contract, 2×2 determinants and inverses, the rank-one eigenvalue, diagonal matrices, inner products and affine spaces; still open are span, kernel and image, change of basis, Gaussian elimination and a solver, n×n determinants and inverses, general eigen theory, the characteristic polynomial, Gram-Schmidt and projections, quadratic forms, the spectral theorem and the SVD.