GaloisGroupSolverをGithubに公開しました数学3連休の間に1日かけてGithubにレポジトリを作り、関連するファイルをアップロードして公開しました。パッケージのダウンロード方法ですが、ここからダウンロードできます。ちなみにパッケージの名前としてSolveSolvableで行こうかと思ったのですが、解りにくいので、GaloisGroupSolverとしてみました。Githubにはこちらからどうぞ。github.comダウンロードするとGaloisGroupSolver-master.zipというファイルが出来ますので、展開してください。Linuxなどであれば、このディレクトリに移動してからmaximaを起動して、試しに以下をやってみてください。load("SolveSolvable2.mac");SolveSolvable(x^3-3*x+1)$この中にはStage3.macとStage4.macというよく似た名前のファイルが同梱されており、上記のSolveSolvable2.macは必ずStage3.macを読み込みます。これらのファイルはガロア群の縮小と係数体の拡大を行うのですが、Stage4.macではehitoさんのブログ記事に基づいたグレブナー基底による計算を行います。この場合、追加条件が求まれば、SolveSolvable()関数はその条件も表示します。注意点としてStage4.macを使うと4次方程式でも時間がかかる場合があります。注意点として、解けない5次方程式を与えると最初に120次多項式を因数分解しようとするところで、非常に時間がかかります。解ける方程式がSolveSolvable2.macに例題として記載してありますので、この辺で試してみてください。6次方程式でもガロア群が簡単なものであれば解けることをご覧ください。5次方程式を高速に解く。使って、数学を楽しみましょう。Androidのサポート」などの記事を書いていきます。test.天気はてなブログをはじめよう!jurupapaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。