Почему SymPy не считает систему уравнений?

Question

[brubanter]

import sympy
a,b = sympy.symbols('a,b')
equations = [sympy.Eq((9*a+b)%32,14), sympy.Eq((15*a+b)%32, 5)]
sympy.solve(equations)

Traceback (most recent call last):
File "", line 1, in
File "/usr/local/lib/python3.4/site-packages/sympy/solvers/solvers.py", line 911, in solve
solution = _solve_system(f, symbols, **flags)
File "/usr/local/lib/python3.4/site-packages/sympy/solvers/solvers.py", line 1646, in _solve_system
raise NotImplementedError('could not solve %s' % eq2)
NotImplementedError: could not solve Mod(9*a + b, 32) - 14

Что я делаю не так?

Answer 1

[tsarevfs]

Ну, это Диофантовы уравнения, насколько я понимаю. Для них есть отдельный модуль.

Comments

[tsarevfs]

Могу ошибаться, но похоже что решений нет.

[brubanter]

Не могли бы Вы привести пример, как решить систему уравнений с помощью этого модуля.

[tsarevfs]

Я просто переписал уравнения в виде 9*a + b = 32*c +14 и 15*a + b = 32*d + 5, выразил b из одного, подставил во второе. И получил -6*a + 32*(c + d) - 9=0. По нему видно что решений нет (левая часть всегда нечетная). diophanite вам тоже даст пустое множество решений.