dedekind::linear_algebra::IsMatrixOverFieldRingLike Concept Reference

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

Concept definition

template<typename M, typename F>
concept dedekind::linear_algebra::IsMatrixOverFieldRingLike = 
    IsMatrixSubmoduleLike<M, F> && HasMatrixMultiplication<M> &&
    HasTranspose<M>

Detailed Description

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

Encodes the slogan "matrix over a field is at least a ring, equipped with all the ring operations plus transpose". The concept does not require commutativity of multiplication; the ring is non-commutative in general.