#16397: Symbolic cmp
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner:
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-7.1
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: Volker Braun, | Reviewers: Ralf Stephan
Ralf Stephan | Work issues:
Report Upstream: N/A | Commit:
Branch: public/16397-1 | 07f12cdfd14f3a7af5445aab7419c0ddaea1074d
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by mmezzarobba):
I don't understand what you are trying to do here, can someone please
explain?
(In my understanding, calling `cmp` means you are asking for a ''total''
order on the elements of the parent where the comparison ends up taking
place. As most parents don't admit such an order that is compatible with
their structure, it is a bug to call `cmp` and expect a mathematically
meaningful answer. In contrast, it is perfectly okay for `cmp` to
implement any arbitrary total order, provided that rich comparisons are
implemented too. And it is acceptable, though not ideal due to the issues
with Python3, to call `cmp ` when you need to sort elements in an
arbitrary way.)
--
Ticket URL: <http://trac.sagemath.org/ticket/16397#comment:46>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
