今回の冪根拡大の構成では，中間体上の線型方程式系（連立一次方程式）を解くことが一つの柱となっています（ http://ehito.hatenablog.com/entry/2019/04/11/193241 ）．それは例えば，定義多項式が c5^4+c5^3+c5^2+c5+1, e1^2+10, e2^5+((-3750*c5^3)-3750…

前回も触れたように，nfsplitting の処理時間は結果の多項式の次数を第二引数として与えることで一般に短縮されます．この性質を利用するため本プログラムでは，その次数，つまり，入力多項式 の 上の Galois 群 の位数を，予め用意したある範囲内の全ての c…