[LWG 19] P1673R13 A free function linear algebra interface based on the BLAS

source/algorithms.tex

@@ -297,7 +297,7 @@
 by invoking the following functions:
 \begin{itemize}
 \item
-  All operations of the categories of the iterators
+  All operations of the categories of the iterators or \tcode{mdspan} types
   that the algorithm is instantiated with.
 \item
   Operations on those sequence elements that are required by its specification.
@@ -369,7 +369,8 @@
 \tcode{UnaryOperation},
 \tcode{BinaryOperation},
 \tcode{BinaryOperation1},
-\tcode{BinaryOperation2}, and
+\tcode{BinaryOperation2},
+\tcode{BinaryDivideOp}, and
 the operators used by the analogous overloads to these parallel algorithms
 that are formed by an invocation
 with the specified default predicate or operation (where applicable)

source/back.tex

@@ -1,48 +1,72 @@
 %!TEX root = std.tex
 
-\chapter{Bibliography}
-
-\begin{itemize}
-\renewcommand{\labelitemi}{---}
+\begin{thebibliography}{99}
 % ISO documents in numerical order.
-\item
+\bibitem{iso4217}
   ISO 4217:2015,
   \doccite{Codes for the representation of currencies}
-\item
+\bibitem{iso10967-1}
   ISO/IEC 10967-1:2012,
   \doccite{Information technology --- Language independent arithmetic ---
     Part 1: Integer and floating point arithmetic}
-\item
+\bibitem{iso18661-3}
   ISO/IEC TS 18661-3:2015,
   \doccite{Information Technology ---
     Programming languages, their environments, and system software interfaces ---
     Floating-point extensions for C --- Part 3: Interchange and extended types}
 % Other international standards.
-\item
+\bibitem{iana-charset}
   IANA Character Sets Database.
   Available from:\newline
   \url{https://www.iana.org/assignments/character-sets/}, 2021-04-01
-\item
+\bibitem{iana-tz}
   IANA Time Zone Database.
   Available from: \url{https://www.iana.org/time-zones}
-\item
+\bibitem{unicode-charmap}
   Unicode Character Mapping Markup Language [online].
   Edited by Mark Davis and Markus Scherer. Revision 5.0.1; 2017-05-31
   Available from: \url{http://www.unicode.org/reports/tr22/tr22-8.html}
 % Literature references.
-\item
+\bibitem{cpp-r}
   Bjarne Stroustrup,
   \doccite{The \Cpp{} Programming Language, second edition}, Chapter R\@.
   Addison-Wesley Publishing Company, ISBN 0-201-53992-6, copyright \copyright 1991 AT\&T
-\item
+\bibitem{kr}
   Brian W.\ Kernighan and Dennis M. Ritchie,
   \doccite{The C Programming Language}, Appendix A\@.
   Prentice-Hall, 1978, ISBN 0-13-110163-3, copyright \copyright 1978 AT\&T
-\item
+\bibitem{cpp-lib}
   P.J.\ Plauger,
   \doccite{The Draft Standard \Cpp{} Library}.
   Prentice-Hall, ISBN 0-13-117003-1, copyright \copyright 1995 P.J.\ Plauger
-\end{itemize}
+\bibitem{linalg-stable}
+  J.\ Demmel, I.\ Dumitriu, and O.\ Holtz,
+  \doccite{Fast linear algebra is stable},
+  Numerische Mathematik 108 (59--91), 2007.
+\bibitem{blas1}
+  C.\,L.\ Lawson, R.\,J.\ Hanson, D.\ Kincaid, and F.\,T.\ Krogh,
+  \doccite{Basic linear algebra subprograms for Fortran usage}.
+  ACM Trans.\ Math.\ Soft., Vol.\ 5, pp.\ 308--323, 1979.
+\bibitem{blas2}
+  Jack J.\ Dongarra, Jeremy Du Croz, Sven Hammarling, and Richard J. Hanson,
+  \doccite{An Extended Set of FORTRAN Basic Linear Algebra Subprograms}.
+  ACM Trans.\ Math.\ Soft., Vol.\ 14, No.\ 1, pp.\ 1--17, Mar.\ 1988.
+\bibitem{blas3}
+  Jack J.\ Dongarra, Jeremy Du Croz, Sven Hammarling, and Iain Duff,
+  \doccite{A Set of Level 3 Basic Linear Algebra Subprograms}.
+  ACM Trans.\ Math.\ Soft., Vol.\ 16, No.\ 1, pp.\ 1--17, Mar.\ 1990.
+\bibitem{lapack}
+  E.\ Anderson, Z.\ Bai, C.\ Bischof, S.\ Blackford, J.\ Demmel, J.\ Dongarra,
+  J.\ Du Croz, A.\ Greenbaum, S.\ Hammarling, A.\ McKenney, D.\ Sorensen
+  \doccite{LAPACK Users' Guide, Third Edition}.
+  SIAM, Philadelphia, PA, USA, 1999.
+\bibitem{blas-std}
+  L. Susan Blackford, Ames Demmel, Jack Dongarra, Iain Duff, Sven Hammarling,
+  Greg Henry, Michael Heroux, Linda Kaufman, Andrew Lumbsdaine, Antoine Petitet,
+  Roldan Pozo, Karin Remington, R. Client Whaley
+  \doccite{An Updated Set of Basic Linear Algebra Subprograms (BLAS)}.
+  ACM Trans.\ Math.\ Soft., Vol.\ 28, Issue 2, 2002.
+\end{thebibliography}
 
 The arithmetic specification described in ISO/IEC 10967-1:2012 is
 called \defn{LIA-1} in this document.

source/compatibility.tex

@@ -84,6 +84,7 @@
 The following \Cpp{} headers are new:
 \libheaderref{debugging},
 \libheaderrefx{hazard_pointer}{hazard.pointer.syn},
+\libheaderref{linalg},
 \libheaderref{rcu}, and
 \libheaderrefx{text_encoding}{text.encoding.syn}.
 Valid \CppXXIII{} code that \tcode{\#include}{s} headers with these names may be

source/lib-intro.tex

@@ -1156,6 +1156,7 @@
 \tcode{<iterator>} \\
 \tcode{<latch>} \\
 \tcode{<limits>} \\
+\tcode{<linalg>} \\
 \tcode{<list>} \\
 \tcode{<locale>} \\
 \tcode{<map>} \\

source/locales.tex

@@ -4296,7 +4296,8 @@
 \begin{note}
 For specializations where the second template parameter is \tcode{true},
 this is typically four characters long:
-a three-letter code as specified by ISO 4217 followed by a space.
+a three-letter code as specified by ISO 4217\supercite{iso4217}
+followed by a space.
 \end{note}
 \end{itemdescr}
 
@@ -4676,7 +4677,7 @@
 
 \pnum
 The class \tcode{text_encoding} describes an interface
-for accessing the IANA Character Sets registry.
+for accessing the IANA Character Sets registry\supercite{iana-charset}.
 
 \indexlibraryglobal{text_encoding}%
 \begin{codeblock}
@@ -5002,7 +5003,7 @@
 \begin{note}
 This comparison is identical to
 the ``Charset Alias Matching'' algorithm
-described in the Unicode Technical Standard 22.
+described in the Unicode Technical Standard 22\supercite{unicode-charmap}.
 \end{note}
 
 \begin{example}

source/macros.tex

@@ -120,6 +120,11 @@
 \addtocounter{SectionDepth}{\value{SectionDepthBase}}
 \Sec{\arabic{SectionDepth}}[#2]{#3}}
 
+%%--------------------------------------------------
+% Bibliography
+%%--------------------------------------------------
+\newcommand{\supercite}[1]{\textsuperscript{\cite{#1}}}
+
 %%--------------------------------------------------
 % Indexing
 %%--------------------------------------------------