IEEE P1788
Dear colleagues,
after my mail of April 30 I got a major number of questions and comments
(carry propagation, language support, and so on). I am sorry not to be
able to answer them individually now. I am leaving today and shall be
without internet connection for about ten days. So let me try a quick
answer.
Roughly speaking Interval arithmetic brings guarantees into computing
and the EDP brings variable precision, accuracy and speed. Together they
form an exception free calculus. Separating the two is counter productive.
With respect to fast carry propagation you may consult my book [23].
Several solutions are discussed there.
With respect to language support see the references in my paper. The XSC
languages (Pascal-XSC developed with Nixdorf in the late 1970ies,
ACRITH-XSC (which is a coresponding Fortran-77 extension) developed with
IBM in the 1980ies, and C-XSC developed in the early 1990ies are all on
the same level. Toolbox volumes with problem solving routines are
available for all three of these languages. All these are cited in the
references of my paper.
In summary: the EDP is a fundamental arithmetic operation for interval
arithmetic and it should be dealt with as such in the standard.
Providing it on modern processors is just a question of clever programming.
With best wishes
Ulrich
--
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische MathematikSo let me try a quick answer
D-76128 Karlsruhe, Germany
Prof. Ulrich Kulisch
KIT Distinguished Senior Fellow
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-Gesellschaft