#11506: Fix the infinity ring.
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: defect | Status: needs_info
Priority: blocker | Milestone: sage-6.3
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: Volker Braun | Reviewers: Peter Bruin
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/infinity_ring | 3531287276d95f0a60b762c4dc5475bee4860cba
Dependencies: #13125 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
However `cmp` is for totally ordered sets and `RIF` is not, so I don't
trust it here (plus it's deprecated in python3):
{{{
sage: P = Poset([['a', 'b'], []], facade=False)
sage: a = P('a')
sage: b = P('b')
sage: a < b
False
sage: b < a
False
sage: a > b
False
sage: b > a
False
sage: cmp(a, b)
0
sage: a == b
False
}}}
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).
I'd be okay with a big warning in the doc and a printed warning when
coercing (semi)infinity intervals into the infinity ring.
--
Ticket URL: <http://trac.sagemath.org/ticket/11506#comment:49>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
