Подстановка 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. Я хотел бы добавить этот пример к этой проблеме . Я также попробовал бы список рассылки Sympy . Помните, что этот проект еще не до версии 1.0, поэтому с ним пока не все будет идеально (или, возможно, когда-нибудь, как с любым программным обеспечением).