jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 今回はプログラム編です。いきなりSympyで実装した、可移部分群を使った実装をお見せします。 TransitiveGroups5とかTransitiveGroup4という変数に、大量のPermutationGroupのインスタンスのリストが設定されています。これらはそれぞれ、全て\(S_5\), \(S_4\)の可移部分群のリストになっています。またそれぞれのリストの中の可移部分群は位数の小さい順に並んでいます。 from sympy import * from sympy.abc import a, b, c, d, e, f, x, y, z, V, k from sympy.combin… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2021%2F05%2F22%2F003013" title="-数学- SympyとGAPで可移部分群の条件から5次方程式のガロア群を高速に求める(3) - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20210522/20210522002731.jpg Hatena Blog https://hatena.blog 2021-05-22 00:30:13 rich https://maxima.hatenablog.jp/entry/2021/05/22/003013 1.0 100%