SymPy积分限制错误：TypeError：一元运算符“-”的操作数类型不正确：“元组”

Question

以下是代码：

from sympy import *
r = Symbol('r', real=True, positive=True)
a = Symbol('a', real=True, positive=True)
Integral(1/r**2,(r,oo,a)).doit()

导致错误发生

TypeError: bad operand type for unary -: 'tuple'    

而

-Integral(1/r**2,(r,a,oo)).doit()

下面是等价于上述积分的公式，可以给出正确的结果：-1/a。

此外，降低对a定义域的限制也是可行的。

r = Symbol('r', real=True, positive=True)
a = Symbol('a')
Integral(1/r**2,(r,oo,a)).doit()

这样做也可以得到正确的结果。

这是sympy的错误还是其他问题？

编辑：从正无穷积分到正数是完全有效的。就像我在回复@BenT的评论中所写的那样，Mathematica完成了这项工作。

- M. Heuer

Answer 1

我可以确认这是 sympy 中的一个bug。 我在他们的github上开了一个issue (https://github.com/sympy/sympy/issues/13536)，这个问题很快就会得到解决。

- M. Heuer