Re: Motion: No level 3-4 stuff except interchange format
Michel, Ulrich, P1788
On 19 Nov 2011, at 20:23, Michel Hack wrote:
>> Yes, Michel, you are right. I am sorry for the mistake.
>> The intention was just to exclude [-oo, -oo] and [+oo, +oo] ...
>
> Don't be sorry -- you are right too! John's specification was in fact
> incomplete:
>
>>> That is, the nonempty members of T comprise all
>>> intervals xx=[xlo,xhi], where xlo and xhi are F-numbers.
>
> What's missing is: ... and xlo is not +oo, and xhi is not -oo
> Kaucher enthusiasts may scream if we add: and xlo <= xhi
Yes indeed, sorry to be careless. Another friendly amendment.
John