sequoia::maths::basis_for Concept Reference

A concept to determine if a basis is appropriate for a particular free module. More...

#include <Spaces.hpp>

Concept definition

template<class B, class M>
concept sequoia::maths::basis_for =  basis<B> && (    requires { requires std::is_same_v<typename B::free_module_type, M> ; }
                                    || requires { requires std::is_same_v<typename B::vector_space_type, M>; })

Detailed Description

A concept to determine if a basis is appropriate for a particular free module.