P1673: Corrections

BLAS 3

[linalg.algs.blas3.rankk]

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)"

[linalg.algs.blas3.rank2k]

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)"