python - 为什么 SymPy 不理解日志产品

Question

为什么以下返回 False？

import sympy as sp

x = sp.Symbol('x')
y = sp.Symbol('y')

sp.log(x*y) == sp.log(x) + sp.log(y)

Answer 1

此规则有一个基本假设，即您的变量为正。如果未指明，SymPy 将不会(正确地)执行此简化。

为了让 SymPy 清楚这个假设，

x = sp.Symbol('x', positive=True)
y = sp.Symbol('y', positive=True)

现在read this Q/A on equality in SymPy看看您应该在比较中简化。

>>> sp.simplify(sp.log(x*y) - (sp.log(x) + sp.log(y))) == 0
True