dedekind::geometry::IsEuclideanSpace Concept Reference

A Vector Space that is also a Metric Space where distance is the Norm. More...

Concept definition

template<typename V, typename S>
concept dedekind::geometry::IsEuclideanSpace =  IsMetricSpace<V, S> && requires(const V v) {
  
  { norm(v) } -> std::same_as<S>;
  
  { euclidean_norm_squared(v) } -> std::same_as<S>;
}

Detailed Description

A Vector Space that is also a Metric Space where distance is the Norm.

Structural Constraint: distance(a, b) == norm(a - b). In the mirror, this is the "flat" geometry of R^n.