python - SymPy简化关系(不等式)表达

为什么以下简化不起作用，或者如何解决？

>>> x = Symbol('x', real=True)
>>> y = Symbol('y', real=True)
>>> simplify(x - 1 < y - 1)
x - 1 < y - 1

但这有效：

>>> simplify(x - 1 - (y - 1) < 0)
x - y < 0

可以将第一个表达式简化为x < y吗？

谢谢

最佳答案

您可以solve for x：

import sympy as sy
x, y = sy.symbols('x,y', real=True)
print(sy.solve(x - 1 < y - 1, x))

产量

x < y

x, y, z = sy.symbols('x,y,z', real=True)
print(sy.solve(x - 1 < y*z - 1, x))

产量

x < y*z

关于python - SymPy简化关系(不等式)表达，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/27825581/