转换 dsolve 输出以解决它以获得 sympy 中的值

converting dsolve output to solve it for a value in sympy

我有

import sympy as sm

x = sm.symbols('x', cls=sm.Function)
t = sm.symbols('t')
expr = x(t).diff(t) + 0.05*x(t)
sol = sm.dsolve(expr,x(t), ics = {x(0):25})

现在我有了关系平等的解决方案。现在我想解决 x = 1 的 t。我做不到 s = sm.Eq(x,-1)sm.solve(s,t) 作为 s returns False

想通了。这很简单。 x.rhs 可用于创建方程以求解 t。

equation = sm.Eq(sol.rhs,1) 
sm.solve(equation,t)

给出结果 t ~ 64.38