NO on Motion P1788/M0031:Level_1_standard_text
On 2012-03-29 21:58:21 +0200, Jürgen Wolff von Gudenberg wrote:
> Dmitri, Vincent, all of you
> sorry for the confusion.
> version 4.4 is now accessible under motion 31 or under the P1788
> document.
I vote NO on Motion P1788/M0031:Level_1_standard_text.
5.6.8. Numeric functions of intervals. I think there was an agreement
to have inf(Empty) = +oo and sup(Empty) = -oo at least. See the mail
"Table 4 proposal version 0.2..." from Dan Zuras on 29 Feb 2012.
About Boolean functions of intervals (5.6.9) and the empty set, I sent
a mail "Motion 31 (proposed Level 1 text V04.2) and Boolean functions"
on 27 Jan 2012 14:30:52 +0100, but AFAIK, I got no replies. The current
text disagrees with Motion 13.04, and the behavior on the empty set
should be reconsidered. Also, I've just noticed that Motion 13.04 (and
31) disagrees with both the Vienna proposal and the standard topology
definition <http://en.wikipedia.org/wiki/Interior_%28topology%29>; for
instance, Entire should be interior to itself.
Some suggested changes (mostly editorial):
First line of 5.1: "in addition" should start with a capital letter.
5 lines below: "An interval's members are finite numbers, but its bounds
can be infinite." -> "The members of an interval are finite numbers, but
its bounds (if the interval is non empty) can be infinite." (because an
empty interval doesn't have bounds).
Next sentence: "Finite or infinite numbers can be input to interval
constructors, as well as output from operations, e.g., the interval
width operation." -> input*s* / output*s* (?)
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)