Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

Re: exact dot product

To: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
Subject: Re: exact dot product
From: Michel Hack <mhack@xxxxxxx>
Date: Fri, 24 May 2013 12:21:12 -0400
Delivered-to: mhonarc@xxxxxxxxxxxxxxxx
In-reply-to: <20130524161446.GA29310@ypig.lip.ens-lyon.fr>
List-help: <https://listserv.ieee.org/cgi-bin/wa?LIST=STDS-1788>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STDS-1788>
List-owner: <mailto:STDS-1788-request@LISTSERV.IEEE.ORG>
List-subscribe: <mailto:STDS-1788-subscribe-request@LISTSERV.IEEE.ORG>
List-unsubscribe: <mailto:STDS-1788-unsubscribe-request@LISTSERV.IEEE.ORG>
References: <51977B66.3040909@kit.edu> <20130518193744.DCA1A2290378@zuras.net> <20130524161446.GA29310@ypig.lip.ens-lyon.fr>
Sender: stds-1788@xxxxxxxx

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.

Michel.
---Sent: 2013-05-24 16:25:33 UTC

Follow-Ups:
- Re: exact dot product
  - From: Vincent Lefevre

References:
- exact dot product
  - From: Ulrich Kulisch
- Re: exact dot product
  - From: Dan Zuras Intervals
- Re: exact dot product
  - From: Vincent Lefevre

Prev by Date: Re: exact dot product
Next by Date: Re: exact dot product
Previous by thread: Re: exact dot product
Next by thread: Re: exact dot product
Index(es):
- Date
- Thread