Question

当我使用sympify解析带有大于运算符的表达式时，我得到一个以StrictGreaterThan为根的表达式。但是，替换==运算符，sympify会将表达式计算为布尔值False。如何使用==来评估表达式，以便像使用>运算符一样得到一般表达式？

from sympy import *

In [2]: s1 = 'a - 4 > b + 5'

In [3]: expr1 = sympify(s1)

In [4]: type(expr1)

Out[4]: sympy.core.relational.StrictGreaterThan

In [5]: s2 = 'a - 4 == b + 5'

In [6]: expr2 = sympify(s2)

In [7]: type(expr2)

Out[7]: bool

Answer 1

我在使用sympy时解决这个问题的一种方法是将RHS带到LHS然后同意（）字符串。
即将LHS == RHS更改为LHS - RHS

exprStr =  'a - 4 == b + 5'
indOfEq = exprStr.find('==')
if indOfEq != -1:
   splitExpr  = exprStr.split('=')
   if len(splitExpr)==2:
      exprStr = splitExpr[0]+'-('+splitExpr[1]+')'
expr2 = sympify(exprStr )

Answer 2

如http://docs.sympy.org/dev/gotchas.html中所述，

双等号（==）用于测试相等性。但是，这个准确地测试表达式，而不是象征性的。

您可以使用sympy.Eq，如

In [54]: sympy.Eq(sympy.abc.a - 3, sympy.abc.b + 5)
Out[54]: a - 3 == b + 5

In [55]: sympy.GreaterThan(sympy.abc.a - 3, sympy.abc.b + 5)
Out[55]: a - 3 >= b + 5

无论如何，这看起来确实不一致。

在使用关系运算符计算表达式时，使用不一致的行为

2 个答案: