Re: Bare decorations (was ...level 2 datums)
On 2010-10-25 19:08:09 -0500, Nate Hayes wrote:
> >(a) It doesn't cover a mix of operands, such as (bare interval) + (bare
> >decoration).
>
> This is covered by 2.3 that says any operation involving a bare decoration
> must always result in a bare decoration. In IEEE 754, this is analagous to
> how any arithmetic operation involving a NaN must return a NaN, i.e.,
> 2 + NaN = NaN
> and not something like
> 2 + NaN = 2
> which would cause serious problems.
I think you should forget this analogy, because it is incorrect.
For instance, hypot(+inf,qNaN) gives +inf, not qNaN (Section 9.2.1).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)