Как я могу решить следующие уравнения шаблонов в SymPy, например (x-1) ** 2 + y ** 2 = 0?

Question

Я хочу решить следующие уравнения: (x-1)**2+y**2=0, я хочу получить результат как: x = 1, y = 0, но приведенный ниже код не работает.

from sympy import *

x = symbols("x")
y = symbols("y")

expression = [(x-1)**2+y**2]

solve(expression,[x,y])

Answer 1

Если вы ищете целочисленные решения, то diophantine может быть тем, что вы хотите:

>>> diophantine((x-1)**2+y**2, (x,y))
{(1, 0)}