假设功能在SymPy中没有完全整合

Question

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

假设积分一个函数

    psi1=A*exp(k1*x) 

从负无穷大到不动点a；除非声明k1为正，否则积分函数不会给出确切的结果。 简单的解决方法是在使用它之前在参数中加上正=True，即

^{pr2}$

{I运行到另一个函数集}

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尚未（尚未）与其他辛集成，因此使用它进行假设不会影响计算。

在符号创建时将假设放置在符号上，例如^{cd1>}，是当前唯一让symphy使用该假设的方法。