dedekind::linear_algebra::HasConformingMatrixAddition Concept Reference

A and B support shape-conformant addition, and the result has the same shape and scalar type. More...

Concept definition

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

Detailed Description

A and B support shape-conformant addition, and the result has the same shape and scalar type.