Sympy中带假设的符号无法用subs替换值的原因及解决

原因 #

你遇到的替换失效问题，本质是SymPy对带假设的符号和同名无假设符号的区分机制导致的：

• 当你创建Q = Symbol("Q", positive=True)时，这个符号对象带有明确的positive属性，和无假设的Symbol("Q")是两个完全不同的符号实体。
• 你用{'Q': 1}作为subs参数时，SymPy会自动创建一个无任何假设的同名符号Q去匹配表达式，但表达式里的Q是带假设的版本，两者不匹配，所以替换失败。

解决方法 #

直接使用你定义好的带假设的符号对象作为subs字典的键，而不是用字符串：

from sympy import Symbol

Q = Symbol("Q", positive=True)
exp1 = Q + 1
print(exp1.subs({Q: 1}))  # 输出 2

另外也可以用位置参数的方式替换，效果一致：

print(exp1.subs(Q, 1))  # 输出 2

内容的提问来源于stack exchange，提问作者Bill