From: Shin-ichiro HARA <sinara@...>
Date: 2002-03-18T16:20:23+09:00
Subject: [ruby-dev:16457] 今時の "Algebra"

原です。

宣伝です。細々と作っている "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 次方程式が既に実効的に可解でないでないという、おそるべき
欠点がありますが、気長に改良していく所存です。(^^;