[Cfp-interest 3327] Re: discrepancies between POSIX and IEEE-754 standards

[Vincent Lefevre]

On 2024-11-19 07:21:26 -0500, Nevstruev U-Yanus Poluektovich wrote:
> The POSIX standard contains some (optional)requirements that contradict the
> IEEE-754. Functions that behave approximately like an argument near 0 (sin,
> tan, asin, atan, expm1, log1p, sinh, asinh, tanh, atanh, etc.) for
> denormalized arguments should return the value of the argument as a result.
> Is it possible that the POSIX standard only considers the rounding to
> nearest mode?

To clarify my remark I did in the core-math list: I suspect that such
a text was first added in the past when POSIX only considered rounding
to nearest (or something similar, at least in the time when correct
rounding wasn't really considered). So perhaps at this time, there was
some reason for this recommendation (or was this just overlooked?). In
any case, things have changed nowadays, and this should be revised.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)