Re: Motion: No level 3-4 stuff except interchange format
Ulrich Kulisch wrote:
> -oo and +oo are elements of all F formats.
> So in the last paragraph it should read:
> where xlo and xhi are finite F-numbers.
Note that John Pryce had written:
>> That is, the nonempty members of T comprise all
>> intervals xx=Ýxlo,xhi¨, where xlo and xhi are F-numbers.
I thought we WERE supporting unbounded intervals, and those are denoted
by having IEEE Inf as endpoints. A separate motion restricts MEMBERSHIP
to finite numbers, which means that infinite endpoints are not included,
whereas finite endpoints are included. Topologically both interval types
are closed.
Michel.
---Sent: 2011-11-18 17:33:21 UTC