dedekind::linear_algebra::IsMatrix Concept Reference

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

Concept definition

template<typename M>
concept dedekind::linear_algebra::IsMatrix =  requires { typename M::scalar_type; } && HasMatrixShape<M> &&
                   HasColumnDecomposition<M> && HasRowDecomposition<M>

Detailed Description

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

A type satisfies IsMatrix iff it

• carries a scalar_type,
• exposes both row_count and column_count,
• exposes column_type as an IsColumnVector,
• exposes row_type as an IsCovector,
• admits both the horizontal and the vertical decompositions.