Re: exact dot product
On 2013-05-24 12:21:12 -0400, Michel Hack wrote:
> Vincent Lefèvre wrote:
> > So, as this has been shown, you do not need complete arithmetic
> > to get a correctly-rounded dot product.
>
> A correctly-rounded dot product is only ONE of the applications of
> having an exact dot product, if I understood Ulrich's argument.
> In other words, it may be necessary to know more about the rounding
> error than its sign.
Various algorithms can give you more information. Now, if the final
goal is to get an exact value, this is different.
--
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 / AriC project (LIP, ENS-Lyon)