python - 比较数字的范围 SymPy

Question

我在 SymPy 中遇到问题。我解决了一个不等式，我需要检查解决方案是否在某个范围内。

例如，如果我想解决不等式 sympy.solve(x**3 > 0) , (将返回 (0 < x) & (x < oo) )，如果求解函数返回 (0 > x) & (x > -oo)，我想返回 true ，它将返回 false，因为这两个范围不相等。

Answer 1

单变量关系可以转换为集合，您可以检查集合交集。如果交集不等于任何一个集合，则两个集合都不包含在另一个集合中:

>>> a, b = (0 < x) & (x < oo), (0 > x) & (x > -oo)
>>> sa = a.as_set(); sb = b.as_set()
>>> sa
Interval.open(0, oo)
>>> sa.intersection(sb)
EmptySet

因为根本没有交集，所以这些集合一定是不同的。

这是存在重叠(包含)的情况:

>>> Interval(1, 3).intersection(sa)
Interval(1, 3)