简化删除 Sympy 中的关系术语？

Question

我正在尝试使用 sympy 简化表达式，但关系术语似乎消失了。一个玩具示例如下：

import sympy
from sympy import *
x = Symbol('x')
y = Symbol('y')
z = Symbol('z')

如果我跑：

z * Eq(x, y)

那么输出是：

z*(x == y)

但如果我尝试使用以下方法简化此操作：

simplify(z * Eq(x, y))

那么输出是：

z

我没想到 - 我应该期待这种行为吗？如果是，有什么方法可以防止简化删除关系术语？

谢谢。

Answer 1

不能将逻辑和算术运算结合起来进行此类运算。

假设：

from sympy import *
x, y, z = symbols('x y z')
f = symbols('f', cls=Function)

算术运算：

xeqy = Piecewise((1,Eq(x,y)),(0,True)) # {1 for x = y, 0 otherwise}
f = z * xeqy                           # {z for x = y, 0 otherwise}
simplify(f)

逻辑运算：

f = And(z,Eq(x,y))                     # z ∧ (x = y)
simplify(f)