LWG4315 Insufficient specification of vector_two_norm and matrix_frob_norm

Fixes NB US 171-274 (C++26 CD).

Author: eisenwave

source/numerics.tex

@@ -13803,6 +13803,8 @@
 
 \pnum
 \mandates
+\tcode{InVec::value_type} and \tcode{Scalar} are either a floating-point type, or
+a specialization of \tcode{complex}.
 Let \tcode{a} be
 \tcode{\exposid{abs-if-needed}(declval<typename InVec::value_type>())}.
 Then, \tcode{decltype(\linebreak init + a * a} is convertible to \tcode{Scalar}.
@@ -13817,9 +13819,7 @@
 
 \pnum
 \remarks
-If \tcode{InVec::value_type}, and \tcode{Scalar}
-are all floating-point types or specializations of \tcode{complex},
-and if \tcode{Scalar} has higher precision
+If \tcode{Scalar} has higher precision
 than \tcode{InVec::value_type},
 then intermediate terms in the sum use \tcode{Scalar}'s precision or greater.
 \begin{note}
@@ -14009,6 +14009,8 @@
 
 \pnum
 \mandates
+\tcode{InVec::value_type} and \tcode{Scalar} are either a floating-point type, or
+a specialization of \tcode{complex}.
 Let \tcode{a} be
 \tcode{\exposid{abs-if-needed}(declval<typename InMat::value_type>())}.
 Then, \tcode{decltype(\linebreak init + a * a)}
@@ -14025,9 +14027,7 @@
 
 \pnum
 \remarks
-If \tcode{InMat::value_type} and \tcode{Scalar}
-are all floating-point types or specializations of \tcode{complex},
-and if \tcode{Scalar} has higher precision
+If \tcode{Scalar} has higher precision
 than \tcode{InMat::value_type},
 then intermediate terms in the sum use \tcode{Scalar}'s precision or greater.
 \end{itemdescr}