sequoia::maths::affine_space Concept Reference

concept for affine spaces More...

#include <Spaces.hpp>

Concept definition

template<class T>
concept sequoia::maths::affine_space =  vector_space<T> || (convex_space<T> && identifies_as_affine_space_v<T>)

Detailed Description

concept for affine spaces

A vector space is an affine space over itself; beyond that, according to our definitions, an affine space is a refinement of a convex space.