#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 tnv):
I am interested in trying this patch but not sure how to apply it
correctly. This is what I did on Sage 5.0 (Mac OS Snow Leopard)
{{{
$ pwd
/Users/tnguyen/Src/Devel/SAGE/sage-5.0/devel/sage
$ sage -hg qimport http://trac.sagemath.org/sage_trac/raw-
attachment/ticket/11309/trac_11309-equate-flipped-comparisons.patch
adding trac_11309-equate-flipped-comparisons.patch to series file
Godel Wed May 30:23:05:42 (4714) ~/Src/Devel/SAGE/sage-5.0/devel/sage
$ sage -hg qpushapplying trac_11309-equate-flipped-comparisons.patch
patching file sage/symbolic/expression.pyx
Hunk #1 FAILED at 1179
Hunk #2 FAILED at 1186
Hunk #3 FAILED at 1204
3 out of 3 hunks FAILED -- saving rejects to file
sage/symbolic/expression.pyx.rej
patch failed, unable to continue (try -v)
patch failed, rejects left in working dir
errors during apply, please fix and refresh trac_11309-equate-flipped-
comparisons.patch
Godel Wed May 30:23:05:51 (4715) ~/Src/Devel/SAGE/sage-5.0/devel/sage
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11309#comment:50>
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.
