#14229: Remove vacuous solutions from solve
-------------------------------+--------------------------------
Reporter: ppurka | Owner: burcin
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.3
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues: port to upstream
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+--------------------------------
Comment (by nbruin):
These vacuous solutions seem to arise from the fact that solving
inequalities with `domain: complex` gives some problems, which is to be
expected. So rather than trying to clean up the mess afterwards, we should
find a way of setting `domain: real` in maxima before solving
inequalities:
{{{
sage: sage: x,y = var('x,y')
sage: maxima_calculus("domain: real")
real
sage: sage: solve([x^2*y^2 <= x^2*y, x^2*y^2 > x^2*y],[x,y])
[]
}}}
See [https://groups.google.com/d/msg/sage-devel/QLEFLgkuXRg/MzEqI2na8xwJ
sage-devel] too.
--
Ticket URL: <http://trac.sagemath.org/ticket/14229#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 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.
