Re: Motion 24.03 NO
On 2011-07-22 21:11:54 +0200, Ulrich Kulisch wrote:
> Paul:
>
> Thank you for your remark. I am familiar with the text below. But I am also
> familiar with the problems we have with existing implementations.
If directed roundings are not already implemented, having them
as a requirement in P1788 won't change anything (they could be
implemented to make the implementation of IA easier, but this
is independent of this motion).
> So my mail says: the operations and conversions with directed
> roundings belong into P1788. In an earlier mail I said:
>
> The motion stresses the basic meaning of the requested operations for
> verified computing.
Why only the arithmetic operations and conversions? Elementary
functions are important too.
Also, you don't necessarily need correct rounding to compute
bounds.
--
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)