Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: An error in Section 14.4 of the final draft

Dima,

I don't think there will be a problem fixing technical errors
that are not controversial.  I suggest all such corrections
we might find be committed to the repository as they are found
(and we track such changes).

Best regards,

Baker

On 07/14/2014 05:22 AM, Dmitry Nadezhin wrote:

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).




--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------