#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 rws):
At the moment there is one total order (print, mathematically wrong both
in expressions with and without variables). Total math order OTOH is slow
because of proving and undecidable. It is possible to have two total
orders side-by-side where one half (within the set of expressions without
variables) is fast, correct, and meaningful; and print order (within and
with the set of expressions with variables) is fast as usual.
It is needed because `cmp` is used in Sage to sort expressions in a
meaningful way, contrary to what you state.
--
Ticket URL: <http://trac.sagemath.org/ticket/16397#comment:47>
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.
