A concept to determine if a basis is appropriate for a particular free module.
More...
#include <Spaces.hpp>
template<class B, class M>
&& (admits_canonical_basis_v<free_module_type_of_t<B>> || has_isomorphism_type_v<B>)
&& requires { requires std::is_same_v<free_module_type_of_t<B>, M>; }
A concept to determine if a basis is appropriate for a particular free module.
Definition: Spaces.hpp:692
A basis must identify the free module to which it corresponds.
Definition: Spaces.hpp:644
A concept to determine if a basis is appropriate for a particular free module.
