数理科学II（第25回）

今日は、前回の1変数多項式のHensel構成を踏まえ、1変数多項式の整数環上での因数分解の手順を説明しました。 途中、入力多項式を有限体上の多項式に写すときに使う素数pの選択の部分でちょっと詰まってしまい、全部は終わりませんでした。

次回は、与えられた多項式の既約因子の係数絶対値の上界を見積もる方法の紹介から始めます。授業回数はあと3回ですが、最終地点である、多変数多項式の因数分解までなるべく踏み込みたいと思います。