Re: Motion 24.03 NO

[Ulrich Kulisch <Ulrich.Kulisch@xxxxxxxxxxx>]

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. 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.

Best wishes
Ulrich Kulisch



Am 22.07.2011 19:34, schrieb Zimmermann Paul:

       Dear Prof. Kulisch,

IEEE 754 is primarily concerned standardizing floating-point arithmetic 
with rounding to nearest.

did you read the 2008 revision of IEEE 754, in particular Section 4.3.2
(Directed rounding attributes) and 4.3.3 "An implementation of this standard
shall provide roundTiesToEven and the three directed rounding attributes"?

Paul Zimmermann

-- 
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