#11309: Sage sees - x + y > 0, - y + x >= 0, and x - y > 0 as equivalent
--------------------------------------------------------------------------+-
Reporter: tnv |
Owner: burcin
Type: defect |
Status: positive_review
Priority: major |
Milestone: sage-5.1
Component: symbolics |
Resolution:
Keywords: inequality equality relational sd31 __richcmp__ sd40.5 |
Work issues:
Report Upstream: N/A |
Reviewers: Karl-Dieter Crisman, ThanhVu Nguyen
Authors: Keshav Kini, Burcin Erocal |
Merged in:
Dependencies: |
Stopgaps:
--------------------------------------------------------------------------+-
Comment (by ppurka):
Replying to [comment:50 tnv]:
> I am interested in trying this patch but not sure how to apply it
correctly.
You need to apply both the patches ''in the order mentioned in the
description of this ticket''. Try these commands (assuming you are in
devel/sage)
{{{
../../sage -hg qimport -P http://trac.sagemath.org/sage_trac/raw-
attachment/ticket/11309/trac_11309-fix-comparison-of-comparisons.patch
../../sage -hg qimport -P http://trac.sagemath.org/sage_trac/raw-
attachment/ticket/11309/trac_11309-equate-flipped-comparisons.patch
../../sage -br
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11309#comment:51>
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.
