Re: Motion 6

[Arnold Neumaier <Arnold.Neumaier@xxxxxxxxxxxx>]

Vincent Lefevre wrote:
> On 2009-09-21 12:41:12 +0200, Arnold Neumaier wrote:
> > Vincent Lefevre wrote:
> > > On 2009-09-21 10:41:07 +0200, Arnold Neumaier wrote:
> > > > The little difference may be decisive, though, for example when
> > > > checking algebraic numbers for their sign, using multiprecision
> > > > arithmetic. x in 1e-10000 + [0,Inf] encodes sign information,
> > > > which is lost when going to midrad.
> > > Yes, but such kind of application (where intervals can be very
> > > large), you should use infsup. Don't use midrad if your application
> > > is not suited for midrad.
> > I had thought it was you who had been recommending midrad for
> > rigorous multipresicion calculations.
>
> No, I'm not recommending midrad for every multiprecision applications.
> I'm saying that the standard should *not exclude* midrad. 

The standard does not exclude midrad already by not specifying anything
but conversion rules.


Arnold Neumaier