sequoia::maths::free_module Concept Reference

concept for a free module, implicitly understood to be over a commutative ring. More...

#include <Spaces.hpp>

Concept definition

template<class T>
concept sequoia::maths::free_module =  has_set_type_v<T> && has_dimension_v<T> && defines_commutative_ring_v<T> && (identifies_as_free_module_v<T> || identifies_as_vector_space_v<T>)

Detailed Description

concept for a free module, implicitly understood to be over a commutative ring.

Free modules admit a basis. Our particular interest is in free modules over a commutative ring. For want of a better term we slightly abuse free module to stand for "free module over a commutative ring".