Re: An error in Section 14.4 of the final draft
Vincent,
You are right. Thank you.
I hope that there will be possibility to fix it during the ballot process.
-Dima
----- Original Message -----
From: vincent@xxxxxxxxxx
To: stds-1788@xxxxxxxxxxxxxxxxx
Sent: Friday, July 4, 2014 12:34:31 PM GMT +04:00 Abu Dhabi / Muscat
Subject: An error in Section 14.4 of the final draft
I think I've found an error in the final draft. :(
The third paragraph of §14.4 is:
Let x_dx be a datum of the decorated interval type DT derived
from T. Its standard Level 3 representative is an ordered triple
(inf(x), sup(x), dx) of two Level 2 F-datums and a decoration.
For example, the only representative of Empty_trv is the triple
(+oo, -oo, trv) and the only representative of NaI is the triple
(NaN, NaN, ill).
However, for NaI in particular, one needs to use the decorated
version of inf and sup, thus (inf(x), sup(x), dx) should be
changed to (inf(x_dx), sup(x_dx), dx). Otherwise, at Level 2,
x is the interval part of x_dx and can only be Empty, and this
would give for NaI: (+oo, -oo, ill).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - 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)