[linalg.reqs.alg] Clarify requirements for other than solve algorithms

Author: jensmaurer

source/numerics.tex

@@ -11375,9 +11375,13 @@
 value-initializing or direct-initializing them
 with any existing object of that type.
 \item
-The \term{triangular solve algorithms} in \ref{linalg.algs.blas3}
+The \term{triangular solve algorithms} in
+\ref{linalg.algs.blas2.trsv},
+\ref{linalg.algs.blas3.trmm},
+\ref{linalg.algs.blas3.trsm}, and
+\ref{linalg.algs.blas3.inplacetrsm}
 either have
-a \tcode{BinaryDivideOp} template parameter (see \ref{linalg.algs.reqs}) and
+a \tcode{BinaryDi\-videOp} template parameter (see \ref{linalg.algs.reqs}) and
 a binary function object parameter \tcode{divide} of that type,
 or they have effects equivalent to invoking such an algorithm.
 Triangular solve algorithms interpret \tcode{divide(a, b)} as
@@ -11402,7 +11406,10 @@
 and any assignment
 is a well-formed expression.
 \item
-Otherwise, the function will use a sequence of evaluations of
+Each function in
+\ref{linalg.algs.blas1}, \ref{linalg.algs.blas2}, and \ref{linalg.algs.blas3}
+that is not a triangular solve algorithm
+will use a sequence of evaluations of
 \tcode{*}, \tcode{*=}, \tcode{+}, \tcode{+=}, and \tcode{=} operators
 that would produce the result
 specified by the algorithm's \Fundescx{Effects} and \Fundescx{Remarks}