#9710: Assumptions not passed to differential equation solver
------------------------+---------------------------------------------------
Reporter: kedlaya | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone:
Component: calculus | Keywords: differential equations, assumptions
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------+---------------------------------------------------
Comment(by kedlaya):
Observed later: ticket #8931 is similar, possibly enough so for this to be
considered a duplicate. Also, I misread the documentation:
{{{
This equation can be solved within Maxima but not within Sage. It
needs assumptions assume(x>0,y>0) and works in Maxima, but not in
Sage:
sage: assume(x>0) # not tested
sage: assume(y>0) # not tested
sage: desolve(x*diff(y,x)-x*sqrt(y^2+x^2)-y,y,show_method=True)
# not tested
}}}
So no promise is being made, but nonetheless I think this needs to be
fixed.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9710#comment:1>
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.
