#6515: assume doesn't interact well with solve
----------------------+-----------------------------------------------------
Reporter: robertwb | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.1
Component: calculus | Keywords:
Reviewer: | Author:
Merged: |
----------------------+-----------------------------------------------------
This has been brought up several times on the mailing lists. As a specific
example
{{{
sage: assume(x>0)
sage: solve([x^2-1],x)
[x == -1, x == 1]
}}}
At the very least, we could probably filter out the "solutions" that
violate the assumptions.
{{{
sage: [all(a.subs(s) for a in assumptions()) for s in solve(x^2-1==0, x)]
[False, True]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6515>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
