Changes between Initial Version and Version 1 of Ticket #11506, comment 30
 Timestamp:
 May 21, 2014, 11:03:29 AM (9 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #11506, comment 30
initial v1 10 10 infinity < finite < 0 < +finite < +infinity 11 11 }}} 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 oneelement intervals.] 12 13 13 14 > 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