python - 假设函数未完全集成到 SymPy 中

Question

我在使用 python SymPy 包做作业时遇到了问题。

假设集成一个函数

    psi1=A*exp(k1*x) 

从负无穷大到固定点a；除非声明 k1 为正，否则积分函数不会给出准确的结果。简单的解决方案是在使用参数之前将 Positive=True 放入参数中，即

    Symbol(k0,positive=True).

但是，我遇到了另一组名为 assumptions module 的函数

Assumptions module和 Assuming functions这是安静的权力语法。但问题是，如果我在上述方法中声明 k1 为正，即

 global_assumptions.add(Q.positive(k1))

或

 with assuming(Q.positive(k1)):

整合

 integrate(psi1,(x,-oo,a))

无法计算出准确的结果。我尝试使用 .evalf() 但它仍然不起作用。

Answer 1

"new" assumptions module尚未与 SymPy 的其余部分集成，因此使用它进行假设不会影响您的计算。

在创建符号时对其进行假设，例如 Symbol(k0, Positive=True)，是目前 SymPy 使用该假设的唯一方法。