用Hensel提升解决零除子问题
摘要：用于计算模三角集的算法必须考虑零因子的存在。我们提出亨塞尔提升作为处理零因子的工具。我们给出了一个应用：用于计算系数模基数三角集的一元多项式的GCD的模算法。我们的模算法自然地推广了前人在代数数论方面的工作。我们使用Maple的RECDEN包来实现我们的算法。我们将我们的实现与RegularChains包中的RegularGcd过程进行了比较。
作者：John Kluesner and Michael Monagan
论文ID：1801.03161
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-01-11