零维代数簇短系数有理单变量表示的可分元计算 (2009年)

针对零维多项式系统中Rouillier 计算可分元的算法使其相应的有理单变量表示中整系数过长的问题, 提出一种改进的可分元选取算法, 新算法通过逐步确定坐标可分元得以实现. 结果表明, 较之Rouillier 算法, 新算法选取可分元对应的有理单变量表示中整系数的长度更短, 且两算法具有几乎相同的平均复杂度.