P1673: typos in definition of upper/lower triangle

[fnrizzi]

in the proposal: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1673r6.html#triangle-tags-linalgtagstriangle

I think that the definitions of upper and lower triangle are flipped:

• "The upper triangle of a matrix A is the set of all elements of A accessed by A[i,j] with i >= j"
  This should be: "... accessed by A[i,j] with i <= j"
• "The lower triangle of a matrix A is the set of all elements of A accessed by A[i,j] with i <= j"
  This should be: "... accessed by A[i,j] with i >= j"

[fnrizzi]

@mhoemmen i can make a PR to fix proposal

[mhoemmen]

@fnrizzi Thanks for pointing this out! Have you had a look at the latest version of the proposal, R8? https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1673r8.html (That also has this issue.)

[mhoemmen]

@fnrizzi I've incorporated your fixes in PR ORNL/cpp-proposals-pub#258 for Revision 9. That PR also fixes the analogous issue with layout_blas_packed. Thanks!