#7325: Sage cannot solve inequalities
-----------------------------------+----------------------------------------
Reporter: robert.marik | Owner: tbd
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.3.2
Component: algebra | Keywords: relation, symbolics,
inequality, solve
Author: Robert Marik | Upstream: N/A
Reviewer: Karl-Dieter Crisman | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
Changes (by kcrisman):
* status: needs_review => needs_work
Comment:
Hmm, weird in line 5932 (the log(x) log(y) solving inequality) I get a
doctest error, where instead of three conditions, I get the (simpler)
equivalent two conditions 0<y, y<x or whatever. If I instead add the
condition [y,x], I get the result in the doctest, while [x,y] gives the
result that is documented for [x,y]. The same happens on the one with the
min in the same doctests. Could the reason be the same as you mentioned
above (changes in the fourier_elim, yet again), or perhaps truly a
platform issue (I am on Macintel)?
Aargh, it was so close! But I am sure this can be easily resolved. I do
like the way you dealt with the "or" things, by the way. It would be nice
to wrap that for understanding general Maxima results (like from
to_poly_solve), obviously not in this ticket.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7325#comment:26>
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.
