Python Sympy не упрощает сложные корни единства ⇐ Python

[Anonymous]

Рассмотрим следующее симпатичное выражение

Код: Выделить всё

(1 - (-1)**(Rational(1,3)) + exp(2*I*pi/3))/(3*(1 + exp(I*pi/3)))

.simplify() и .rewrite(exp) не приводят к тождеству 0.
По сути, функция упрощения не очень хорошо реагирует на сложные корни единицы и немного нестабильна. Есть ли способ сообщить Sympy, что приведенное выше выражение равно 0? или есть способ упростить его до 0?

Подробнее здесь: https://stackoverflow.com/questions/793 ... s-of-unity