Sympy Typeerror：无法确定关系的真值如何确保 x > 0

如何解决Sympy Typeerror：无法确定关系的真值如何确保 x > 0

对于 x1 的每个正值，我想检查 6**x1 是否大于 0。我正在使用 sympy。

我做了以下事情：

x1 = sm.symbols('x_1',nonnegative=True)
u = 6**x1

def checker(func):
   if u > 0:
      return True
   else:
      return False

但是，我收到错误：

TypeError: 无法确定 Relational 的真值

我认为这是因为函数不知道 x1 是正数。但是我如何确保它知道这一点？显然，仅使用 sm.symbols 定义还不够。

斑马线

解决方法

SymPy 仅让您将可以计算为具有文字 >（和类似内容）的数字的事物进行比较。如果您想对符号表达式进行查询，请使用 expr.is_positive 或 (expr.is_extended_positive 如果您也想考虑 oo)。

>>> u.is_positive
True

这也可以是 None 或 False。当无法做出明确决定时，不会返回 None，例如symbols('x').is_positive is None -> True。