此Symphy代码的工作方式与我预期的一样:
>>> x = sp.Symbol("x")
>>> y = sp.Symbol("y")
>>> z = sp.Symbol("z")
>>> (x+y+z).evalf(subs={"x":1, "y":2, "z":3})
6.0
但是，如果我使用实值符号，则表达式不会简化:
>>> x = sp.Symbol("x", real=True)
>>> y = sp.Symbol("y", real=True)
>>> z = sp.Symbol("z", real=True)
>>> (x+y+z).evalf(subs={"x":1, "y":2, "z":3})
x + y + z
我无法通过搜索像sympy symbol real evalf这样的关键字找到对此的解释-我只得到了不相关的结果.
为什么在第二种情况下表达式没有简化？如何用in值替换实值符号并计算表达式？
使用符号作为替换字典的键，而不是字符串名称:
>>> (x + y + z).evalf(subs={x: 1, y: 2, z: 3})
6.00000000000000
复杂符号和真实符号的处理方式似乎不一致:
>>> x = sp.Symbol('x')
>>> x.subs(x, 1)
1
>>> x.subs('x', 1)
1
>>> x = sp.Symbol('x', real=True)
>>> x.subs(x, 1)
1
>>> x.subs('x', 1)
x
我在文档中找不到任何与此相关的内容，而且内置的帮助文本也没有用处.我最好的猜测是，字符串'x'使用sp.Symbol进行简单转换，得到的符号始终是复数符号，与同名实值符号不匹配.
我会将这种行为视为一个bug，并提交bug报告(或查找现有报告).依我看，如果一个字符串是可用的，它应该匹配任何符号与该名称；一个表达式不应该包含两个同名、不同类型的不同变量；try 用匹配的名称和不兼容的类型替换变量可能会引发异常:
>>> x = sp.Symbol('x')
>>> # why allow this?
>>> broken = sp.Symbol('x', real=True) + x
>>> broken # if the types matched, it would simplify to 2*x
x + x
>>> # surely 2 is the only value that makes sense?
>>> broken.subs('x', 1)
x + 1
>>> x.subs('x', 1)
1
>>> # If this is allowed at all, surely the result should be 1?
>>> x.subs(sp.Symbol('x', real=True), 1)
x