我使用sympy来处理涉及无限值的符号数学。我需要定义一个符号

Question

import sympy

y = sympy.symbols("y", finite=False, extended_nonnegative=True)

print(y >= 0)          # True (as expected)
print(y < sympy.oo)    # False (should be uncertain)
print(y > 19)          # True (should be uncertain)

如何确保未评估最后两个比较？
    

从

docs

当不平等不确定时：我们得到了一个strictgreatthan的实例，该实例代表不等式为符号表达式。

Answer 1

指

x = Symbol('x')

type(x > 0)
<class 'sympy.core.relational.StrictGreaterThan'>

在这种情况下，它返回

type(y < 19)
<class 'sympy.logic.boolalg.BooleanFalse'>

这不是Python的

False

，而是Synspy的象征性布尔。

>>> (y < 19) is False
False