python - 标量的 SymPy 替代不起作用？

Question

从同情进口*

x,y,s = 符号('xys')

z = (1 - 2*x*x)
w = (1 + 2*x*x)
q = 2*x*x*2*y*y

子 = {2*x*x: s}
打印 w.subs(sub)
打印 z.subs(sub)

打印 q
打印 q.subs(sub)

我得到的输出：

1 + 秒
1 - 2***2
4**x**2*y**2
4**x**2*y**2

我期望的输出：

1 + 秒
1 - 秒
4**x**2*y**2
2*y**2*s

我做错了吗？

Answer 1

Sympy 似乎与它匹配的内容不一致。例如，更改匹配替换表达式上的符号允许 z 匹配。我会考虑将此示例添加到此问题中。我也会尝试Sympy 邮件列表。请记住，这个项目甚至还没有到版本号 1.0，所以事情还不会是完美的（或者可能永远不会像任何软件一样）。