Landau-Mignotte 界,也称为 Mignotte 界,用于单变量多项式分解,以确定所需的 Hensel 提升 步骤的数量。它给出了 中多项式
的任何非平凡因子的系数绝对值的上限。
该界限由下式给出
其中 是 2-范数,并且
整数上的因式分解是通过使用 Berlekamp-Zassenhaus 算法 将多项式模一个“好”素数 进行因式分解来完成的,然后将不可约因子提升到模
的因子。 有选择
的指南。 例如,
不应整除多项式的首项系数,并且
应该是无平方因子。