dedekind::geometry::HasInnerProduct Concept Reference

Carrier exposing a scalar-valued inner-product form, its exact squared norm abs2, and the (√-induced) norm. More...

Concept definition

template<typename V, typename F>
concept dedekind::geometry::HasInnerProduct =  requires(V u, V v) {
  
  { dot(u, v) } -> std::same_as<F>;
  
  { abs2(u) } -> std::convertible_to<F>;
  
  { norm(u) } -> std::convertible_to<F>;
}

Detailed Description

Carrier exposing a scalar-valued inner-product form, its exact squared norm abs2, and the (√-induced) norm.