#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):
Replying to [comment:47 rws]:
> 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
It will never be ''correct'' in the sense that you can rely on it in
mathematical algorithms, since the zero test for constant symbolic
expressions is undecidable. At best it will be a nice and natural print
order. Which is not a bad thing, but I don't understand if that's the goal
of this ticket (and, if not, what the goal is).
--
Ticket URL: <http://trac.sagemath.org/ticket/16397#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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
