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/index-ja.rd ADDED

@@ -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