A matrix carries two dimensionalities: row count and column count. More...

Concept definition

template<typename M>
concept dedekind::linear_algebra::HasMatrixShape =  requires {
  { M::row_count } -> std::convertible_to<std::size_t>;
  { M::column_count } -> std::convertible_to<std::size_t>;
}

Detailed Description

A matrix carries two dimensionalities: row count and column count.

shape and decomposition.

This is the joint-shape claim — a direct generalisation of HasDimensionCount from one axis to two. Row count is the dimension of the column space (number of entries per column); column count is the dimension of the row space (number of entries per row).