sage - 是否有一个 sage 模块来解决诸如 ax+by=c 之类的方程？

Question

Sage 中是否有一个模块可以解决丢番图方程中的 2 个未知数？例如，ax+by=c在哪里a,b,c知道

我尝试了基本的扩展欧几里得算法，但我的数字太大了。

Answer 1

在 Sage 中求解丢番图方程的两种方法是

• 使用 ZZ 上的 Smith 范式矩阵
• 使用多面体

查看这两个 Ask Sage 问题的答案：

• 问 Sage 问题 10364：线性丢番图方程
• 问 Sage 问题 23666：求解线性丢番图方程组