Skip to content

[numeric.limits.members,bibliography] Remove LIA-1 abbreviation for ISO 10967 #6994

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 9, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 0 additions & 3 deletions source/back.tex
Original file line number Diff line number Diff line change
Expand Up @@ -68,9 +68,6 @@
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.

% FIXME: For unknown reasons, hanging paragraphs are not indented within our
% glossaries by default.
\let\realglossitem\glossitem
Expand Down
31 changes: 17 additions & 14 deletions source/support.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1012,6 +1012,11 @@
\pnum
\indextext{signal-safe!\idxcode{numeric_limits} members}%
Each member function defined in this subclause is signal-safe\iref{support.signal}.
\begin{note}
\indextext{LIA-1}%
The arithmetic specification described in ISO/IEC 10967-1:2012 is
commonly termed LIA-1.
\end{note}

\indexlibrarymember{min}{numeric_limits}%
\begin{itemdecl}
Expand Down Expand Up @@ -1222,9 +1227,7 @@
\pnum
Measure of the maximum rounding error.
\begin{footnote}
Rounding error is described in
LIA-1
Section 5.2.4 and
Rounding error is described in ISO/IEC 10967-1:2012 Section 5.2.4 and
Annex C Rationale Section C.5.2.4 --- Rounding and rounding constants.
\end{footnote}
\end{itemdescr}
Expand Down Expand Up @@ -1334,7 +1337,7 @@
\tcode{true} if the type has a representation for a quiet (non-signaling) ``Not a
Number''.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand All @@ -1356,7 +1359,7 @@
\pnum
\tcode{true} if the type has a representation for a signaling ``Not a Number''.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand All @@ -1378,7 +1381,7 @@
\pnum
Representation of positive infinity, if available.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand All @@ -1397,7 +1400,7 @@
\pnum
Representation of a quiet ``Not a Number'', if available.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand All @@ -1416,7 +1419,7 @@
\pnum
Representation of a signaling ``Not a Number'', if available.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand All @@ -1436,7 +1439,7 @@
\pnum
Minimum positive subnormal value, if available.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}
Otherwise, minimum positive normalized value.

Expand Down Expand Up @@ -1474,7 +1477,7 @@
\pnum
\tcode{true} if the set of values representable by the type is finite.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}
\begin{note}
All fundamental types\iref{basic.fundamental} are bounded. This member would be \tcode{false} for arbitrary
Expand All @@ -1494,7 +1497,7 @@
\pnum
\tcode{true} if the type is modulo.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}
A type is modulo if, for any operation involving \tcode{+}, \tcode{-}, or
\tcode{*} on values of that type whose result would fall outside the range
Expand Down Expand Up @@ -1523,7 +1526,7 @@
if, at the start of the program, there exists a value of the type that would cause
an arithmetic operation using that value to trap.
\begin{footnote}
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand All @@ -1542,7 +1545,7 @@
\begin{footnote}
Refer to
ISO/IEC/IEEE 60559.
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand All @@ -1559,7 +1562,7 @@
The rounding style for the type.
\begin{footnote}
Equivalent to \tcode{FLT_ROUNDS}.
Required by LIA-1.
Required by ISO/IEC 10967-1:2012.
\end{footnote}

\pnum
Expand Down