原です。

う、うっかり、ruby-dev に流してしもた。

>原です。
>
>宣伝です。細々と作っている "Algebra"
>
>    http://blade.nagaokaut.ac.jp/~sinara/ruby/math/
>
>ですけど、とうとう方程式のガロア群の計算ができるようになりました。
>
>    require "algebra"
>    x = Polynomial(Rational, "x").var
>
>    G = (x**3 - 3*x + 1).galois_group
>
>    G.each do |g|
>      p g #=> [0, 1, 2], [1, 2, 0], [2, 0, 1]
>    end
>
>    p G.solvable? #=> true
>
>しかし (x**4 - x + 1).galois_group の計算で、一昼夜以上かかるの
>で、4 次方程式が既に実効的に可解でないでないという、おそるべき
>欠点がありますが、気長に改良していく所存です。(^^;