检查一个Sympy表达式是否可以简化为一个常数。

Question

在Sympy中，有没有一种方法可以检查两个表达式是否仅相差一个常数？换句话说，是否有类似于is_constant()函数的东西？

我的最小工作示例：

from sympy import symbols, simplify
x,y = symbols('x y')
expr1 = x+y+1
expr2 = x+y+3
if is_constant(simplify(expr1 - expr2)):
    print('expr2 is just expr1 added to a constant!')

- Vaibhav Karve

Answer 1

你可以使用 Sympy 对象的 is_constant() 方法。例如，

(expr1 - expr2).is_constant()

真

- Stelios