Re: Motion 31: V04.2 Revision of proposed Level 1 text

[Ulrich Kulisch <Ulrich.Kulisch@xxxxxxxxxxx>]

Baker,

Please see the poster. I attach it once more. It says clearly what the 
"exact" dot product is. It computes the dot product of two 
floating-point vectors exactly. "Faithfull" or "least bit accurate" are 
not sufficient for long interval arithmetic.

Best wishes
Ulrich


Am 07.02.2012 20:04, schrieb Ralph Baker Kearfott:
> John, Ulrich, et al,
>
> I'm not sure where the disagreement is, and it
> seems like there is a bit of misunderstanding.
> In particular, motion 9, see
> http://grouper.ieee.org/groups/1788/private/Motions/AllMotions.html
> passed, and it says that the dot product will
> be in the standard.  Thus, the argument must
> be related to how or where it is specified
> in the actual standards document.
>
> Regarding "exact" vs "accurate" or "faithful" dot product,
> this is still an element of informal, offline discussion.
> The title
> of Motion 9 was "exact dot product," so I assume
> this is what we voted on.  (My link to the motion
> itself comes up blank.)  The position paper is
> a description of uses of the dot product, but
> is not written as a motion, so it is not
> immediately apparent what the standard is to mandate.
> At the risk of delaying voting on the standard
> text, I wonder if someone would like to proffer
> a clarifying motion.
>
> Baker

--
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische Mathematik (IANM2)
D-76128 Karlsruhe, Germany
Prof. Ulrich Kulisch

Telefon: +49 721 608-42680
Fax: +49 721 608-46679
E-Mail: ulrich.kulisch@xxxxxxx
www.kit.edu
www.math.kit.edu/ianm2/~kulisch/

KIT - Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft

Attachment: Poster22.pdf
Description: Adobe PDF document