Re: IEEEP1788
On 2015-05-22 08:48:39 +0200, Ulrich Kulisch wrote:
> I can only repeat myself: The exact dot product brings speed and
> accuracy to interval arithmetic. It is the key operation for wide
> acceptance of interval arithmetic.
You have never shown why/how this might be true.
> It can be computed in a fraction of the time that any other known
> method needs to compute a correctly rounded dot product.
This is not correct. You even have representation problems with
large-range formats such as GNU MPFR and DPE[*], where the difference
between the maximum exponent and the minimum one can about around
2^31, and even 2^63.
[*] https://gforge.inria.fr/projects/dpe/
> It also is the key to many other valuable application like variable
> precision interval arithmetic.
In what way?
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)