I vote NO on: Motion P1788/M0032:midpoint

[Vincent Lefevre <vincent@xxxxxxxxxx>]

I vote NO on: Motion P1788/M0032:midpoint

The main problems (mentioned in my mail on 15 Mar 2012 15:51:29 +0100)
are:

* "At level 1: mid(X) = (inf(X) + sup(X))/2"

This should be for non-Empty, bounded intervals (the motion says
"non-Empty, non-Entire"). There's an amendment about that, but it
is still slightly incorrect: its title is "The midpoint function
for bounded, non-Empty intervals", but unbounded intervals are
still considered at Level 2, making the motion ambiguous.

* "to be the smallest representable intervals"

It seems that Dan Zuras uses "smallest" to mean here a minimal element
for the partial order. I don't think the wording is correct, making
the motion ambiguous. See the different notions here:

  http://en.wikipedia.org/wiki/Partially_ordered_set#Extrema

Note that "smallest" or any minimality notion is useless here
(if the properties are true for X1 and X2, they remain true for
any supersets of X1 and X2). So,

  "to be the smallest representable intervals"

could be replaced by "to be any representable intervals".

BTW, the motion is a bit difficult to read due to the use of "&".
It could be replaced by "and".

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