Сравнение результатов фактора Симпи ложно

Question

Я обнаружил проблему с Sympy, которую не могу понять.

Почему это возвращает ложь...

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

... пока это возвращает истину?

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

Когда я печатаю

factor(81*q + 90)

вывод именно это выражение

9*(9*q + 10)

Итак, почему Sympy не считает мое первое сравнение верным?

Answer 1

SymPy автоматически раздает number*addition, лайк 9*(9*q + 10) в 81*q + 90, factor использует трюк, чтобы предотвратить это автоматическое упрощение (в основном, Mul(9, 9*q + 10, evaluate=False)).

Существует открытая проблема, чтобы удалить это автоматическое упрощение, но оно еще не было реализовано.

Answer 2

Из документов

Вы можете сделать следующее:

factor(81*q + 90).equals(9*(9*q + 10))