fixup concept ref

Author: jensmaurer

source/numerics.tex

@@ -10797,49 +10797,49 @@
                                 InVec1 x, InVec2 y, InOutMat A);
 
   // \ref{linalg.algs.blas2.symherrank1}, symmetric or Hermitian rank-1 matrix update
-  template<@\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<@\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_1_update(InVec x, InOutMat A, Triangle t);
   template<class ExecutionPolicy,
-           @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_1_update(ExecutionPolicy&& exec,
                                         InVec x, InOutMat A, Triangle t);
-  template<class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_1_update(Scalar alpha, InVec x, InOutMat A, Triangle t);
   template<class ExecutionPolicy,
-           class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_1_update(ExecutionPolicy&& exec,
                                         Scalar alpha, InVec x, InOutMat A, Triangle t);
 
-  template<@\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<@\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_1_update(InVec x, InOutMat A, Triangle t);
   template<class ExecutionPolicy,
-           @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_1_update(ExecutionPolicy&& exec,
                                         InVec x, InOutMat A, Triangle t);
-  template<class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_1_update(Scalar alpha, InVec x, InOutMat A, Triangle t);
   template<class ExecutionPolicy,
-           class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_1_update(ExecutionPolicy&& exec,
                                         Scalar alpha, InVec x, InOutMat A, Triangle t);
 
   // \ref{linalg.algs.blas2.rank2}, symmetric and Hermitian rank-2 matrix updates
 
   // symmetric rank-2 matrix update
   template<@\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_2_update(InVec1 x, InVec2 y, InOutMat A, Triangle t);
   template<class ExecutionPolicy, @\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_2_update(ExecutionPolicy&& exec,
                                         InVec1 x, InVec2 y, InOutMat A, Triangle t);
 
   // Hermitian rank-2 matrix update
   template<@\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_2_update(InVec1 x, InVec2 y, InOutMat A, Triangle t);
   template<class ExecutionPolicy, @\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_2_update(ExecutionPolicy&& exec,
                                         InVec1 x, InVec2 y, InOutMat A, Triangle t);
 
@@ -10983,54 +10983,54 @@
   // \ref{linalg.algs.blas3.rankk}, rank-k update of a symmetric or Hermitian matrix
 
   // rank-k symmetric matrix update
-  template<class Scalar, @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<class Scalar, @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_k_update(Scalar alpha, InMat A, InOutMat C, Triangle t);
   template<class Scalar, class ExecutionPolicy,
-           @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_k_update(ExecutionPolicy&& exec,
                                         Scalar alpha, InMat A, InOutMat C, Triangle t);
 
-  template<@\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<@\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_k_update(InMat A, InOutMat C, Triangle t);
   template<class ExecutionPolicy,
-           @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_k_update(ExecutionPolicy&& exec,
                                         InMat A, InOutMat C, Triangle t);
 
   // rank-k Hermitian matrix update
-  template<class Scalar, @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<class Scalar, @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_k_update(Scalar alpha, InMat A, InOutMat C, Triangle t);
   template<class ExecutionPolicy,
-           class Scalar, @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           class Scalar, @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_k_update(ExecutionPolicy&& exec,
                                         Scalar alpha, InMat A, InOutMat C, Triangle t);
 
-  template<@\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<@\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_k_update(InMat A, InOutMat C, Triangle t);
   template<class ExecutionPolicy,
-           @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_k_update(ExecutionPolicy&& exec,
                                         InMat A, InOutMat C, Triangle t);
 
   // \ref{linalg.algs.blas3.rank2k}, rank-2k update of a symmetric or Hermitian matrix
 
   // rank-2k symmetric matrix update
   template<@\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_2k_update(InMat1 A, InMat2 B, InOutMat C, Triangle t);
   template<class ExecutionPolicy,
            @\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_2k_update(ExecutionPolicy&& exec,
                                          InMat1 A, InMat2 B, InOutMat C, Triangle t);
 
   // rank-2k Hermitian matrix update
   template<@\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_2k_update(InMat1 A, InMat2 B, InOutMat C, Triangle t);
   template<class ExecutionPolicy,
            @\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-           possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void hermitian_matrix_rank_2k_update(ExecutionPolicy&& exec,
                                          InMat1 A, InMat2 B, InOutMat C, Triangle t);
 
@@ -11930,10 +11930,10 @@
 \exposconcept{inout-vector},
 \exposconcept{inout-matrix},
 \exposconcept{inout-object},
-\exposconcept{possibly-packed-inout-\linebreak matrix},
 \exposconcept{out-vector},
-\exposconcept{out-matrix}, or
-\exposconcept{out-object}
+\exposconcept{out-matrix},
+\exposconcept{out-object}, or
+\exposconcept{possibly-packed-inout-matrix}
 parameter of a function in \ref{linalg}
 shall not overlap any other \tcode{mdspan} parameter of the function.
 
@@ -14283,10 +14283,10 @@
 \bigoh{\tcode{x.extent(0)} \times \tcode{x.extent(0)}}
 
 \begin{itemdecl}
-template<@\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+template<@\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_1_update(InVec x, InOutMat A, Triangle t);
 template<class ExecutionPolicy,
-         @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_1_update(ExecutionPolicy&& exec, InVec x, InOutMat A, Triangle t);
 \end{itemdecl}
 
@@ -14304,10 +14304,10 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+template<class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_1_update(Scalar alpha, InVec x, InOutMat A, Triangle t);
 template<class ExecutionPolicy,
-         class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_1_update(ExecutionPolicy&& exec,
                                       Scalar alpha, InVec x, InOutMat A, Triangle t);
 \end{itemdecl}
@@ -14327,10 +14327,10 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+template<@\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_1_update(InVec x, InOutMat A, Triangle t);
 template<class ExecutionPolicy,
-         @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_1_update(ExecutionPolicy&& exec, InVec x, InOutMat A, Triangle t);
 \end{itemdecl}
 
@@ -14348,10 +14348,10 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+template<class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_1_update(Scalar alpha, InVec x, InOutMat A, Triangle t);
 template<class ExecutionPolicy,
-         class Scalar, @\exposconcept{in-vector}@ InVec, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         class Scalar, @\exposconcept{in-vector}@ InVec, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_1_update(ExecutionPolicy&& exec,
                                       Scalar alpha, InVec x, InOutMat A, Triangle t);
 \end{itemdecl}
@@ -14410,10 +14410,10 @@
 
 \begin{itemdecl}
 template<@\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_2_update(InVec1 x, InVec2 y, InOutMat A, Triangle t);
 template<class ExecutionPolicy, @\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_2_update(ExecutionPolicy&& exec,
                                       InVec1 x, InVec2 y, InOutMat A, Triangle t);
 \end{itemdecl}
@@ -14433,10 +14433,10 @@
 
 \begin{itemdecl}
 template<@\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_2_update(InVec1 x, InVec2 y, InOutMat A, Triangle t);
 template<class ExecutionPolicy, @\exposconcept{in-vector}@ InVec1, @\exposconcept{in-vector}@ InVec2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_2_update(ExecutionPolicy&& exec,
                                       InVec1 x, InVec2 y, InOutMat A, Triangle t);
 \end{itemdecl}
@@ -14923,10 +14923,10 @@
 \bigoh{\tcode{A.extent(0)} \times \tcode{A.extent(1)} \times \tcode{C.extent(0)}}
 
 \begin{itemdecl}
-  template<class Scalar, @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+  template<class Scalar, @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_k_update(Scalar alpha, InMat A, InOutMat C, Triangle t);
   template<class Scalar, class ExecutionPolicy,
-           @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+           @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
     void symmetric_matrix_rank_k_update(ExecutionPolicy&& exec,
                                         Scalar alpha, InMat A, InOutMat C, Triangle t);
 \end{itemdecl}
@@ -14940,10 +14940,10 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+template<@\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_k_update(InMat A, InOutMat C, Triangle t);
 template<class ExecutionPolicy,
-         @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_k_update(ExecutionPolicy&& exec,
                                       InMat A, InOutMat C, Triangle t);
 \end{itemdecl}
@@ -14956,10 +14956,10 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<class Scalar, @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+template<class Scalar, @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_k_update(Scalar alpha, InMat A, InOutMat C, Triangle t);
 template<class ExecutionPolicy,
-         class Scalar, @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         class Scalar, @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_k_update(ExecutionPolicy&& exec,
                                       Scalar alpha, InMat A, InOutMat C, Triangle t);
 \end{itemdecl}
@@ -14973,10 +14973,10 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+template<@\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_k_update(InMat A, InOutMat C, Triangle t);
 template<class ExecutionPolicy,
-         @\exposconcept{in-matrix}@ InMat, possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{in-matrix}@ InMat, @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_k_update(ExecutionPolicy&& exec,
                                       InMat A, InOutMat C, Triangle t);
 \end{itemdecl}
@@ -15029,10 +15029,10 @@
 
 \begin{itemdecl}
 template<@\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_2k_update(InMat1 A, InMat2 B, InOutMat C, Triangle t);
 template<class ExecutionPolicy, @\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void symmetric_matrix_rank_2k_update(ExecutionPolicy&& exec,
                                          InMat1 A, InMat2 B, InOutMat C, Triangle t);
 \end{itemdecl}
@@ -15046,11 +15046,11 @@
 
 \begin{itemdecl}
 template<@\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_2k_update(InMat1 A, InMat2 B, InOutMat C, Triangle t);
 template<class ExecutionPolicy,
          @\exposconcept{in-matrix}@ InMat1, @\exposconcept{in-matrix}@ InMat2,
-         possibly-packed-@\exposconcept{inout-matrix}@ InOutMat, class Triangle>
+         @\exposconcept{possibly-packed-inout-matrix}@ InOutMat, class Triangle>
   void hermitian_matrix_rank_2k_update(ExecutionPolicy&& exec,
                                        InMat1 A, InMat2 B, InOutMat C, Triangle t);
 \end{itemdecl}