Re: Motion P1788.1/M004.01

[Ulrich Kulisch <ulrich.kulisch@xxxxxxx>]

Dear Ned and dear colleagues;

I think interval arithmetic should not be defined over the IEEE 754 binary64 numbers. This more or less pulls all the IEEE 754 exceptions into interval arithmetic. We shoud not bother all users of interval arithmetic with constructs which really do not occur and definitly are not needed in interval arithmetic.

Interval arithmetic shoud  just be defined as a calculus for connected sets of real numbers. Since -oo and +oo are not real numbers they cannot be elements of a real interval. They just serve as bounds for the description of unbounded real intervals.
This  leads to a calculus that is totally free of exceptions. (For proof see my book Computer Arithmetic and Validity, in particular Sections 4.11 and 4.12, pp. 146 to 151 in the second edition).

Best regards
Ulrich



Am 01.05.2016 um 23:58 schrieb Nedialkov, Ned:

Dear Colleagues,

I would like to move that the text of Clause 6

, "Level 2 description" of the simplified standard be accepted. The text is attached.

Best regards,
Ned Nedialkov

-- 
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische Mathematik
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-Gesellschaft