unordered-signaling predicates and negations in IEEE 754-2008

[Michel Hack <hack@xxxxxxxxxxxxxx>]

Vincent LefÛvre wrote, with respect to Table 5.2 on page 29:
> Shouldn't it say "The unordered-signaling predicates
> *and their negations* ..." ?

Perhaps -- but negations of unordered-signalling predicates are
also unordered-signalling predicates, so I don't see an omission
here.  The table contains ten predicates; five of those are the
negations of the other five.

I agree one has to read very carefully:  the exception occurs when
the relation is unordered, regardless of whether the predicate is
true or false.

Michel.
---Sent: 2009-04-13 18:33:08 UTC