C is the symmetric or Hermitian matrix, not A, so A doesn't have to be square. (C does need to be square, though.)
Replace (2.2) with "compatible-static-extents<decltype(C), decltype(C)>(0, 1) is true"
Replace (2.3) and (2.4) with possibly-multipliable<decltype(A), decltype(transposed(A)), C>
Replace (3.1) with "C.extent(0) equals C.extent(1)"
Replace (3.2) and (3.3) with "multipliable(A, transposed(A), C)"
C is the symmetric or Hermitian matrix, not A or B, so A (or B) doesn't have to be square. (C does need to be square, though.) A, B, and C must have the same number of rows. A and B must have the same number of columns (they must both be N x K for some K not necessarily equal to N).
Replace (2.2) with "possibly-multipliable<decltype(A), decltype(transposed(B)), decltype(C)> is true and possibly-multipliable<decltype(B), decltype(transposed(A)), decltype(C)> is true"
Replace (2.3) with "compatible-static-extents<decltype(C), decltype(C)>(0, 1) is true"
Replace (3.1) with "multipliable(A, transposed(B), C) is true and multipliable(transposed(B), A, C) is true"
Replace (3.2) with "C.extent(0) equals C.extent(1)"
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4