Re: Comments on the IEEE-SA draft P1788/D9.5
Vincent (and P-1788),
Thank you. We truly appreciate your careful efforts, that
you afforded us throughout the 1788 development process.
These final changes should be carefully documented, such as
comments you submit when you cast your Sponsor Ballot vote.
This is important so the IEEE editorial staff and the
Standards Review Committee can determine that we followed
proper procedures. (Minor changes, judged by the aforementioned,
do not require a recirculation -- a re-vote -- of the Sponsor
Ballot, while substantial changes do. We shouldn't arbitrarily
change the document at this point.)
Best regards,
Baker
On 01/09/2015 10:01 AM, Vincent Lefevre wrote:
Happy New Year,
I have some comments, mostly editorial, on the P1788/D9.5 draft:
The hyphen in "floating-point formats" is missing in:
* the abstract, line 2;
* page 2 line 5 (§1.1 Scope).
"a" -> "an" before "IEEE 754" in:
* page 5 line 9 (Definition 3.2.2);
* page 5 line 11 (Definition 3.2.3);
* page 53 line 25 (§12.10.1 Note 1);
* page 62 line 10 (§12.12.8);
* page 62 line 14 (§12.12.8);
* page 68 line 9 (§14.2);
* page 68 line 38 (§14.3).
Page 15 line 18, "a" -> "an" before "arithmetic operation".
In §3.2 Definitions, some definitions are not marked "(AF)" or "(S)".
Is there a reason, or is "(AF)" just missing?
Page 5, Definition 3.2.9 of "bound" is unclear for the empty interval
and non-standard intervals in flavors like Kaucher. I think that it
would be sufficient to say that xinf <= xsup and that some intervals
(Empty in the set-based flavor and possibly non-standard intervals in
other flavors) do not have bounds.
Page 9, Definition 3.2.55 of "roundoff unit" does not make much sense
with some number formats, e.g. double-double. This definition isn't
really necessary as the term "roundoff unit" is used only twice in
the standard, both in examples (one already being a floating-point
context, and the other one could be slightly modified).
Page 64, §12.13.5:
An implementation that provides 754-conforming type for the
^ missing "a"?
parent format F should provide [...]
--
---------------------------------------------------------------
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
---------------------------------------------------------------