SymPy 在处理扩展实数域（含无穷大）的符号不等式时，可能过早求值为 BooleanTrue/BooleanFalse，导致本应保持未定（symbolic）的比较被错误判定；正确做法是禁用自动简化或显式构造关系表达式以保留不确定性。
sympy 在处理扩展实数域（含无穷大）的符号不等式时，可能过早求值为 `booleantrue`/`booleanfalse`，导致本应保持未定（symbolic）的比较被错误判定；正确做法是禁用自动简化或显式构造关系表达式以保留不确定性。
在 SymPy 中，符号 y 若声明为 extended_nonnegative=True 且 finite=False，其语义表示 y ∈ [0, +∞]（即包含正无穷）。然而，默认行为下，像 y 或 <code>y > 19 这类不等式并非返回未求值的关系对象（如 StrictLessThan），而是直接简化为 BooleanFalse 或 BooleanTrue —— 这看似“确定”，实则违背数学逻辑：因为 y 可能取有限值（如 20），也可能取 oo，故 y 应为<strong>不确定（unknown）</strong>，而非 <code>False。
根本原因在于：SymPy 的假设系统（assumptions）在关系运算中优先启用启发式简化规则，而 extended_nonnegative 假设隐含 y.is_infinite is None（非确定），但 y 却被错误地等价于 <code>Not(y >= oo)，再结合 y.is_extended_real 和 oo 的特殊性，最终触发了过度简化。
✅ 正确做法：避免依赖自动比较，改用显式构造 + 禁用简化
import sympy as sp
y = sp.symbols("y", finite=False, extended_nonnegative=True)
# ❌ 错误：直接比较会强制求值（丢失不确定性）
print(y < sp.oo) # BooleanFalse — 不符合预期
print(y > 19) # BooleanTrue — 不符合预期
# ✅ 正确：显式构造关系表达式，不触发自动简化
lt_expr = sp.Lt(y, sp.oo) # y < oo → StrictLessThan(y, oo)
gt_expr = sp.Gt(y, 19) # y > 19 → StrictGreaterThan(y, 19)
print(lt_expr) # y < oo
print(gt_expr) # y > 19
print(type(lt_expr)) # <class 'sympy.core.relational.StrictLessThan'>
print(type(gt_expr)) # <class 'sympy.core.relational.StrictGreaterThan'>
# ✅ 验证：它们既不是 Python bool，也不等于 True/False
print(lt_expr is True) # False
print(lt_expr is False) # False
print(sp.simplify(lt_expr)) # 仍为 y < oo（除非添加更强假设）⚠️ 注意事项：
-
BooleanTrue/BooleanFalse是 SymPy 的符号布尔常量，与 Python 的True/False类型不同（isinstance(..., bool)返回False），不可用于if条件判断； - 若需在逻辑推导中保留不确定性，应始终使用
sp.Lt,sp.Gt,sp.Le,sp.Ge显式构造，而非y 这类运算符重载形式； -
y.is_infinite返回None（非True/False），表明 SymPy 认为其无穷性未知 —— 这正是应保持不等式未求值的理论依据； - 如需后续求解或化简，可配合
sp.ask()（如sp.ask(sp.Q.lt(y, sp.oo), assumptions=...)），但需注意其支持范围有限，对oo相关断言常返回None。
总结：SymPy 的设计目标是符号计算的严谨性，而非直觉上的“真值判断”。当涉及扩展实数（-oo, +oo）时，必须主动规避 Python 比较运算符的隐式求值陷阱，转而使用底层关系类构造，才能真正实现“不确定即保留”的符号逻辑语义。
