motion 24.03

[Ulrich Kulisch <Ulrich.Kulisch@xxxxxxxxxxx>]

Dear P1788 members,

 the motion 24.03 text is now very short. So let me list a few arguments in favour of the motion:

-         Safe bounds for arithmetic expressions frequently can be obtained more easily, cheaper and faster with the operations with directed roundings than by interval arithmetic (applications can be found in my book or in the Intlab package and in many other places).

-         The operations are requested on the system level. So on processors that provide IEEE 754 arithmetic it is trivial providing these operations (although perhaps not most efficiently).

-         On processors that provide interval arithmetic these operations are naturally available. The lower and the upper bound of the result of an interval operation performed for two reals give the requested operations.

-         The motion stresses the basic meaning of the requested operations for verified computing.

-         Last but not least motion 24.03 requests necessary conversions between different data formats.

Please vote on motion 24.03 if you not yet have done so.

With best regards
Ulrich

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