BRUまずはガロア群の計算です。ここからGG6.macをダウンロードすることが出来ます。$$例題の多項式を変数p1に代入します。$$文献3の例題4に合わせて、原始元を作るための根の一次結合の係数を設定します。$$ファイルGG6.macでは最初にGalPolynomialInfoという構造体を定義しています。gal_init_polynomial_info()関数ではこの構造体を一つ生成し、引数の多項式から直ぐに計算できる項目を計算し、それらの値で構造体を初期化して戻り値とします。V_{24}\)が計算できました。原始元Vの最小多項式を求めます。V_{24}\)をVで表します。その結果を使って元の多項式p1の全ての解をVで表し、GalPolynomialInfo構造体に格納します。gal_sol_V(PS)$ではガロア群を根の置換群として求めます。$$一番上の行がはみ出していますが、MathJaxのバグのような気がしますので、気にしないでください。この方程式のガロア群の位数は24、従って対称群\(S_4\)であることが分かりました。gal_galois_group()はと引き続く記事で示したプログラムと全く同じ処理で、それを大域変数を中心に整理しただけのもです。今後、これらの関数の高速化のためにehitoさんに教えてもらったbfloat版に書き換える予定です。2次無理数の判別式の保型性の証明ご機嫌です。使って、数学を楽しみましょう。Androidのサポート」などの記事を書いていきます。test.天気はてなブログをはじめよう!jurupapaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。