- -数学- SympyとGAPで可移部分群の条件から5次方程式のガロア群を高速に求める(1) - Maxima で綴る数学の旅
-
Sympyを使ってみて、群論のサポートがMaximaよりも手厚く、そこは非常に良い点と思いました。Pythonという言語に親しむことも出来ました。そんな作業をしながら、目についた論文やネット記事を読んでいると、方程式が与えられたときに、そのガロア群を求める別のやり方が理解出来ました。今回はその方法をSympyで実装したので、それを記事にします。 アルゴリズムやプログラムについては次回の記事にするとして、今回は実行の様子を見せます。実行時間は従来のものと比べると圧倒的にはやいです。一番時間がかかる、ガロア群が\(S_5\)の場合で40秒くらい、\(A_5\)で10秒くらい、\(F_20\)以下の…