为什么我使用SymPy的parse_expr会得到这样的结果

Question

我写了以下代码：

simplification = parse_expr(str_expression, evaluate=True)
expression = parse_expr(str_expression, evaluate=False)

if expression == simplification:
   msg = "Couldn't simplify!"
else:
   msg = "Simplified:"

我认为，如果表达式无论是否经过计算都是相同的，这一定意味着它已经尽可能地简化了。但是出于某些原因，

str_expression = "s+5"

我知道这个表达式是假的：

expression == simplification

有人知道为什么吗？我该如何解决这个问题？

提前谢谢你。

Answer 1

尽管这两个表达式打印相同，但它们的内部表示形式不同，因为存储args的顺序不同。通常认为doit方法可以撤消evaluate=False的效果

In [10]: expression
Out[10]: s + 5

In [11]: simplification
Out[11]: s + 5

In [12]: expression.args
Out[12]: (s, 5)

In [13]: simplification.args
Out[13]: (5, s)

In [14]: expression.doit().args
Out[14]: (5, s)

In [15]: expression.doit() == simplification
Out[15]: True