sequoia::maths::vector_space Concept Reference

concept for a vector space, which is a special case of a free module More...

#include <Spaces.hpp>

Concept definition

template<class T>
concept sequoia::maths::vector_space =  free_module<T> && defines_field_v<T>

Detailed Description

concept for a vector space, which is a special case of a free module