dedekind::linear_algebra::HasConformingMatrixMultiplication Concept Reference

A and B support shape-conformant multiplication, and the result has shape A::row_count × B::column_count. More...

Concept definition

template<typename A, typename B>
concept dedekind::linear_algebra::HasConformingMatrixMultiplication = 
    MatchesMultiplicativeShape<A, B> && requires(const A& a, const B& b) {
      { a * b } -> HasMatrixShape;
    }

Detailed Description

A and B support shape-conformant multiplication, and the result has shape A::row_count × B::column_count.