#7325: Sage cannot solve inequalities
-----------------------------------+----------------------------------------
Reporter: robert.marik | Owner: tbd
Type: enhancement | Status: needs_review
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: |
-----------------------------------+----------------------------------------
Comment(by kcrisman):
Robert,
Overall this is really good now. One possible thing is what the best way
to implement the checking for whether things are already loaded - I have
no idea whether this is more efficient than before or not, truthfully, I
probably should have brought it up. The other is that usually one imports
maxima from sage.calculus.calculus and then one doesn't have to always
check the parents. But since this is new code and not slowing down old
code, that can wait - it's really time we have this.
I am still waiting for 4.3.1 to make check on my dev machine, but once it
does I will try this out once again and add a tiny reviewer patch - there
is a one-character typo, for instance. Thanks for all your hard work on
this!
Replying to [comment:24 robert.marik]:
> Just for the record: the problem related to inequality
> {{{
> sage:(x^4+2>0).solve(x)
> [[x > -(-1)^(1/4)*2^(1/4), x < (-1)^(1/4)*2^(1/4)]]
> }}}
> is caused by a known
[http://sourceforge.net/tracker/?func=detail&aid=2786017&group_id=4933&atid=104933
bug] in algsys and should be fixed
[http://thread.gmane.org/gmane.comp.mathematics.maxima.general/29593
soon].
Can you open a ticket for this and put it as "Reported upstream, " etc.?
Even though it's not a Sage bug, we might as well track it - I don't see
the need to upgrade Maxima every time they fix a minor bug that affects
Sage, but if there is a ticket for it then when there are enough such
tickets that are resolved upstream we will see the need to upgrade.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7325#comment:25>
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.
