Basis

Concepts and helpers for bases of free modules. More...

Concepts
concept	sequoia::maths::basis
	A basis must identify the free module to which it corresponds.
concept	sequoia::maths::basis_for
	A concept to determine if a basis is appropriate for a particular free module.

Variables
template<class T >
constexpr bool	sequoia::maths::identifies_as_basis_v
	Compile time constant reflecting whether a type self-identifies as a basis.

Detailed Description

Concepts and helpers for bases of free modules.

Variable Documentation

identifies_as_basis_v

template<class T >

constexpr bool sequoia::maths::identifies_as_basis_v

inlineconstexpr

Initial value:

{
     requires {
      typename T::is_basis;
      requires std::convertible_to<typename T::is_basis, std::true_type>;
    }
  }

Compile time constant reflecting whether a type self-identifies as a basis.