dedekind::linear_algebra::MatchesMultiplicativeShape Concept Reference

Two matrix-like carriers can be composed iff the inner dimensions agree: A::column_count == B::row_count and the scalar types match. More...

Concept definition

template<typename A, typename B>
concept dedekind::linear_algebra::MatchesMultiplicativeShape = 
    HasMatrixShape<A> && HasMatrixShape<B> && requires {
      typename A::scalar_type;
      typename B::scalar_type;
      requires std::same_as<typename A::scalar_type, typename B::scalar_type>;
      requires A::column_count == B::row_count;
    }

Detailed Description

Two matrix-like carriers can be composed iff the inner dimensions agree: A::column_count == B::row_count and the scalar types match.