|
Dedekind 0.0.0
A structuralist C++23 Module Library
|

Files | |
| affine.cppm | |
| Affine spaces — points, vectors, dimension witnesses. | |
| euclidean.cppm | |
| The Study of Distance, Metrics, and Curvature. | |
| function.cppm | |
| Concept anchoring for function spaces — #537 slice 1. | |
| geometry.cppm | |
| Affine ⊂ InnerProduct ⊂ Euclidean ⊂ Hilbert. | |
| hilbert.cppm | |
| Hilbert spaces — Cauchy-complete inner-product spaces. | |
| inner_product.cppm | |
| Pre-Hilbert (inner-product) spaces over ℝ or ℂ. | |
| lattice.cppm | |
| Geometric lattices (ℤ², ℕ², Gaussian integers in ℂ). | |
| linear_map.cppm | |
| Finite-dim linear maps with algebraic witnesses. | |
| outer_product.cppm | |
| Concept-side anchoring for the outer / dyadic / rank-1 product space (#535). | |
| tangent.cppm | |
| Tangent-bundle concepts (flat case). | |