Re: Motion 6
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.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)