无法确定关系的真值：符号区间

Question

我正在尝试使用 sympy 符号解决不平等问题，但我无法为我的符号设置间隔，有没有办法做到这一点？？？

import sympy as sy
p = sy.Symbol("p") # 0 < p < 1
f = p**2-1
if f < 0:
    print("f is negative")

Answer 1

如果您将x替换为具有您感兴趣的范围的表达式，那么您可以看到关系为真：

>>> from sympy import var, cancel, bottom_up
>>> var('x')
x
>>> var('eps', positive=True)
eps
>>> eq=x**2-1<0
>>> eq.subs(x,1/(1+eps))
-1 + (eps + 1)**(-2) < 0
>>> bottom_up(_, cancel)
True