Есть ли мудрый модуль для решения уравнения, такого как ax + by = c?

Question

Есть ли в Sage модуль для решения 2 неизвестных в диофантовых уравнениях? Например, ax+by=c, где a,b,c известны

Я попробовал базовый расширенный евклидов алгоритм, но мои цифры слишком велики.

Answer 1

Два способа решения диофантовых уравнений в Sage:

• с использованием нормальной матрицы Смита над ZZ
• с использованием многогранников

См. Ответы на эти два вопроса Задайте мудрецу:

• Задайте вопрос мудрецу 10364: линейные диофантовы уравнения
• Задать вопрос мудреца 23666: Решение системы линейных диофантовых уравнений