Re: Motion P1788/M0032.02: I vote NO
On 2012-04-15 23:49:20 -0400, Michel Hack wrote:
> I vote NO on M0032.02 -- the main issue for me being that the Level 2
> midpoint might not be a member,
a member of what?
> so the mention of [inf_F(X),mid_F(X)] might be meaningless.
Could you give an example? AFAIK, [inf(X),mid_F(X)] can be meaningless,
but [inf_F(X),mid_F(X)] is a valid interval, as pointed out by Dmitry
in a recent discussion.
--
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)