#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 kini):
Hm. In order to eventually solve #2778 and other such things, I think we
need to allow nested relations after all. I talked to Burcin on IRC and he
agrees. So we would plan to have all of these return an output which is
the same as the input. If you wanted to force it to resolve, you could run
bool() on them, and you would always get false, except when comparing `x <
y` and `y > x`, `x <= y` and `y >= x`, `x == y` and `y == x`, and `x != y`
and `y != x`, for symbolic expressions `x` and `y` (on kcrisman's
insistence :) ). I'll need to implement this and figure out how it
influences existing doctests (probably severely), so I'm leaving this as
"needs_work" for now...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11309#comment:28>
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.
