求解线性丢番图方程

[！[样本方程式] [1]] [1]

sympy 将其解决方案作为参数变量的 Python 表达式集提供，如最后一行所示。

>>> from sympy.solvers.diophantine import diophantine
>>> from sympy import var
>>> x,y,z=var('x y z')
>>> diophantine(2*x+3*y-5*z-77)
{(t_0, -9*t_0 - 5*t_1 + 154, -5*t_0 - 3*t_1 + 77)}