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のバグで、これは間違っていますか？

編集： Infinityから正の値に統合することは完全に有効です。 Mathematicaは@BenTに関する私のコメントに書いたとおり、仕事を正しく行う。

Answer 1

これはsympyのバグであることが確認できました。 github（https://github.com/sympy/sympy/issues/13536）に問題を公開しましたが、すぐに解決されます。

Answer 2

これは不適切な積分をどのように設定するかと関係があります。 'a'を正と定義しているので、無限大から正の数へと積分することになります。これは理にかなっていません。

これは、「a」が肯定的な制約を受けていないため、3番目の例が機能する理由です。無限大から負数（3番目の例）、正数から無限大（2番目の例）、または負の無限大から正の 'a'まで、以下のように積分することができます。

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() 

>>>-1/a