SymPyのスカラーを使った代入は機能しませんか？

Question

 
from sympy import * 

x,y,s = symbols('xys') 

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

sub = {2*x*x: s} 
print w.subs(sub) 
print z.subs(sub) 

print q 
print q.subs(sub) 

私が手出力：

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

出力は、私が期待：

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

は、私が何か間違ったことをしますか？

Answer 1

Sympyが一致するもので矛盾しているようです。たとえば、一致する置換式の記号を変更すると、zとの一致が許されます。この例をthis issueに追加することを検討します。また、Sympy mailing listを試してみます。覚えておいてください。このプロジェクトはまだバージョン番号1.0までではありません。そのため、まだまだ完璧なものではありません。