計算機数学 (2020) 第7回

今月は1週おきの授業になっています。

今回は、2個の1変数多項式の共通因子のノルムの見積もりに関する定理を紹介し、モジュラー法の一つとして使われるHensel構成の「Henselの補題」とその証明を紹介しました。

次回は、Hensel構成を用いた整数係数1変数多項式のGCD計算のアルゴリズムについて述べる予定です。