SymPy：式がリストに含まれていると、 `solve`が失敗することがあるのはなぜですか？

Question

SymPy documentation on solveによれば、最初の引数があることができる。ゼロでなければならない

• 単一Exprに又はポリは、
• 平等
• 一方の関係式またはブール
• 反復可能上記のうちの1つ以上

ただし、時にはsolve(equation, x)または​​の場合は違いがあります。 [equation]はequationの繰り返しでなければなりません。そして、なぜそれが時々問題になるのか、本当に混乱しています。

あなたは、次のMCVEに私の問題を見ることができます：

from sympy import * 
x, y = symbols("x y") 

def test_sympy_solve(equation): 
    print("For given equation", equation, "...") 
    print("... solve(equation, x) finds", len(solve(equation, x)), "solutions") 
    print("... solve([equation], x) finds", len(solve([equation], x)), "solutions\n") 

test_sympy_solve(Eq((x + 1)**2 - 1, y)) 
test_sympy_solve(Eq((x + 1)**3 - 1, y)) 

出力は次のとおりです。

For given equation Eq((x + 1)**2 - 1, y) ... 
... solve(equation, x) finds 2 solutions 
... solve([equation], x) finds 2 solutions 

For given equation Eq((x + 1)**3 - 1, y) ... 
... solve(equation, x) finds 3 solutions 
... solve([equation], x) finds 0 solutions 

Eq((x + 1)**2 - 1, y)はEq((x + 1)**3 - 1, y)にはない2つの解に両方の時間を取得します。何が起きてる？

Answer 1

バグかもしれません。 SymPyの問題追跡ツールに問題を提出しました。#12326

私はこの回答を更新しておきます。