Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::geometry::IsInnerProductSpace Concept Referenceexport
module dedekind.geometry

A field-like vector carrier equipped with an inner product morphism. More...

Concept definition

template<typename V, typename F>
concept dedekind::geometry::IsInnerProductSpace =
HasVectorSpaceOperators<V, F> && HasInnerProduct<V, F>
dedekind::geometry::HasInnerProduct
Carrier exposing a scalar-valued inner-product form, its exact squared norm abs2, and the (√-induced)...
Definition inner_product.cppm:37
dedekind::geometry::IsInnerProductSpace
A field-like vector carrier equipped with an inner product morphism.
Definition inner_product.cppm:71

Detailed Description

A field-like vector carrier equipped with an inner product morphism.

Uses the operational HasFieldOperators and HasVectorSpaceOperators witnesses so IEEE-backed floating carriers can participate under the active numerical policy, even when the stricter categorical IsVectorSpace proof is intentionally withheld.