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

@@ -0,0 +1,112 @@
+=begin
+[((<README-ja|URL:README-ja.html>))]  [((<English|URL:../doc/index.html>))]
+= 代数パッケージ
+  Version: 0.72  (2006.09.16)
+  Author: 原 信一郎 (sinara@blade.nagaokaut.ac.jp)
+  これは１変数あるいは多変数の多項式を計算するためのライブラリです。
+== 0. 最初の一歩
+最も簡単な利用法は require "algebra" として、計算を始めることです。
+  require "algebra"
+  x = Polynomial(Integer, "x").var
+  puts( (x+1)**7 )
+    #=> x^7 + 7x^6 + 21x^5 + 35x^4 + 35x^3 + 21x^2 + 7x + 1
+  puts( (x**7 + 7*x**6 + 21*x**5 + 35*x**4 + 35*x**3 + 21*x**2 + 7*x + 1).factorize )
+    #=> (x + 1)^7
+== 1. 例題
+ * ((<Samples|URL:samples-ja.html>))
+== 2. 主なクラス・モジュール
+ * ((<Algebra|URL:algebra-ja.html>)) (代数モジュール)
+   * ((<Algebra::Polynomial|URL:polynomial-ja.html>)) (1変数多項式環クラス)
+   * ((<Algebra::EuclidianRing|URL:euclidian-ring-ja.html>)) (ユークリッド環モジュール)
+   * ((<Algebra::MPolynomial|URL:m-polynomial-ja.html>)) (多変数多項式環クラス)
+   * ((<Algebra::ResidueClassRing|URL:residue-class-ring-ja.html>)) (剰余環クラス)
+   * ((<Algebra::AlgebraicExtensionField|URL:algebraic-extension-field-ja.html>)) (代数拡大体クラス)
+   * ((<Algebra::LocalizedRing|URL:localized-ring-ja.html>)) (局所化環クラス)
+   * ((<Algebra::MatrixAlgebra|URL:matrix-algebra-ja.html>)) (行列代数クラス)
+   * ((<Algebra::AlgebraicParser|URL:algebraic-parser-ja.html>)) (代数式を表す文字列の評価クラス)
+   * ((<Algebra::Set|URL:finite-set-ja.html>)) (集合のクラス)
+   * ((<Algebra::Map|URL:finite-map-ja.html>)) (写像のクラス)
+   * ((<Algebra::Group|URL:finite-group-ja.html>)) (群のクラス)
+   * ((<Algebra::PermutationGroup|URL:permutation-group-ja.html>)) (置換群のクラス)
+== 3. その他
+ * ((<Algebra::ElementaryDivisor|URL:elementary-divisor-ja.html>)) (単因子モジュール)
+ * ((<Algebra::JordanForm|URL:jordan-form-ja.html>)) (ジョルダン行列クラス)
+ * ((<Algebra::MatrixAlgebraTriplet|URL:matrix-algebra-triplet-ja.html>)) (3つ組行列のクラス)
+ * ((<代数方程式ハンドルユーティリティー|URL:algebraic-equation-ja.html>))
+ * ((<多項式環相互変換ユーティリティー|URL:polynomial-converter-ja.html>))
+== 4. パッケージ内容
+=== 総合
+  algebra.rb             Algebra ライブラリ一般利用ファイル
+=== 一変数関係
+  polynomial.rb          １変数多項式環のクラス
+  euclidian-ring.rb      ユークリッド整域ユティリティー(G.C.D.の計算)
+  polynomial-factor.rb   １変数多項式因数分解ライブラリ
+    polynomial-factor-int.rb   整数係数版
+    polynomial-factor-zp.rb    Zp係数版
+    polynomial-factor-alg.rb   代数的数係数版
+=== 多変数関係
+  m-polynomial.rb         多変数多項式環のクラス
+    m-index.rb            m-polynomial.rb の下請け
+  m-polynomial-factor.rb   １変数多項式因数分解ライブラリ
+    m-polynomial-factor-int.rb   整数係数版
+    m-polynomial-factor-zp.rb    Zp係数版
+  groebner-basis.rb       グレブナ基底の計算モジュール
+  groebner-basis-coeff.rb 除算の計算モジュール
+=== 代数全般
+  localized-ring.rb       商体作成ライブラリ
+  matrix-algebra.rb       行列代数のクラス
+    elementary-divisor.rb 単因子操作モジュール
+    matrix-algebra.triplete.rb  3つ組行列クラス
+    jordan-form.rb        ジョルダン行列クラス
+  residue-class-ring.rb   多項式環の剰余環
+  algebraic-extention-field.rb 代数拡大体
+  splitting-field.rb      多項式の最小分解体
+  galois-group.rb         Galois 群
+  linear-algebra.rb       線形代数ライブラリ
+  algebraic-equation.rb   代数方程式ライブラリ
+=== 基礎部分
+  finite-set.rb           集合のクラス
+    finite-map.rb         写像のクラス
+    finite-group.rb       群のクラス
+      permutation-group.rb  置換群のクラス
+=== 共通部分
+  prime-gen.rb            素数生成クラス
+  numeric-supplement.rb   Numeric の補完
+  polynomial-converter.rb 多項式環相互変換ユーティリティー
+  algebra-system.rb       代数系の共通仕様
+  algebraic-parser.rb     多元環の式の文字列表現を評価するモジュール
+=== その他
+  array-supplement.rb     Array の補完
+  doc-ja/                 マニュアル日本語版(RD, HTML, TXT)
+  doc/                    マニュアル英語版(RD, HTML, TXT)
+  sample/                 サンプルコード
+  work/                   （開発作業場所）
+== 5. ToDo
+#<<< todo.rd
+* ((<todo.html|URL:todo.html>))
+== 6. Changes
+#<<< changes.rd
+* ((<changes.html|URL:changes.html>))
+=end

data/doc-ja/jordan-form-ja.html ADDED

@@ -0,0 +1,106 @@
+<?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/jordan-form-ja.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<p>[<a href="index-ja.html">index-ja</a>] </p>
+<h1><a name="label-0" id="label-0">Algebra::JordanForm</a></h1><!-- RDLabel: "Algebra::JordanForm" -->
+<p><em>(ジョルダン行列クラス)</em></p>
+<p>ジョルダン行列を表現するクラスです。</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>jordan-form.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::MatrixAlgebra#jordan_form</code></a></dt><!-- RDLabel: "Algebra::MatrixAlgebra#jordan_form" -->
+<dd>
+<var>self</var>のジョルダン標準形を返します。</dd>
+<dt><a name="label-6" id="label-6"><code>Algebra::MatrixAlgebra#jordan_form_info</code></a></dt><!-- RDLabel: "Algebra::MatrixAlgebra#jordan_form_info" -->
+<dd>
+<!-- Reference, RDLabel "Algebra::JordanForm.decompose" doesn't exist --><em class="label-not-found">Algebra::JordanForm.decompose</em><!-- Reference end -->(self) と同じです。</dd>
+</dl>
+<h2><a name="label-7" id="label-7">クラスメソッド:</a></h2><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-8" id="label-8"><code>::new(<var>array</var>)</code></a></dt><!-- RDLabel: "::new" -->
+<dd>
+<p><!-- Reference, RDLabel "JordanForm" doesn't exist --><em class="label-not-found">JordanForm</em><!-- Reference end --> オブジェクトを返します。<var>array</var> は、
+<code>[対角成分, サイズ]</code> を要素とする配列です。行列を得るには
+メソッド <a href="#label-12">to_matrix</a> を施すことにより、（上三角）ジョルダン
+行列が得られます。下三角にするには<a href="#label-14">to_matrix_l</a>を用います。</p>
+<p>例:</p>
+<pre>j = Algebra::JordanForm.new([[2, 3], [-1, 2]])
+j.to_matrix.display #=&gt;
+#  2,   1,   0,   0,   0
+#  0,   2,   1,   0,   0
+#  0,   0,   2,   0,   0
+#  0,   0,   0,  -1,   1
+#  0,   0,   0,   0,  -1</pre></dd>
+<dt><a name="label-9" id="label-9"><code>::construct(<var>elem_divs</var>, <var>facts</var>, <var>field</var>, <var>pfield</var>)</code></a></dt><!-- RDLabel: "::construct" -->
+<dd>
+略。</dd>
+<dt><a name="label-10" id="label-10"><code>::decompose(<var>m</var>)</code></a></dt><!-- RDLabel: "::decompose" -->
+<dd>
+<p>行列 <var>m</var> のジョルダン行列を <var>jm</var>、<var>m</var> を <var>jm</var> に
+変形するために必要な左変形を <var>tL</var>、右変形を <var>sR</var>、ジョルダン
+分解をするのに必要な最小分解体を <var>field</var> 、最小分解体まで基礎体
+を拡大するのに必要な方程式の配列を <var>modulus</var> とするとき、</p>
+<pre>[jm, tL, sR, field, modulus]</pre>
+<p>を返します。（<code>tL * sR == 単位行列</code> です。）</p>
+<p>例:</p>
+<pre>m = Algebra.SquareMatrix(Rational, a.size)[
+ [-1, 1, 2, -1],
+ [-5, 3, 4, -2],
+ [3, -1, 0, 1],
+ [5, -2, -2, 0]
+]
+jf, p, q, field, modulus = Algebra::JordanForm.decompose(m)
+jf.display; puts #=&gt;
+#  2,   0,   0,   0
+#  0,   a,   0,   0
+#  0,   0,   b,   0
+#  0,   0,   0, -b - a
+p modulus #=&gt; [a^3 + 3a - 1, b^2 + ab + a^2 + 3]
+print "P =\n"; p.display; puts
+print "P^-1 =\n"; q.display; puts
+m = m.convert_to(field)
+p jf == p * m * q #=&gt; true</pre></dd>
+</dl>
+<h2><a name="label-11" id="label-11">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-12" id="label-12"><code>to_matrix(<var>ring</var>)</code></a></dt><!-- RDLabel: "to_matrix" -->
+<dd>
+<p><var>ring</var> 上のジョルダン行列（上三角）を返します。</p>
+<p>例:</p>
+<pre>j = Algebra::JordanForm.new([[2, 3], [-1, 2]])
+j.to_matrix(Integer).display #=&gt;
+#  2,   1,   0,   0,   0
+#  0,   2,   1,   0,   0
+#  0,   0,   2,   0,   0
+#  0,   0,   0,  -1,   1
+#  0,   0,   0,   0,  -1</pre></dd>
+<dt><a name="label-13" id="label-13"><code>to_matrix_r(<var>ring</var>)</code></a></dt><!-- RDLabel: "to_matrix_r" -->
+<dd>
+<a href="#label-12">to_matrix</a> と同じ。</dd>
+<dt><a name="label-14" id="label-14"><code>to_matrix_l(<var>ring</var>)</code></a></dt><!-- RDLabel: "to_matrix_l" -->
+<dd>
+ジョルダン行列（下三角）を返します。</dd>
+</dl>
+</body>
+</html>

data/doc-ja/jordan-form-ja.rd ADDED

@@ -0,0 +1,99 @@
+=begin
+[((<index-ja|URL:index-ja.html>))]
+= Algebra::JordanForm
+((*(ジョルダン行列クラス)*))
+ジョルダン行列を表現するクラスです。
+== ファイル名:
+* ((|jordan-form.rb|))
+== スーパークラス:
+* ((|Object|))
+== インクルードしているモジュール:
+なし
+== 関連する関数:
+--- Algebra::MatrixAlgebra#jordan_form
+    ((|self|))のジョルダン標準形を返します。
+--- Algebra::MatrixAlgebra#jordan_form_info
+    ((<Algebra::JordanForm.decompose>))(self) と同じです。
+== クラスメソッド:
+--- ::new(array)
+    ((<JordanForm>)) オブジェクトを返します。((|array|)) は、
+    (({[対角成分, サイズ]})) を要素とする配列です。行列を得るには
+    メソッド ((<to_matrix>)) を施すことにより、（上三角）ジョルダン
+    行列が得られます。下三角にするには((<to_matrix_l>))を用います。
+    例:
+      j = Algebra::JordanForm.new([[2, 3], [-1, 2]])
+      j.to_matrix.display #=>
+      #  2,   1,   0,   0,   0
+      #  0,   2,   1,   0,   0
+      #  0,   0,   2,   0,   0
+      #  0,   0,   0,  -1,   1
+      #  0,   0,   0,   0,  -1
+--- ::construct(elem_divs, facts, field, pfield)
+    略。
+--- ::decompose(m)
+    行列 ((|m|)) のジョルダン行列を ((|jm|))、((|m|)) を ((|jm|)) に
+    変形するために必要な左変形を ((|tL|))、右変形を ((|sR|))、ジョルダン
+    分解をするのに必要な最小分解体を ((|field|)) 、最小分解体まで基礎体
+    を拡大するのに必要な方程式の配列を ((|modulus|)) とするとき、
+      [jm, tL, sR, field, modulus]
+    を返します。（(({tL * sR == 単位行列})) です。）
+    例:
+      m = Algebra.SquareMatrix(Rational, a.size)[
+       [-1, 1, 2, -1],
+       [-5, 3, 4, -2],
+       [3, -1, 0, 1],
+       [5, -2, -2, 0]
+      ]
+      jf, p, q, field, modulus = Algebra::JordanForm.decompose(m)
+      jf.display; puts #=>
+      #  2,   0,   0,   0
+      #  0,   a,   0,   0
+      #  0,   0,   b,   0
+      #  0,   0,   0, -b - a
+      p modulus #=> [a^3 + 3a - 1, b^2 + ab + a^2 + 3]
+      print "P =\n"; p.display; puts
+      print "P^-1 =\n"; q.display; puts
+      m = m.convert_to(field)
+      p jf == p * m * q #=> true
+== メソッド:
+--- to_matrix(ring)
+    ((|ring|)) 上のジョルダン行列（上三角）を返します。
+    例:
+      j = Algebra::JordanForm.new([[2, 3], [-1, 2]])
+      j.to_matrix(Integer).display #=>
+      #  2,   1,   0,   0,   0
+      #  0,   2,   1,   0,   0
+      #  0,   0,   2,   0,   0
+      #  0,   0,   0,  -1,   1
+      #  0,   0,   0,   0,  -1
+--- to_matrix_r(ring)
+    ((<to_matrix>)) と同じ。
+--- to_matrix_l(ring)
+    ジョルダン行列（下三角）を返します。
+=end

data/doc-ja/localized-ring-ja.html ADDED

@@ -0,0 +1,121 @@
+<?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/localized-ring-ja.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<p>[<a href="index-ja.html">index-ja</a>] </p>
+<h1><a name="label-0" id="label-0">Algebra::LocalizedRing</a></h1><!-- RDLabel: "Algebra::LocalizedRing" -->
+<p><em>(局所化環クラス)</em></p>
+<p>与えられた環を分子・分母にした分数環を構成します。
+実際のクラスを生成するには、クラスメソッド <a href="#label-9">::create</a>
+あるいは関数 <a href="#label-5">Algebra.LocalizedRing</a>() を用います。</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>localized-ring.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.LocalizedRing(<var>ring</var>)</code></a></dt><!-- RDLabel: "Algebra.LocalizedRing" -->
+<dd>
+<a href="#label-9">::create</a>(ring) と同じです。</dd>
+<dt><a name="label-6" id="label-6"><code>Algebra.RationalFunctionField(<var>ring</var>, <var>obj</var>)</code></a></dt><!-- RDLabel: "Algebra.RationalFunctionField" -->
+<dd>
+<p>環 <var>ring</var>、変数を表すオブジェクトを <var>obj</var> として有理関数体
+を作ります。クラスメソッド <var>::var</var> で変数を得ることができます。</p>
+<p>例: 有理関数体</p>
+<pre>require "algebra/localized-ring"
+require "rational"
+F = Algebra.RationalFunctionField(Rational, "x")
+x = F.var
+p ( 1 / (x**2 - 1) - 1 / (x**3 - 1) )
+  #=&gt; x^2/(x^4 + x^3 - x - 1)</pre></dd>
+<dt><a name="label-7" id="label-7"><code>Algebra.MRationalFunctionField(<var>ring</var>, [<var>obj1</var>[, <var>obj2</var>, ...]])</code></a></dt><!-- RDLabel: "Algebra.MRationalFunctionField" -->
+<dd>
+<p>環 <var>ring</var>、変数を表すオブジェクトを <var>obj1</var>, <var>obj2</var>,... として有理関数体を作ります。クラスメソッド <var>::vars</var> で変数を得ることができます。</p>
+<p>例: 有理関数体</p>
+<pre>require "algebra/localized-ring"
+require "rational"
+G = Algebra.MRationalFunctionField(Rational, "x", "y", "z")
+x, y, z = G.vars
+f = (x + z) / (x + y) - z / (x + y)
+p f #=&gt; (x^2 + xy)/(x^2 + 2xy + y^2)
+p f.simplify #=&gt; x/(x + y)</pre></dd>
+</dl>
+<h2><a name="label-8" id="label-8">クラスメソッド:</a></h2><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-9" id="label-9"><code>::create(<var>ring</var>)</code></a></dt><!-- RDLabel: "::create" -->
+<dd>
+<p>クラス<var>ring</var>で表現されるを環の元を分子・分母とする分数環
+を作ります。</p>
+<p>この戻り値は Algebra::LocalizedRing クラスのサブクラスです。
+このサブクラスにはクラスメソッドとして <var>::ground</var> が定義され
+<var>ring</var> を返します。</p>
+<p>生成したクラスにはクラスメソッド<code>::[]</code>が定義され、基礎環の
+元 <code>x</code> に対して分数環の元 <code>x/1</code> を返します。</p>
+<p>例: 有理数を作る</p>
+<pre>require "localized-ring"
+F = Algebra.LocalizedRing(Integer)
+p F.new(1, 2) + F.new(2, 3) #=&gt; 7/6</pre>
+<p>例: 整数上の多項式環の商体</p>
+<pre>require "polynomial"
+require "localized-ring"
+P = Algebra.Polynomial(Integer, "x")
+F = Algebra.LocalizedRing(P)
+x = F[P.var]
+p ( 1 / (x**2 - 1) - 1 / (x**3 - 1) )
+  #=&gt; (x^3 - x^2)/(x^5 - x^3 - x^2 + 1)</pre></dd>
+<dt><a name="label-10" id="label-10"><code>::zero</code></a></dt><!-- RDLabel: "::zero" -->
+<dd>
+零元を返します。</dd>
+<dt><a name="label-11" id="label-11"><code>::unity</code></a></dt><!-- RDLabel: "::unity" -->
+<dd>
+単位元を返します。</dd>
+</dl>
+<h2><a name="label-12" id="label-12">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-13" id="label-13"><code>zero?</code></a></dt><!-- RDLabel: "zero?" -->
+<dd>
+零元であるとき真を返します。</dd>
+<dt><a name="label-14" id="label-14"><code>zero</code></a></dt><!-- RDLabel: "zero" -->
+<dd>
+零元を返します。</dd>
+<dt><a name="label-15" id="label-15"><code>unity</code></a></dt><!-- RDLabel: "unity" -->
+<dd>
+単位元を返します。</dd>
+<dt><a name="label-16" id="label-16"><code>==(<var>other</var>)</code></a></dt><!-- RDLabel: "==" -->
+<dd>
+等しいとき真を返します。</dd>
+<dt><a name="label-17" id="label-17"><code>&lt;=&gt;(<var>other</var>)</code></a></dt><!-- RDLabel: "<=>" -->
+<dd>
+大小関係を求めます。</dd>
+<dt><a name="label-18" id="label-18"><code>+(<var>other</var>)</code></a></dt><!-- RDLabel: "+" -->
+<dd>
+和を計算します。</dd>
+<dt><a name="label-19" id="label-19"><code>-(<var>other</var>)</code></a></dt><!-- RDLabel: "-" -->
+<dd>
+差を計算します。</dd>
+<dt><a name="label-20" id="label-20"><code>*(<var>other</var>)</code></a></dt><!-- RDLabel: "*" -->
+<dd>
+積を計算します。</dd>
+<dt><a name="label-21" id="label-21"><code>**(<var>n</var>)</code></a></dt><!-- RDLabel: "**" -->
+<dd>
+<var>n</var> 乗を計算します。</dd>
+<dt><a name="label-22" id="label-22"><code>/(<var>other</var>)</code></a></dt><!-- RDLabel: "/" -->
+<dd>
+商を計算します。</dd>
+</dl>
+</body>
+</html>

data/doc-ja/localized-ring-ja.rd ADDED

@@ -0,0 +1,131 @@
+=begin
+[((<index-ja|URL:index-ja.html>))]
+= Algebra::LocalizedRing
+((*(局所化環クラス)*))
+与えられた環を分子・分母にした分数環を構成します。
+実際のクラスを生成するには、クラスメソッド ((<::create>))
+あるいは関数 ((<Algebra.LocalizedRing>))() を用います。
+== ファイル名:
+* ((|localized-ring.rb|))
+== スーパークラス:
+* ((|Object|))
+== インクルードしているモジュール:
+なし
+== 関連する関数:
+--- Algebra.LocalizedRing(ring)
+    ((<::create>))(ring) と同じです。
+--- Algebra.RationalFunctionField(ring, obj)
+    環 ((|ring|))、変数を表すオブジェクトを ((|obj|)) として有理関数体
+    を作ります。クラスメソッド ((|::var|)) で変数を得ることができます。
+    例: 有理関数体
+      require "algebra/localized-ring"
+      require "rational"
+      F = Algebra.RationalFunctionField(Rational, "x")
+      x = F.var
+      p ( 1 / (x**2 - 1) - 1 / (x**3 - 1) )
+        #=> x^2/(x^4 + x^3 - x - 1)
+--- Algebra.MRationalFunctionField(ring, [obj1[, obj2, ...]])
+    環 ((|ring|))、変数を表すオブジェクトを ((|obj1|)), ((|obj2|)),... として有理関数体を作ります。クラスメソッド ((|::vars|)) で変数を得ることができます。
+    例: 有理関数体
+      require "algebra/localized-ring"
+      require "rational"
+      G = Algebra.MRationalFunctionField(Rational, "x", "y", "z")
+      x, y, z = G.vars
+      f = (x + z) / (x + y) - z / (x + y)
+      p f #=> (x^2 + xy)/(x^2 + 2xy + y^2)
+      p f.simplify #=> x/(x + y)
+== クラスメソッド:
+--- ::create(ring)
+    クラス((|ring|))で表現されるを環の元を分子・分母とする分数環
+    を作ります。
+    この戻り値は Algebra::LocalizedRing クラスのサブクラスです。
+    このサブクラスにはクラスメソッドとして ((|::ground|)) が定義され
+    ((|ring|)) を返します。
+    生成したクラスにはクラスメソッド(({::[]}))が定義され、基礎環の
+    元 (({x})) に対して分数環の元 (({x/1})) を返します。
+    例: 有理数を作る
+      require "localized-ring"
+      F = Algebra.LocalizedRing(Integer)
+      p F.new(1, 2) + F.new(2, 3) #=> 7/6
+    例: 整数上の多項式環の商体
+      require "polynomial"
+      require "localized-ring"
+      P = Algebra.Polynomial(Integer, "x")
+      F = Algebra.LocalizedRing(P)
+      x = F[P.var]
+      p ( 1 / (x**2 - 1) - 1 / (x**3 - 1) )
+        #=> (x^3 - x^2)/(x^5 - x^3 - x^2 + 1)
+--- ::zero
+    零元を返します。
+--- ::unity
+    単位元を返します。
+#--- ::[](num, den = nil)
+#--- ::reduce(num, den)
+== メソッド:
+#--- monomial?; true; end
+--- zero?
+    零元であるとき真を返します。
+--- zero
+    零元を返します。
+--- unity
+    単位元を返します。
+--- ==(other)
+    等しいとき真を返します。
+--- <=>(other)
+    大小関係を求めます。
+--- +(other)
+    和を計算します。
+--- -(other)
+    差を計算します。
+--- *(other)
+    積を計算します。
+--- **(n)
+    ((|n|)) 乗を計算します。
+--- /(other)
+    商を計算します。
+#--- to_s
+#--- inspect
+#--- hash
+=end