Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
geometry Directory Reference
Directory dependency graph for geometry:
src/main/modules/dedekind/geometry

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).