如何简化sympy中指数的对数？

Question

当我打字

import sympy as sp
x = sp.Symbol('x')
sp.simplify(sp.log(sp.exp(x)))

我得到

log(e^x)

代替x 。 我知道此功能“没有保证”。

题。 是否有某种特定的简化（通过级数展开或其他方式）将指数的对数转换为恒等函数？

Answer 1

您必须将x设置为实型，您的代码才能正常工作：

import sympy as sp
x = sp.Symbol('x', real=True)
print(sp.simplify(sp.log(sp.exp(x))))

输出： x 。

对于复数x ，此公式的结果并不总是等于x 。 例子在这里 。

Answer 2

如果要强制进行简化，则expand会有所帮助，因为它提供了force关键字，该关键字基本上为您做出了这样的假设，而无需将变量声明为实数。 但是要小心结果-如果不保证这些假设，您将不想使用它。

>>> log(exp(x)).expand(force=True)
x