#7660: arithmetic with equations and inequalities confusing
-------------------------------------+-------------------------------------
Reporter: burcin | Owner: burcin
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: symbolics | Resolution:
Keywords: inequality, | Merged in:
solver, maxima | Reviewers:
Authors: Burcin Erocal, | Work issues:
Ralf Stephan | Commit:
Report Upstream: N/A | 14ede75c5f56554ef9e61c094d3bb4e971280314
Branch: public/7660 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by rws):
* status: needs_work => needs_review
* commit: 30cc86077172f9e57c6b5df06b40158e17e2320d =>
14ede75c5f56554ef9e61c094d3bb4e971280314
Comment:
Since the `f()` stuff requires changes in function base classes, and
assumptions are also an involvement, I'll leave both to followup tickets.
Please review.
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=855fba8bebc0f025c7f0c0890a58eaf7cb6075e5
855fba8]||{{{7660: power of inequality no longer distributes over
sides}}}||
||[http://git.sagemath.org/sage.git/commit/?id=47251f292b7f1a6be8ddbc17b57292c314ab3994
47251f2]||{{{7660: switch inequality sign with negative reals, False if
zero; provide original behaviour in mul/div_both_sides()}}}||
||[http://git.sagemath.org/sage.git/commit/?id=efeab1c497e4d5dbe60851727654212411912fa8
efeab1c]||{{{7660: same with division}}}||
||[http://git.sagemath.org/sage.git/commit/?id=14ede75c5f56554ef9e61c094d3bb4e971280314
14ede75]||{{{7660: add errors; fix some doctests}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/7660#comment:41>
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/d/optout.
