Re: Motion P1788/M0043.01Div2Pair-- discussion period begins
Vincent, all
Am 02.04.2013 12:32, schrieb Vincent Lefevre:
The case where a and/or b is Empty is missing. In such a case, the
result shall be (Empty,Empty).
yes
The cases where one or several endpoints are infinities are also
missing. One could apply the conventional IEEE 754 rules, but not
for inf/inf. P1788 should be clear on what rules are applied.
The rules are the same as those in motion5.02
for details see tablles1-3 of the rationale of motion11
The motion is also confusing about 0. It seems to be sometimes an
interval.
yes I'm sorry
Juergen
--
- Prof. Dr. Juergen Wolff von Gudenberg
o Lehrstuhl fuer Informatik II
/ \ J Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o Tel.: +49 931 / 31 86602 Fax ../31 86603
/ \ Uni E-Mail:wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg