Changes between Initial Version and Version 1 of Ticket #11506, comment 30


Ignore:
Timestamp:
May 21, 2014, 11:03:29 AM (9 years ago)
Author:
pbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11506, comment 30

    initial v1  
    1010-infinity < -finite < 0 < +finite < +infinity
    1111}}}
     12[Edit: we don't necessarily have to create a new structure, maybe we can just let the existing infinity ring have such intervals as elements and regard the existing elements as one-element intervals.]
    1213
    1314> Really, the only question right now is whether unbounded intervals ought to coerce into a finite number or infinity. The convention that I chose is where