14/09/10 17:04:38.78
ついにきました！
GAPでx次方程式が解けるかどうかをチェックできるようになった。
URLﾘﾝｸ(ketaru.sblo.jp)
にやり方が書いてあった。
性質もある程度調べれる。やり方は上のサイトを参照のこと。
わずか1行でできる。
gap> IsSolvable(SymmetricGroup(5));
false
4次以下はいかで判別可能。
gap> IsSolvable(SymmetricGroup(4));
true
gap> IsSolvable(SymmetricGroup(3));
true
gap> IsSolvable(SymmetricGroup(2));
true
gap> IsSolvable(SymmetricGroup(1));
true