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


Ignore:
Timestamp:
May 23, 2014, 8:36:24 PM (9 years ago)
Author:
tscrim
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11506, comment 49

    initial v1  
    1717False
    1818}}}
    19 So what's happening is in `cmp(a, b)`, because neither `a` is less/greater than `b` nor vice versa, it's saying they must be equal (i.e. because it is supposed to be a totally ordered set).
     19So what's happening is in `cmp(a, b)`, because neither `a` is less/greater than `b` nor vice versa, it's saying they must be equal (because it is supposed to be a totally ordered set).
    2020
    2121I'd be okay with a big warning in the doc and a printed warning when coercing (semi)infinity intervals into the infinity ring.