Re: An error in Section 14.4 of the final draft
On 2014-07-04 10:39:02 +0200, Vincent Lefevre wrote:
> And another problem in the second paragraph: in inf(x) and sup(x),
> x should be in bold.
There are actually other occurrences of x that should be in bold,
e.g. in the first example of §14.2. Others might be found among
the list given by:
grep -P --color=always '(?<!\\~)\bx\b' P1788*.tex
(this outputs all the x's that are not preceded by "\~") but not
all of them, of course.
Other possible issues about §14.4:
* First, since §14 also defines Level 4 (§14.4), should it be renamed
from "Level 3 description" to "Level 3 and Level 4 description"?
* 5th paragraph of §14.4:
- Shouldn't "for bare intervals for non-empty intervals" by replaced
by "for non-empty bare intervals"?
- In "decorations are represented as a pair of [...]", I think that
singular/singular or plural/plural should be used, but not
plural/singular.
- Replace "no payload information" by "ignoring the payload"?
* Next paragraph:
- In "Export and import of interchange formats normally occurs [...]",
is "occurs" correct, or should it be "occur"?
- "There is therefore a need to" -> "It is therefore needed to"?
* Last paragraph: I'm wondering whether "Interchange encodings
for non-754 interval types, and on non-754 systems, are
implementation-defined." means that at least one interchange
encoding shall be defined.
--
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)