sequoia::maths::basis Concept Reference

A basis must identify the free module to which it corresponds. More...

#include <Spaces.hpp>

Concept definition

template<class B>
concept sequoia::maths::basis =  has_free_module_type_v<B> || has_vector_space_type_v<B>

Detailed Description

A basis must identify the free module to which it corresponds.

This takes into account that a vector space is a special case of a free module.