#7325: Sage cannot solve inequalities
----------------------------+-----------------------------------------------
Reporter: robert.marik | Owner: tbd
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.3
Component: algebra | Keywords: relation, symbolics, inequality,
solve
Work_issues: | Author: Robert Marik
Upstream: N/A | Reviewer: Karl-Dieter Crisman
Merged: |
----------------------------+-----------------------------------------------
Comment(by robert.marik):
Replying to [comment:9 mvngu]:
> With the new Maxima spkg and the patch `trac_7325-final.patch`, I got
these failures:
This follows probably from updated version of fourier elimination in
Maxima. The answers are correct and equivalent to previous answers. I
think that it is sufficient to fix the tests and to fix the following
message from solve command
{{{
NotImplementedError: solving only implemented for equalities
}}}
I'll update the patches after testing on 4.3.rc1
what about to replace output of
{{{
solve_ineq(x^2>-1)
}}}
from
{{{
'all'
}}}
to
{{{
x>-Infinity
}}}
?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7325#comment:12>
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.