Basis

Concepts for the basis of free modules.

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.

Concepts for the basis of free modules.