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

A module equipped with an inner-product-like scalar form. More...

Concept definition

template<typename M, typename R>
concept dedekind::geometry::IsInnerProductModule = IsModule<M, R> && HasInnerProduct<M, R>
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::IsInnerProductModule
A module equipped with an inner-product-like scalar form.
Definition inner_product.cppm:60

Detailed Description

A module equipped with an inner-product-like scalar form.