如何告诉Sympy一个符号“大于其他”

Question

假设我有两个符号

x,y=symbols('x y')

我的目标是告诉Sympy x总是大于y（x> y）。有没有办法实现这个目标？

Answer 1

没有办法直接这样做。 assumptions module不支持关系，并且它还没有（还）与SymPy的其余部分集成，所以它的假设不会帮助你，比如简化积分。

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

Access-Control-Allow-Origin: *

现在SymPy知道x＆gt; Y：

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

这在涉及x的计算中有多大用处取决于执行>>> (x > y).simplify() True 是否会将其转化为简化的内容。

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