Sympy复指数的绝对值

Question

当处理极地形式的复数时，我经历了一种奇怪的行为。例如，做

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

我希望结果为1，因为如果指数只是虚数，复指数的绝对值应该总是1。然而，sympy给出了答案

Abs(exp(I))

做另类

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

给出了预期的结果，但在我看来不如abs。我是否错过了一些限制因为只使用abs？

会阻止syy执行此简化

Answer 1

simplify绝对可以更聪明。

通常，为了简化使用复数的事情，请使用expand_complex，尝试将表达式重写为a + b*I，其中a和b是真实的。这适合我。

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