RubyGems - algebra - Versions diffs - 0.2.1 - Mend

algebra 0.2.1

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