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

本文介绍了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