Re: Midpoint paper (2012-02-08 version)
On 2012-02-15 17:31:31 -0800, Dmitry Nadezhin wrote:
> And definition (15) violates monotonic property (10) on this pair of
> intervals.
I think that the midpoint of [x,+oo] should be Fmax and the midpoint
of [-oo,x] should be -Fmax.
> There is another issue with midpoint on midrad_F type. Sometimes this midpoint can't be used for B&B splitting.
> Consider interval in 2-digit decimal arithmetic.
> <15,0.1>=[1.49,1.51] .
> Its midpoint is surely 15, but we can't split it into two midrad intervals.
Same problem for inf-sup with [u,u+].
--
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)