Question on Motion 11
On pages 1,2, and 3 definitions of reverse operations are given for
intervals of \overline{IR}. In the tables on pages 4 - 9 intervals are
of \overline{IF}.
Question: Can the tables be compactified by just listing the subset of
rules for intervals of IF (closed and bounded real intervals with
floating-point bounds)?
Assumption: Operations for unbounded intervals of \overline{IF} can be
performed by using the formulas for intervals of IF if a few formal
rules for operations with -oo and +oo are applied (see Motion 5). These
rules are well established in real analysis and IEEE 754 provides them
anyway.
Best regards
Ulrich Kulisch