[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
Re: unordered-signaling predicates and negations in IEEE 754-2008
On 2009-04-13 14:24:16 -0400, Michel Hack wrote:
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.
In this case it is strange that the caption says
Required unordered-signaling predicates and negations
and not just
Required unordered-signaling predicates
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)