Motion 3
Dear members of the working group.
Please note the following motion concerning the semantics of intervals
So it is not about structure and procedure, not to fiX the final
formulation, but about cootents
Comments welcome
Juergen
===Motion P1788/M0003.01_Set_of_reals===
Proposer: Juergen Wolff von Gudenberg
Seconder: required
===Motion text===
The P1788 Interval arithmetic standard defines intervals as closed and
connected sets of real numbers.
That means that +/- Infinity may be used to denote an unbounded interval
but are never considered as members of an interval.
===Rationale===
The Vienna Proposal section 1.2
Kulisch's position paper "Complete Interval Arithmetic"
The extensive discussion in the mailing list
--
=======
o Prof. Dr. J. Wolff v. Gudenberg, Informatik 2
/ \ Univ. Wuerzburg, Am Hubland, D-97074 Wuerzburg
info2 o Tel.: +49 931 / 31-86602 Fax: +49 931 / 888-6603
/ \ Uni e-mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg http://www2.informatik.uni-wuerzburg.de/