Dear P1788 members,
I prepared a new version of motion 24, see the attachment. It more or less follows suggestions made by Michel Hack. However, it is only concerned with interval arithmetic.
Comments on version 24.03 of the motion:
1. Realization of the motion is possible in software and/or hardware!
2. The required arithmetic operations with directed roundings are useful per se. Lower or upper bounds of expressions (not necessarily optimal) frequently can be obtained just by using these operations.
3. Of course, a system that provides the four basic operations for intervals is motion 24.03 compliant. An interval operation simultaneously computes the greatest lower and the least upper bound.
4. Lower and upper bounds of other operations or functions like fma, square root, elementary or other functions, or arithmetic expressions are not required by the motion. An interval evaluation delivers these bounds.
5. As suggested by several colleagues type conversions are now included in the motion.
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