Umbrella concept bundling all 9 matrix slogans for square matrices over a field. More...

Concept definition

template<typename M, typename F>

concept dedekind::linear_algebra::IsMatrixAlgebra = IsMatrix<M> && IsMatrixOverFieldRingLike<M, F>

dedekind::linear_algebra::IsMatrixAlgebra

Umbrella concept bundling all 9 matrix slogans for square matrices over a field.

Definition contracts.cppm:551

dedekind::linear_algebra::IsMatrixOverFieldRingLike

Matrices over a field carry at least a ring structure plus transpose.

Definition contracts.cppm:399

dedekind::linear_algebra::IsMatrix

The structural-matrix slogan-pack: shape + column/row types + both decompositions.

Definition contracts.cppm:284

Detailed Description

Umbrella concept bundling all 9 matrix slogans for square matrices over a field.

Stacking: IsMatrix<M> (shape + column/row types + decompositions) plus IsMatrixOverFieldRingLike<M, F> (ring-like operations plus transpose). Invertibility is not required — an individual square matrix can be singular and still belong to the ring of matrices.