#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 robert.marik):
In fact, #9835 is sufficient to solve this problem. The patch #9961 which
is on the top of #9835 is not necessary. For the problem from the
description we have with #9835:
{{{
ma...@um-bc107:/opt/sage$ ./sage
----------------------------------------------------------------------
| Sage Version 4.5.3, Release Date: 2010-09-04 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: x = var('x')
sage: k = var('k')
sage: y = function('y',x)
sage: assume(k>0)
sage: desolve(diff(y,x,x)+k*y-exp(-k*x),[y,x])
k1*sin(sqrt(k)*x) + k2*cos(sqrt(k)*x) + e^(-k*x)/(k^2 + k)
sage:
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9710#comment:3>
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.
