sympy - 如何告诉Sympy一个符号是 "greater than other"

Question

假设我有两个符号

x,y=symbols('x y')

我的目的是告诉Sympy，x总是大于y(x> y)。有什么办法可以做到这一点？

Answer 1

无法直接执行此操作。 assumptions module不支持关系，并且无论如何还没有与SymPy的其余部分集成，因此，假设它不会帮助您简化积分。

解决方法是引入一个表示两个符号差异的符号，并将其声明为正数。例如，

y = symbols('y')
p = symbols('p', positive=True)
x = y + p

现在，SymPy知道x> y:

>>> (x > y).simplify()
True

这在涉及x的计算中有多有用，取决于执行 .subs(x, y + p)是否会将其转变为简化的东西。

与 here一样，直接用True或False替换条件通常更容易。