#7325: Sage cannot solve inequalities
-----------------------------------+----------------------------------------
Reporter: robert.marik | Owner: tbd
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.2.1
Component: algebra | Keywords: relation, symbolics,
inequality, solve
Work_issues: | Author: Robert Marik
Reviewer: Karl-Dieter Crisman | Merged:
-----------------------------------+----------------------------------------
Changes (by kcrisman):
* status: needs_review => needs_work
Comment:
#1163 has now been updated to parse not equal, at least hopefully;
ideally, this patch would be able to use that - or one could open a new
ticket.
As for the current patch, it is a vast improvement on the previous one for
readability. There are still a few formatting things - for INPUT and
OUTPUT I think only : is needed, not ::, for instance. For
solve_ineq_univar and solve_ineq_fourier, the output should probably be
formatted as a list, like the input is. The input in solve_ineq (one
could say, "an inequality or list of inequalities" or something like that)
should not make it look like one can put in ineq twice.
Perhaps this should come with a new Maxima spkg? It does not pass tests
upon being applied to 4.2.1.alpha0, and this is a prerequisite for
inclusion of a patch. However, probably this only requires a change to
the spkg by applying the patch mentioned above - in fact, the current
Maxima has a (now unnecessary, as it happens) patch on it too, and so
probably one can follow that example for how to get them to apply that way
(rather than packaging up a whole new one). See the
[http://www.sagemath.org/doc/developer/ Sage developers' guide],
especially the part about
[http://www.sagemath.org/doc/developer/producing_spkgs.html#creating-a
-new-spkg-file new spkgs].
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7325#comment:5>
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
-~----------~----~----~----~------~----~------~--~---
