检查一个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!') 

Answer 1

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

(expr1 - expr2).is_constant() 

True