#7660: arithmetic with inequalities confusing
-------------------------------------+-------------------------------------
Reporter: burcin | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone: sage-6.2
Component: symbolics | Resolution:
Keywords: inequality, | Merged in:
solver, maxima | Reviewers:
Authors: | Work issues: fix bug
Report Upstream: N/A | Commit:
Branch: u/rws/ticket/7660 | d2801be816c9c0ea801f760b762d3c47f1b8c45b
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by rws):
* work_issues: => fix bug
Comment:
Here are the statements sent via `maxima_eval("#$%s$"%statement)`:
Before:
{{{
sage: solve(-(x > 1),x)
sage0 : (x)*(-1) > -1
sage1 : solve_rat_ineq(sage0)
_tmp_ : sage1
kill(sage1)
kill(sage0)
[[x < 1]]
}}}
After:
{{{
sage: solve(-(x > 1),x)
sage12 : (x > 1)*(-1) = 0
sage13 : x
sage14 : solve(sage12,sage13)
kill(sage13)
kill(sage14)
_tmp_ : [x>1=0] <---------?
kill(sage12)
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/7660#comment:18>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
