python - Sympy 因子の結果を比較すると false

Question

Sympy について理解できない問題を見つけました。

なぜこれはfalseを返すのですか...

factor(81*q + 90) == 9*(9*q + 10)

...これはtrueを返しますか？

factor(q**2-64) == (q+8)*(q-8)

入力すると

factor(81*q + 90)

出力はまさにこの式です

9*(9*q + 10)

では、なぜ Sympy は最初の比較が真であると見なさないのでしょうか?

Answer 1

SymPynumber*additionは、 のように を自動的に配布9*(9*q + 10)し81*q + 90ます。factorは、この自動単純化を防ぐトリックを使用します (基本的にはMul(9, 9*q + 10, evaluate=False))。

この自動単純化を削除する未解決の問題がありますが、まだ実装されていません。