Sympy Absolutwert von komplexen Exponential

Question

Wenn ich mit komplexen Zahlen in polarer Form arbeite, habe ich ein seltsames Verhalten erlebt. Zum Beispiel tut

from sympy import * 
simplify(Abs(exp(I))) 

Ich würde das Ergebnis 1 erwarten, da der Absolutwert eines komplexen exponentiellen immer sein soll, wenn der Exponent nur imaginär. Allerdings gibt sympy als Antwort

Abs(exp(I)) 

Doing die alternativen

phi=symbols('phi', real=True) 
y=exp(I*phi) 
sqrt(y*conj(y)) 

das erwartete Ergebnis liefert, ist jedoch weniger klar als abs meiner Meinung nach. Habe ich eine Einschränkung übersehen, die verhindert, dass Sympy diese Vereinfachung durchführt, wenn man nur Bauchmuskeln benutzt?

Answer 1

simplify könnte definitiv schlauer darüber sein.

Im Allgemeinen, um die Dinge mit komplexen Zahlen zu vereinfachen, verwenden expand_complex, die den Ausdruck als a + b*I neu zu schreiben versucht, wo a und b real sind. Das funktioniert für mich.

In [17]: (abs(exp(I))).expand(complex=True) 
Out[17]: 
    ___________________ 
    ╱ 2   2 
╲╱ cos (1) + sin (1) 

In [18]: simplify(abs(exp(I)).expand(complex=True)) 
Out[18]: 1