RubyGems - algebra - Versions diffs - 0.2.1 - Mend

algebra 0.2.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (199) hide show

checksums.yaml +7 -0
data/.gitignore +53 -0
data/.travis.yml +7 -0
data/CODE_OF_CONDUCT.md +49 -0
data/Gemfile +7 -0
data/Gemfile.lock +28 -0
data/LICENSE.txt +21 -0
data/README-ja.txt +60 -0
data/README.md +61 -0
data/Rakefile +43 -0
data/algebra.gemspec +33 -0
data/bin/console +14 -0
data/bin/setup +8 -0
data/doc-ja/README-ja.html +69 -0
data/doc-ja/README-ja.rd +60 -0
data/doc-ja/README.html +0 -0
data/doc-ja/README.rd +0 -0
data/doc-ja/algebra-ja.html +66 -0
data/doc-ja/algebra-ja.rd +60 -0
data/doc-ja/algebraic-equation-ja.html +36 -0
data/doc-ja/algebraic-equation-ja.rd +26 -0
data/doc-ja/algebraic-extension-field-ja.html +122 -0
data/doc-ja/algebraic-extension-field-ja.rd +118 -0
data/doc-ja/algebraic-parser-ja.html +87 -0
data/doc-ja/algebraic-parser-ja.rd +95 -0
data/doc-ja/changes.html +161 -0
data/doc-ja/changes.rd +119 -0
data/doc-ja/elementary-divisor-ja.html +56 -0
data/doc-ja/elementary-divisor-ja.rd +45 -0
data/doc-ja/euclidian-ring-ja.html +78 -0
data/doc-ja/euclidian-ring-ja.rd +69 -0
data/doc-ja/finite-group-ja.html +285 -0
data/doc-ja/finite-group-ja.rd +276 -0
data/doc-ja/finite-map-ja.html +224 -0
data/doc-ja/finite-map-ja.rd +227 -0
data/doc-ja/finite-set-ja.html +393 -0
data/doc-ja/finite-set-ja.rd +408 -0
data/doc-ja/index-ja.html +113 -0
data/doc-ja/index-ja.rd +112 -0
data/doc-ja/jordan-form-ja.html +106 -0
data/doc-ja/jordan-form-ja.rd +99 -0
data/doc-ja/localized-ring-ja.html +121 -0
data/doc-ja/localized-ring-ja.rd +131 -0
data/doc-ja/m-polynomial-ja.html +542 -0
data/doc-ja/m-polynomial-ja.rd +596 -0
data/doc-ja/matrix-algebra-ja.html +686 -0
data/doc-ja/matrix-algebra-ja.rd +727 -0
data/doc-ja/matrix-algebra-triplet-ja.html +124 -0
data/doc-ja/matrix-algebra-triplet-ja.rd +129 -0
data/doc-ja/permutation-group-ja.html +159 -0
data/doc-ja/permutation-group-ja.rd +151 -0
data/doc-ja/polynomial-converter-ja.html +64 -0
data/doc-ja/polynomial-converter-ja.rd +54 -0
data/doc-ja/polynomial-ja.html +446 -0
data/doc-ja/polynomial-ja.rd +473 -0
data/doc-ja/residue-class-ring-ja.html +112 -0
data/doc-ja/residue-class-ring-ja.rd +113 -0
data/doc-ja/sample-algebraic-equation01.rb.v.rd +11 -0
data/doc-ja/sample-algebraic-equation02.rb.v.rd +11 -0
data/doc-ja/sample-algebraic-root01.rb.v.rd +20 -0
data/doc-ja/sample-algebraicfield01.rb.v.rd +26 -0
data/doc-ja/sample-algebraicfield02.rb.v.rd +15 -0
data/doc-ja/sample-cayleyhamilton01.rb.v.rd +14 -0
data/doc-ja/sample-diagonalization01.rb.v.rd +48 -0
data/doc-ja/sample-divmod01.rb.v.rd +17 -0
data/doc-ja/sample-elementary-divisor01.rb.v.rd +48 -0
data/doc-ja/sample-factorize01.rb.v.rd +11 -0
data/doc-ja/sample-factorize02.rb.v.rd +13 -0
data/doc-ja/sample-factorize03.rb.v.rd +14 -0
data/doc-ja/sample-factorize04.rb.v.rd +14 -0
data/doc-ja/sample-factorize05.rb.v.rd +53 -0
data/doc-ja/sample-galois-group01.rb.v.rd +27 -0
data/doc-ja/sample-gaussian-elimination01.rb.v.rd +19 -0
data/doc-ja/sample-geometry01.rb.v.rd +33 -0
data/doc-ja/sample-geometry02.rb.v.rd +34 -0
data/doc-ja/sample-geometry03.rb.v.rd +45 -0
data/doc-ja/sample-geometry04.rb.v.rd +33 -0
data/doc-ja/sample-geometry07.rb.v.rd +62 -0
data/doc-ja/sample-groebner01.rb.v.rd +13 -0
data/doc-ja/sample-groebner02.rb.v.rd +18 -0
data/doc-ja/sample-groebner03.rb.v.rd +19 -0
data/doc-ja/sample-group01.rb.v.rd +21 -0
data/doc-ja/sample-jordan-form01.rb.v.rd +56 -0
data/doc-ja/sample-jordanform01.rb.v.rd +55 -0
data/doc-ja/sample-lagrange-multiplier01.rb.v.rd +35 -0
data/doc-ja/sample-m-factorize01.rb.v.rd +15 -0
data/doc-ja/sample-m-factorize02.rb.v.rd +12 -0
data/doc-ja/sample-m-polynomial01.rb.v.rd +10 -0
data/doc-ja/sample-map01.rb.v.rd +9 -0
data/doc-ja/sample-polynomial01.rb.v.rd +9 -0
data/doc-ja/sample-polynomial02.rb.v.rd +11 -0
data/doc-ja/sample-primefield01.rb.v.rd +13 -0
data/doc-ja/sample-quotientfield01.rb.v.rd +11 -0
data/doc-ja/sample-quotientfield02.rb.v.rd +18 -0
data/doc-ja/sample-quotientfield03.rb.v.rd +16 -0
data/doc-ja/sample-quotientfield04.rb.v.rd +16 -0
data/doc-ja/sample-set01.rb.v.rd +18 -0
data/doc-ja/sample-splitting-field01.rb.v.rd +19 -0
data/doc-ja/samples-ja.html +885 -0
data/doc-ja/samples-ja.rd +221 -0
data/doc-ja/style.css +85 -0
data/doc-ja/todo.html +20 -0
data/doc-ja/todo.rd +9 -0
data/lib/algebra.rb +36 -0
data/lib/algebra/algebraic-equation.rb +56 -0
data/lib/algebra/algebraic-extension-field.rb +135 -0
data/lib/algebra/algebraic-parser.rb +160 -0
data/lib/algebra/algebraic-system.rb +224 -0
data/lib/algebra/annihilate.rb +52 -0
data/lib/algebra/array-supplement.rb +53 -0
data/lib/algebra/auto-require.rb +84 -0
data/lib/algebra/chinese-rem-th.rb +135 -0
data/lib/algebra/combinatorial.rb +145 -0
data/lib/algebra/elementary-divisor.rb +193 -0
data/lib/algebra/euclidian-ring.rb +161 -0
data/lib/algebra/factors.rb +305 -0
data/lib/algebra/finite-group.rb +374 -0
data/lib/algebra/finite-map.rb +201 -0
data/lib/algebra/finite-set.rb +456 -0
data/lib/algebra/galois-group.rb +129 -0
data/lib/algebra/gaussian-elimination.rb +385 -0
data/lib/algebra/groebner-basis-coeff.rb +228 -0
data/lib/algebra/groebner-basis.rb +197 -0
data/lib/algebra/import-module-single-thread.rb +86 -0
data/lib/algebra/import-module.rb +491 -0
data/lib/algebra/jordan-form.rb +114 -0
data/lib/algebra/linear-algebra.rb +143 -0
data/lib/algebra/localized-ring.rb +294 -0
data/lib/algebra/m-index.rb +282 -0
data/lib/algebra/m-polynomial-factor-int.rb +186 -0
data/lib/algebra/m-polynomial-factor-zp.rb +114 -0
data/lib/algebra/m-polynomial-factor.rb +315 -0
data/lib/algebra/m-polynomial-gcd.rb +40 -0
data/lib/algebra/m-polynomial.rb +875 -0
data/lib/algebra/matrix-algebra-triplet.rb +292 -0
data/lib/algebra/matrix-algebra.rb +929 -0
data/lib/algebra/numeric-supplement.rb +123 -0
data/lib/algebra/permutation-group.rb +257 -0
data/lib/algebra/polynomial-converter.rb +193 -0
data/lib/algebra/polynomial-factor-alg.rb +148 -0
data/lib/algebra/polynomial-factor-int.rb +252 -0
data/lib/algebra/polynomial-factor-zp.rb +165 -0
data/lib/algebra/polynomial-factor.rb +140 -0
data/lib/algebra/polynomial.rb +592 -0
data/lib/algebra/powers.rb +31 -0
data/lib/algebra/prime-gen.rb +32 -0
data/lib/algebra/rational.rb +81 -0
data/lib/algebra/residue-class-ring.rb +219 -0
data/lib/algebra/sets-system.rb +43 -0
data/lib/algebra/splitting-field.rb +103 -0
data/lib/algebra/version.rb +3 -0
data/sample/Makefile +10 -0
data/sample/do-testscripts.rb +100 -0
data/sample/sample-algebraic-equation01.rb +6 -0
data/sample/sample-algebraic-equation02.rb +6 -0
data/sample/sample-algebraic-root01.rb +15 -0
data/sample/sample-algebraicfield01.rb +21 -0
data/sample/sample-algebraicfield02.rb +10 -0
data/sample/sample-cayleyhamilton01.rb +9 -0
data/sample/sample-diagonalization01.rb +43 -0
data/sample/sample-divmod01.rb +12 -0
data/sample/sample-elementary-divisor01.rb +43 -0
data/sample/sample-factorize01.rb +6 -0
data/sample/sample-factorize02.rb +8 -0
data/sample/sample-factorize03.rb +9 -0
data/sample/sample-factorize04.rb +9 -0
data/sample/sample-factorize05.rb +48 -0
data/sample/sample-galois-group01.rb +22 -0
data/sample/sample-gaussian-elimination01.rb +14 -0
data/sample/sample-geometry01.rb +28 -0
data/sample/sample-geometry02.rb +29 -0
data/sample/sample-geometry03.rb +40 -0
data/sample/sample-geometry04.rb +28 -0
data/sample/sample-geometry07.rb +58 -0
data/sample/sample-groebner01.rb +8 -0
data/sample/sample-groebner02.rb +13 -0
data/sample/sample-groebner03.rb +14 -0
data/sample/sample-group01.rb +16 -0
data/sample/sample-jordan-form01.rb +51 -0
data/sample/sample-lagrange-multiplier01.rb +30 -0
data/sample/sample-m-factorize01.rb +10 -0
data/sample/sample-m-factorize02.rb +7 -0
data/sample/sample-m-polynomial01.rb +5 -0
data/sample/sample-map01.rb +4 -0
data/sample/sample-polynomial01.rb +4 -0
data/sample/sample-polynomial02.rb +6 -0
data/sample/sample-primefield01.rb +8 -0
data/sample/sample-quotientfield01.rb +6 -0
data/sample/sample-quotientfield02.rb +13 -0
data/sample/sample-quotientfield03.rb +11 -0
data/sample/sample-quotientfield04.rb +11 -0
data/sample/sample-set01.rb +13 -0
data/sample/sample-splitting-field01.rb +14 -0
data/sample/test-00-cayley-hamilton.rb +76 -0
data/sample/test-00-groebner-basis.rb +274 -0
data/sample/test-00-polynomial-factor-alg.rb +89 -0
data/sample/test-00.list +4 -0
data/sample/time-trial.rb +65 -0
metadata +373 -0

data/doc-ja/algebraic-parser-ja.html ADDED

@@ -0,0 +1,87 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE html
+  PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-type" content="text/html; charset=utf-8" />
+<title>doc-ja/algebraic-parser-ja.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<h1><a name="label-0" id="label-0">Algebra::AlgebraicParser</a></h1><!-- RDLabel: "Algebra::AlgebraicParser" -->
+<p><em>(文字列の代数的評価クラス)</em></p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>algebraic-parser.rb</var></li>
+</ul>
+<h2><a name="label-2" id="label-2">スーパークラス:</a></h2><!-- RDLabel: "スーパークラス:" -->
+<ul>
+<li><var>Object</var></li>
+</ul>
+<h2><a name="label-3" id="label-3">インクルードしているモジュール:</a></h2><!-- RDLabel: "インクルードしているモジュール:" -->
+<p>なし</p>
+<h2><a name="label-4" id="label-4">クラスメソッド:</a></h2><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-5" id="label-5"><code>Algebra::AlgebraicParser.eval(<var>string</var>, <var>ring</var>)</code></a></dt><!-- RDLabel: "Algebra::AlgebraicParser.eval" -->
+<dd>
+<var>string</var> の四則演算式を <var>ring</var> 上で計算します。</dd>
+</dl>
+<h2><a name="label-6" id="label-6">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<p>なし</p>
+<h2><a name="label-7" id="label-7">仕様</a></h2><!-- RDLabel: "仕様" -->
+<h3><a name="label-8" id="label-8">評価の手順</a></h3><!-- RDLabel: "評価の手順" -->
+<p>変数の値は、その変数名を引数として <var>ring</var> のクラスメソ
+ッド <var>indeterminate</var> の引数として渡され、その戻り値
+として評価されます。また数値は <var>ring.ground</var> のクラス
+メソッド <var>indterminate</var> で評価されます。</p>
+<pre>require "algebraic-parser"
+class A
+  def self.indeterminate(str)
+    case str
+    when "x"; 7
+    when "y"; 11
+    end
+  end
+  def A.ground
+    Integer
+  end
+end
+p Algebraic::AlgebraicParser.eval("x * y - x^2 + x/8", A)
+    #=&gt; 7*11 - 7**2 + 7/8 = 28</pre>
+<p>ここで、Integer の indeterminate は algebraic-parser.rb が require
+している algebra-supplement.rb で次のように定義されています。</p>
+<pre>def Integer.indeterminate(x)
+  eval(x)
+end</pre>
+<h3><a name="label-9" id="label-9">識別子</a></h3><!-- RDLabel: "識別子" -->
+<p>識別子は、「英字1文字＋数字0文字以上」で定義されます。したがって</p>
+<pre>"a13bc04def0"</pre>
+<p>は、</p>
+<pre>"a13 * b * c04 * d * e * f0"</pre>
+<p>と解釈されます。</p>
+<h3><a name="label-10" id="label-10">演算子</a></h3><!-- RDLabel: "演算子" -->
+<p>演算子を結合の弱い順に並べます。</p>
+<pre>;       中間評価
++, -    和, 差
++, -    単項 +, 単項 -
+*, /    積, 商
+並置    積
+**, ^   冪</pre>
+<h3><a name="label-11" id="label-11">用例</a></h3><!-- RDLabel: "用例" -->
+<p>クラス <var>Algebra::Polynomial</var>、クラス <var>Algebra::MPolynomial</var> には適
+切に <var>indeterminate</var>, <var>ground</var>
+が定義されています。したがって次のように文字列評価ができます。</p>
+<pre>require "algebraic-parser"
+require "rational"
+require "m-polynomial"
+F = Algebra::MPolynomial(Rational)
+p Algebra::AlgebraicParser.eval("- (2*y)**3 + x", F) #=&gt; -8y^3 + x</pre>
+<p><var>Algebra::MPolynomial</var> では、<var>indeterminate</var> は変数を表現するオブジェ
+クトの登録も行うので、登録順が変数間の順序になります。したがって ; を
+使って先に変数を評価させる事によって、順序の変更をする事ができます。</p>
+<pre>F.variables.clear
+p Algebra::AlgebraicParser.eval("x; y; - (2*y)**3 + x", F) #=&gt; x - 8y^3</pre>
+</body>
+</html>

data/doc-ja/algebraic-parser-ja.rd ADDED

@@ -0,0 +1,95 @@
+=begin
+= Algebra::AlgebraicParser
+((*(文字列の代数的評価クラス)*))
+== ファイル名:
+* ((|algebraic-parser.rb|))
+== スーパークラス:
+* ((|Object|))
+== インクルードしているモジュール:
+なし
+== クラスメソッド:
+--- Algebra::AlgebraicParser.eval(string, ring)
+    ((|string|)) の四則演算式を ((|ring|)) 上で計算します。
+== メソッド:
+なし
+== 仕様
+=== 評価の手順
+変数の値は、その変数名を引数として ((|ring|)) のクラスメソ
+ッド ((|indeterminate|)) の引数として渡され、その戻り値
+として評価されます。また数値は ((|ring.ground|)) のクラス
+メソッド ((|indterminate|)) で評価されます。
+      require "algebraic-parser"
+      class A
+        def self.indeterminate(str)
+          case str
+          when "x"; 7
+          when "y"; 11
+          end
+        end
+        def A.ground
+          Integer
+        end
+      end
+      p Algebraic::AlgebraicParser.eval("x * y - x^2 + x/8", A)
+          #=> 7*11 - 7**2 + 7/8 = 28
+ここで、Integer の indeterminate は algebraic-parser.rb が require
+している algebra-supplement.rb で次のように定義されています。
+        def Integer.indeterminate(x)
+          eval(x)
+        end
+=== 識別子
+識別子は、「英字1文字＋数字0文字以上」で定義されます。したがって
+        "a13bc04def0"
+は、
+        "a13 * b * c04 * d * e * f0"
+と解釈されます。
+=== 演算子
+演算子を結合の弱い順に並べます。
+  ;       中間評価
+  +, -    和, 差
+  +, -    単項 +, 単項 -
+  *, /    積, 商
+  並置    積
+  **, ^   冪
+=== 用例
+クラス ((|Algebra::Polynomial|))、クラス ((|Algebra::MPolynomial|)) には適
+切に ((|indeterminate|)), ((|ground|))
+が定義されています。したがって次のように文字列評価ができます。
+      require "algebraic-parser"
+      require "rational"
+      require "m-polynomial"
+      F = Algebra::MPolynomial(Rational)
+      p Algebra::AlgebraicParser.eval("- (2*y)**3 + x", F) #=> -8y^3 + x
+((|Algebra::MPolynomial|)) では、((|indeterminate|)) は変数を表現するオブジェ
+クトの登録も行うので、登録順が変数間の順序になります。したがって ; を
+使って先に変数を評価させる事によって、順序の変更をする事ができます。
+      F.variables.clear
+      p Algebra::AlgebraicParser.eval("x; y; - (2*y)**3 + x", F) #=> x - 8y^3
+=end

data/doc-ja/changes.html ADDED

@@ -0,0 +1,161 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE html
+  PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-type" content="text/html; charset=utf-8" />
+<title>doc-ja/changes.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<h1><a name="label-0" id="label-0">Changes</a></h1><!-- RDLabel: "Changes" -->
+<h2><a name="label-1" id="label-1">0.71(2005.07.26)</a></h2><!-- RDLabel: "0.71(2005.07.26)" -->
+<ul>
+<li>MPolynomial#derivate</li>
+<li>MPolynomial#map_to</li>
+</ul>
+<h2><a name="label-2" id="label-2">0.70(2005.02.02)</a></h2><!-- RDLabel: "0.70(2005.02.02)" -->
+<ul>
+<li>id =&gt; object_id</li>
+</ul>
+<h2><a name="label-3" id="label-3">0.69(2004.10.15)</a></h2><!-- RDLabel: "0.69(2004.10.15)" -->
+<ul>
+<li>MRationalFunctionField</li>
+<li>MPolynomial#gcd</li>
+<li>SquareMatrix#inverse depends on ufd?</li>
+</ul>
+<h2><a name="label-4" id="label-4">0.68(2004.07.28)</a></h2><!-- RDLabel: "0.68(2004.07.28)" -->
+<ul>
+<li>fix Mpolynomial#to_s (for tex)</li>
+</ul>
+<h2><a name="label-5" id="label-5">0.67(2004.06.10)</a></h2><!-- RDLabel: "0.67(2004.06.10)" -->
+<ul>
+<li>need_paren_in_coeff?</li>
+<li>Matrix: entries are regulated.</li>
+<li>Matrix: type*type is due to wedge.</li>
+<li>AlgebraicSystem: wedge, superior?</li>
+<li>Polynomial#sub, MPolynomial#sub</li>
+<li>SquareMatrix.determinant</li>
+<li>fix MPolynomial#to_s</li>
+<li>fix Factors#normalize!</li>
+<li>(Co)Vector#norm2, inner_product</li>
+</ul>
+<h2><a name="label-6" id="label-6">0.66(2004.06.05)</a></h2><!-- RDLabel: "0.66(2004.06.05)" -->
+<ul>
+<li>fix _hensel_lift (add param 'where')</li>
+<li>sample-geometry01.rb</li>
+<li>title of docs</li>
+</ul>
+<h2><a name="label-7" id="label-7">0.65(2004.06.04)</a></h2><!-- RDLabel: "0.65(2004.06.04)" -->
+<ul>
+<li>Polynomial#factor over Polynomial</li>
+<li>reverse var's order in value_on &amp; convert_to in polynomial-convert.rb</li>
+</ul>
+<h2><a name="label-8" id="label-8">0.64(2004.03.01)</a></h2><!-- RDLabel: "0.64(2004.03.01)" -->
+<ul>
+<li>return value of SquareMatrix#diagonalize is Strut</li>
+</ul>
+<h2><a name="label-9" id="label-9">0.63(2004.01.08)</a></h2><!-- RDLabel: "0.63(2004.01.08)" -->
+<ul>
+<li>fix matrix[i, j] = x</li>
+</ul>
+<h2><a name="label-10" id="label-10">0.62(2003.11.13)</a></h2><!-- RDLabel: "0.62(2003.11.13)" -->
+<ul>
+<li>allow f.gcd_coeff_all()</li>
+</ul>
+<h2><a name="label-11" id="label-11">0.61(2003.11.06)</a></h2><!-- RDLabel: "0.61(2003.11.06)" -->
+<ul>
+<li>corrected Enumerable#any? in finite-set.rb</li>
+</ul>
+<h2><a name="label-12" id="label-12">0.60(2003.07.28)</a></h2><!-- RDLabel: "0.60(2003.07.28)" -->
+<ul>
+<li>AlgebraMatrix(cofactor, cofactor_matrix, adjoint)</li>
+</ul>
+<h2><a name="label-13" id="label-13">0.59(2003.07.28)</a></h2><!-- RDLabel: "0.59(2003.07.28)" -->
+<ul>
+<li>adapted to the version 1.8.0(preview 4)</li>
+<li>include installer</li>
+</ul>
+<h2><a name="label-14" id="label-14">0.58(2002.04.00)</a></h2><!-- RDLabel: "0.58(2002.04.00)" -->
+<ul>
+<li>AlgebraicExtensionField#[n] is lift[n]</li>
+<li>abolish the field of 'poly_exps' of the splitting field' and add 'proots'</li>
+<li>MatrixAlgebra#rank</li>
+<li>Raise Exception for the inverse of the non invertible square matrix</li>
+<li>Use "import-module" for monomial order (0.57.18.01)</li>
+</ul>
+<h2><a name="label-15" id="label-15">0.57 (2002.03.16)</a></h2><!-- RDLabel: "0.57 (2002.03.16)" -->
+<ul>
+<li>New class
+<ul>
+<li>Set</li>
+<li>Map</li>
+<li>Group</li>
+<li>PermuationGroup</li>
+<li>AlgebraicExtensionField</li>
+</ul></li>
+<li>New methods
+<ul>
+<li>Galois#group</li>
+<li>Polynomial#splitting_field</li>
+</ul></li>
+<li>Rename MinimalDecompositionField to decompose</li>
+<li>Move *.rb to lib/</li>
+<li>Define Polynomial.to_ary and MPolynomial.to_ary</li>
+</ul>
+<h2><a name="label-16" id="label-16">0.56 (2002.02.06)</a></h2><!-- RDLabel: "0.56 (2002.02.06)" -->
+<ul>
+<li>MPolynomial#with_ord</li>
+<li>Orderings belong to MPolynomial.</li>
+<li>MIndex is not a subclass of Array, now.</li>
+<li>"Integer &lt; Numeric" ==&gt; "Integer"</li>
+</ul>
+<h2><a name="label-17" id="label-17">0.55 (2001.11.15)</a></h2><!-- RDLabel: "0.55 (2001.11.15)" -->
+<ul>
+<li>Improve Algorithm of Factorization over algebraic fields</li>
+</ul>
+<h2><a name="label-18" id="label-18">0.54 (2001.11.05)</a></h2><!-- RDLabel: "0.54 (2001.11.05)" -->
+<ul>
+<li>Elementary Divisor</li>
+<li>Jordan Form</li>
+<li>Minimal Decomposition Field</li>
+</ul>
+<h2><a name="label-19" id="label-19">0.53 (2001.10.03)</a></h2><!-- RDLabel: "0.53 (2001.10.03)" -->
+<ul>
+<li>move "MatrixAlgebra" to "Algebra::MatrixAlgebra"</li>
+<li>move "MatrixAlgebra::Vector" to "Algebra::Vector"</li>
+<li>move "MatrixAlgebra::Covector" to "Algebra::Covector",</li>
+<li>move "MatrixAlgebra::SquareMatrix" to "Algebra::SquareMatrix"</li>
+</ul>
+<h2><a name="label-20" id="label-20">0.52 (2001.09.22)</a></h2><!-- RDLabel: "0.52 (2001.09.22)" -->
+<ul>
+<li>One-variate polynomial
+<ul>
+<li>Fundamental operations (addition, multiplication, quotient/remainder, ...)</li>
+<li>factorization</li>
+</ul></li>
+<li>Multi-variate polynomial
+<ul>
+<li>Fundamental operations (addition, multiplication, ...)</li>
+<li>factorization</li>
+<li>Creating Groebner-basis, quotient/remainder by Groebner-basis.</li>
+</ul></li>
+<li>Algebraic systems
+<ul>
+<li>Creating quotient fields</li>
+<li>Creating residue class fields</li>
+<li>Operating matrices.</li>
+</ul></li>
+<li>Linear Algebra
+<ul>
+<li>Diagonalization of Symmetrix Matrix</li>
+</ul></li>
+</ul>
+<h2><a name="label-21" id="label-21">0.40 (2001.03.03)</a></h2><!-- RDLabel: "0.40 (2001.03.03)" -->
+<ul>
+<li>Initial Version</li>
+</ul>
+</body>
+</html>

data/doc-ja/changes.rd ADDED

@@ -0,0 +1,119 @@
+=begin
+= Changes
+== 0.71(2005.07.26)
+* MPolynomial#derivate
+* MPolynomial#map_to
+== 0.70(2005.02.02)
+* id => object_id
+== 0.69(2004.10.15)
+* MRationalFunctionField
+* MPolynomial#gcd
+* SquareMatrix#inverse depends on ufd?
+== 0.68(2004.07.28)
+* fix Mpolynomial#to_s (for tex)
+== 0.67(2004.06.10)
+* need_paren_in_coeff?
+* Matrix: entries are regulated.
+* Matrix: type*type is due to wedge.
+* AlgebraicSystem: wedge, superior?
+* Polynomial#sub, MPolynomial#sub
+* SquareMatrix.determinant
+* fix MPolynomial#to_s
+* fix Factors#normalize!
+* (Co)Vector#norm2, inner_product
+== 0.66(2004.06.05)
+* fix _hensel_lift (add param 'where')
+* sample-geometry01.rb
+* title of docs
+== 0.65(2004.06.04)
+* Polynomial#factor over Polynomial
+* reverse var's order in value_on & convert_to in polynomial-convert.rb
+== 0.64(2004.03.01)
+* return value of SquareMatrix#diagonalize is Strut
+== 0.63(2004.01.08)
+* fix matrix[i, j] = x
+== 0.62(2003.11.13)
+* allow f.gcd_coeff_all()
+== 0.61(2003.11.06)
+* corrected Enumerable#any? in finite-set.rb
+== 0.60(2003.07.28)
+* AlgebraMatrix(cofactor, cofactor_matrix, adjoint)
+== 0.59(2003.07.28)
+* adapted to the version 1.8.0(preview 4)
+* include installer
+== 0.58(2002.04.00)
+* AlgebraicExtensionField#[n] is lift[n]
+* abolish the field of 'poly_exps' of the splitting field' and add 'proots'
+* MatrixAlgebra#rank
+* Raise Exception for the inverse of the non invertible square matrix
+* Use "import-module" for monomial order (0.57.18.01)
+== 0.57 (2002.03.16)
+* New class
+  * Set
+  * Map
+  * Group
+  * PermuationGroup
+  * AlgebraicExtensionField
+* New methods
+  * Galois#group
+  * Polynomial#splitting_field
+* Rename MinimalDecompositionField to decompose
+* Move *.rb to lib/
+* Define Polynomial.to_ary and MPolynomial.to_ary
+== 0.56 (2002.02.06)
+* MPolynomial#with_ord
+* Orderings belong to MPolynomial.
+* MIndex is not a subclass of Array, now.
+* "Integer < Numeric" ==> "Integer"
+== 0.55 (2001.11.15)
+* Improve Algorithm of Factorization over algebraic fields
+== 0.54 (2001.11.05)
+* Elementary Divisor
+* Jordan Form
+* Minimal Decomposition Field
+== 0.53 (2001.10.03)
+* move "MatrixAlgebra" to "Algebra::MatrixAlgebra"
+* move "MatrixAlgebra::Vector" to "Algebra::Vector"
+* move "MatrixAlgebra::Covector" to "Algebra::Covector",
+* move "MatrixAlgebra::SquareMatrix" to "Algebra::SquareMatrix"
+== 0.52 (2001.09.22)
+* One-variate polynomial
+  * Fundamental operations (addition, multiplication, quotient/remainder, ...)
+  * factorization
+* Multi-variate polynomial
+  * Fundamental operations (addition, multiplication, ...)
+  * factorization
+  * Creating Groebner-basis, quotient/remainder by Groebner-basis.
+* Algebraic systems
+  * Creating quotient fields
+  * Creating residue class fields
+  * Operating matrices.
+* Linear Algebra
+  * Diagonalization of Symmetrix Matrix
+== 0.40 (2001.03.03)
+* Initial Version
+=end