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

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

Concept definition

template<typename M, typename S>
concept dedekind::geometry::IsInnerProductSemimodule = IsSemimodule<M, S> && HasInnerProduct<M, S>
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::IsInnerProductSemimodule
A semimodule equipped with an inner-product-like scalar form.
Definition inner_product.cppm:53

Detailed Description

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