dedekind::geometry::IsFiniteDimensionalInnerProductSpace Concept Reference

A finite-dimensional real inner-product space. More...

Concept definition

template<typename V, typename R>
concept dedekind::geometry::IsFiniteDimensionalInnerProductSpace = 
    IsInnerProductSpace<V, R> && dedekind::algebra::IsFloatingScalar<R> &&
    requires { V::dimension; }

Detailed Description

A finite-dimensional real inner-product space.