Re: Motion P1788/M0043.01Div2Pair-- discussion period begins
The case where a and/or b is Empty is missing. In such a case, the
result shall be (Empty,Empty).
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 motion is also confusing about 0. It seems to be sometimes an
interval.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)