Re: P1788/M0014.01: 6.1_and_6.2 (compatibility with multi-precision)
On 2010-05-02 03:54:20 -0700, Dan Zuras Intervals wrote:
> The 'dubious' nature of my concerns surround the
> problem that mid-rad intervals represent a quite
> different subset of the Real intervals than do the
> inf-sup forms. I believe that it will require us
> to burden mid-rad forms further to represent these
> intervals (like [1e-100,1e+100] & [3,+oo]) somehow.
> Is it sufficient to represent them as say,
> (5e+99,0,1e+100) & (something+3,-something,+oo)?
I think that if the interval is large enough, one can still choose
mid = 0. Then the representation is equivalent to inf-sup, isn't it?
--
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 / Arénaire project (LIP, ENS-Lyon)