dedekind::geometry::IsAffine Concept Reference

Affine-space witness over scalar carrier S. More...

Concept definition

template<typename V, typename S>
concept dedekind::geometry::IsAffine =  requires(const V a, const V b, const S s) {
  { a + b } -> std::same_as<V>;
  { a - b } -> std::same_as<V>;
  { a * s } -> std::same_as<V>;
  { s * a } -> std::same_as<V>;
  { V::dimension };
}

Detailed Description

Affine-space witness over scalar carrier S.