#11309: Sage sees -x +y > 0, -y + x >= 0, and x -y > 0 as equivalent
---------------------------------------------------+------------------------
Reporter: tnv | Owner: burcin
Type: defect | Status:
needs_work
Priority: major | Milestone:
sage-4.7.1
Component: symbolics | Keywords:
inequality equality relational sd31 __richcmp__
Work_issues: | Upstream: N/A
Reviewer: Karl-Dieter Crisman, ThanhVu Nguyen | Author: Keshav
Kini, Burcin Erocal
Merged: | Dependencies:
---------------------------------------------------+------------------------
Comment(by burcin):
Replying to [comment:26 tnv]:
> From your msg, would it be reasonable to add a SMT theorem prover
package to Sage ? So that it can show equivalence of expressions (at
least under some specific theories).
Sage is really large as it is. While I'd be really interested to have this
capability in Sage, I don't know how many others would want it in the
standard distribution. The first step is to start with an optional
package/prototype. We can see where it goes from there. :)
Which prover are you thinking of? What would this let us do in Sage?
Perhaps you should write a message to sage-devel about this.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11309#comment:30>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
