Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion: No level 3-4 stuff except interchange format



> 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

Michel.
---Sent: 2011-11-19 20:31:12 UTC