dedekind::geometry::detail_ops Namespace Reference

Detailed Description

ops__Witnesses

LinearMap<F, M, N> is the dense, finite-dim outer-product carrier for Vector<F, M> and Vector<F, N>. Today the concept fires by virtue of the dyad overload above; the bilinearity / rank-1 laws are pinned value-side on a concrete double-scalar witness.