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,60 @@
+=begin
+= 代数パッケージ
+2006.09.16
+*Version: 0.72
+*著者: 原 信一郎
+*e-mail: sinara@blade.nagaokaut.ac.jp
+*Home Page: ((<URL:http://blade.nagaokaut.ac.jp/~sinara/ruby/math/>))
+== これは、、、
+1変数あるいは多変数の多項式を計算するためのライブラリです。
+数学的対象を自然に Ruby で表現可能にする事を目的にしています。
+スピードはありませんが、スクリプト言語なのでアルゴリズムを見る事
+ができます。
+* 一変数多項式
+  * 加法、乗法、商／剰余等の演算
+  * 因数分解
+  * Galois 群
+* 多変数多項式
+  * 加法、乗法等の演算
+  * 因数分解
+  * グレブナ基底の生成、グレブナ基底による商／剰余の演算
+* 代数系
+  * 商体の生成
+  * 剰余環の生成
+  * 行列環の生成
+  * 置換群の計算
+* 集合と写像
+== インストール
+このパッケージを利用するにはまず、オブジェクト指向スクリプト言語 Ruby
+(((<URL:http://www.ruby-lang.org/>))参照) が必要です。
+更に、アーカイブの展開後
+  ruby install.rb
+とすれば、lib ディレクトリ以下を、ロード可能なディレクトリにコピーし、
+インストールが完了します。
+速度の点から、有理数は標準添付の rational.rb ではなく、拡張ライブラリ
+(((<URL:http://blade.nagaokaut.ac.jp/~sinara/ruby/rational/>))
+を使うことを勧めます。
+== 使い方・サンプル
+doc ディレクトリの ((<index-ja.html|URL:index-ja.html>)) を見てください。
+マニュアルやサンプルがあります。
+== 参考
+* D.コックス, J.リトル and D.オシー, "グレブナ基底と代数多様体入門（上・下）",
+  2000,シュプリンガー・フェアラーク東京
+* 児玉宏児, "Polynomial", ((<URL:http://www.math.kobe-u.ac.jp/HOME/kodama/tips-RubyPoly.html>))
+* H.Anai, M.Noro and K.Yokoyama, "Computation of the splitting fields and the Galois groups of polynomials", Progres in Mathematics, 28-50, Vo.143, 1996
+=end

data/doc-ja/README.html ADDED

File without changes

data/doc-ja/README.rd ADDED

File without changes

data/doc-ja/algebra-ja.html ADDED

@@ -0,0 +1,66 @@
+<?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/algebra-ja.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<p><a href="#label-0">Algebra</a></p>
+<h1><a name="label-0" id="label-0">Algebra</a></h1><!-- RDLabel: "Algebra" -->
+<p><em>(代数モジュール)</em></p>
+<p>代数ライブラリ </p>
+<ul>
+<li><a href="polynomial-ja.html">Algebra::Polynomial</a> (1変数多項式環クラス)</li>
+<li><a href="m-polynomial-ja.html">Algebra::MPolynomial</a> (多変数多項式環クラス)</li>
+<li><a href="residue-class-ring-ja.html">Algebra::ResidueClassRing</a> (剰余環クラス)</li>
+<li><a href="localized-ring-ja.html">Algebra::LocalizedRing</a> (局所化環クラス)</li>
+<li><a href="matrix-algebra-ja.html">Algebra::MatrixAlgebra</a> (行列代数クラス)</li>
+<li>etc.</li>
+</ul>
+<p>などをまとめているモジュールです。</p>
+<h2><a name="label-1" id="label-1">関連するファイル:</a></h2><!-- RDLabel: "関連するファイル:" -->
+<ul>
+<li><p><code>require "algebra.rb"</code> をしておくと、</p>
+<pre>include Algebra</pre>
+<p>がなされ、これらのモジュールが記述されたファイルを適宜 <code>require</code> します。</p></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.Polynomial(<var>ring</var> [, <var>obj0</var> , <var>obj1</var> [, ...]])</code></a></dt><!-- RDLabel: "Algebra.Polynomial" -->
+<dd>
+<a href="polynomial-ja.html#Algebra_S_Polynomial">Algebra.Polynomial</a>() 参照。</dd>
+<dt><a name="label-6" id="label-6"><code>Algebra.MPolynomial(<var>ring</var> [, <var>obj0</var> [, <var>obj1</var> [, ...]]])</code></a></dt><!-- RDLabel: "Algebra.MPolynomial" -->
+<dd>
+<a href="m-polynomial-ja.html#Algebra_S_MPolynomial">Algebra.MPolynomial</a>() 参照。</dd>
+<dt><a name="label-7" id="label-7"><code>Algebra.ResidueClassRing(<var>ring</var>, <var>mod</var>)</code></a></dt><!-- RDLabel: "Algebra.ResidueClassRing" -->
+<dd>
+<a href="residue-class-ring-ja.html#Algebra_S_ResidueClassRing">Algebra.ResidueClassRing</a>() 参照。</dd>
+<dt><a name="label-8" id="label-8"><code>Algebra.AlgebraicExtensionField(<var>field</var>, <var>obj</var>){|<var>x</var>| ... }</code></a></dt><!-- RDLabel: "Algebra.AlgebraicExtensionField" -->
+<dd>
+<a href="residue-class-ring-ja.html#Algebra_S_AlgebraicExtensionField">Algebra.AlgebraicExtensionField</a>() 参照。</dd>
+<dt><a name="label-9" id="label-9"><code>Algebra.MatrixAlgebra(<var>ring</var>, <var>m</var>, <var>n</var>)</code></a></dt><!-- RDLabel: "Algebra.MatrixAlgebra" -->
+<dd>
+<a href="matrix-algebra-ja.html#Algebra_S_MatrixAlgebra">Algebra.MatrixAlgebra</a>(ring, m, n) 参照。</dd>
+<dt><a name="label-10" id="label-10"><code>Algebra.Vector(<var>ring</var>, <var>n</var>)</code></a></dt><!-- RDLabel: "Algebra.Vector" -->
+<dd>
+<a href="matrix-algebra-ja.html#Algebra_S_Vector">Algebra.Vector</a>(ring, n) 参照。</dd>
+<dt><a name="label-11" id="label-11"><code>Algebra.Covector(<var>ring</var>, <var>n</var>)</code></a></dt><!-- RDLabel: "Algebra.Covector" -->
+<dd>
+<a href="matrix-algebra-ja.html#Algebra_S_Covector">Algebra.Covector</a>(ring, n) 参照。</dd>
+<dt><a name="label-12" id="label-12"><code>Algebra.SquareMatrix(<var>ring</var>, <var>size</var>)</code></a></dt><!-- RDLabel: "Algebra.SquareMatrix" -->
+<dd>
+<a href="matrix-algebra-ja.html#Algebra_S_SquareMatrix">Algebra.SquareMatrix</a>(ring, n) 参照。</dd>
+</dl>
+</body>
+</html>

data/doc-ja/algebra-ja.rd ADDED

@@ -0,0 +1,60 @@
+=begin
+((<Algebra>))
+= Algebra
+((*(代数モジュール)*))
+代数ライブラリ
+* ((<Algebra::Polynomial|URL:polynomial-ja.html>)) (1変数多項式環クラス)
+* ((<Algebra::MPolynomial|URL:m-polynomial-ja.html>)) (多変数多項式環クラス)
+* ((<Algebra::ResidueClassRing|URL:residue-class-ring-ja.html>)) (剰余環クラス)
+* ((<Algebra::LocalizedRing|URL:localized-ring-ja.html>)) (局所化環クラス)
+* ((<Algebra::MatrixAlgebra|URL:matrix-algebra-ja.html>)) (行列代数クラス)
+* etc.
+などをまとめているモジュールです。
+== 関連するファイル:
+* (({require "algebra.rb"})) をしておくと、
+    include Algebra
+  がなされ、これらのモジュールが記述されたファイルを適宜 (({require})) します。
+== スーパークラス:
+* ((|Object|))
+== インクルードしているモジュール:
+なし
+== クラスメソッド:
+--- Algebra.Polynomial(ring [, obj0 , obj1 [, ...]])
+    ((<Algebra.Polynomial|URL:polynomial-ja.html#Algebra_S_Polynomial>))() 参照。
+--- Algebra.MPolynomial(ring [, obj0 [, obj1 [, ...]]])
+    ((<Algebra.MPolynomial|URL:m-polynomial-ja.html#Algebra_S_MPolynomial>))() 参照。
+--- Algebra.ResidueClassRing(ring, mod)
+    ((<Algebra.ResidueClassRing|URL:residue-class-ring-ja.html#Algebra_S_ResidueClassRing>))() 参照。
+--- Algebra.AlgebraicExtensionField(field, obj){|x| ... }
+    ((<Algebra.AlgebraicExtensionField|URL:residue-class-ring-ja.html#Algebra_S_AlgebraicExtensionField>))() 参照。
+--- Algebra.MatrixAlgebra(ring, m, n)
+    ((<Algebra.MatrixAlgebra|URL:matrix-algebra-ja.html#Algebra_S_MatrixAlgebra>))(ring, m, n) 参照。
+--- Algebra.Vector(ring, n)
+    ((<Algebra.Vector|URL:matrix-algebra-ja.html#Algebra_S_Vector>))(ring, n) 参照。
+--- Algebra.Covector(ring, n)
+    ((<Algebra.Covector|URL:matrix-algebra-ja.html#Algebra_S_Covector>))(ring, n) 参照。
+--- Algebra.SquareMatrix(ring, size)
+    ((<Algebra.SquareMatrix|URL:matrix-algebra-ja.html#Algebra_S_SquareMatrix>))(ring, n) 参照。
+=end

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

@@ -0,0 +1,36 @@
+<?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-equation-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">AlgebraicEqation</a></h1><!-- RDLabel: "AlgebraicEqation" -->
+<p><em>(代数方程式のためのユーティリティー)</em></p>
+<p>方程式と体のためのファイル</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>algebraic-equation.rb</var></li>
+</ul>
+<h2><a name="label-2" id="label-2">モジュールメソッド:</a></h2><!-- RDLabel: "モジュールメソッド:" -->
+<dl>
+<dt><a name="label-3" id="label-3"><code>minimal_polynomial(<var>element</var>, <var>poly1</var>[, <var>poly2</var>[, <var>poly3</var>...]])</code></a></dt><!-- RDLabel: "minimal_polynomial" -->
+<dd>
+<p><code>poly1, poly2, poly3...</code> を法とした、<var>element</var> の最小多項式
+を求めます。</p>
+<p>例: ルート2 + ルート3 + ルート5 の最小多項式を求める。</p>
+<pre>PQ = MPolynomial(Rational)
+a, b, c = PQ.vars("abc")
+p AlgebraicEquation.minimal_polynomial(a + b + c, a**2-2, b**2-3, c**2-5)
+#=&gt; x^8 - 40x^6 + 352x^4 - 960x^2 + 576</pre></dd>
+<dt><a name="label-4" id="label-4"><code>symmetric_product</code></a></dt><!-- RDLabel: "symmetric_product" -->
+</dl>
+</body>
+</html>

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

@@ -0,0 +1,26 @@
+=begin
+[((<index-ja|URL:index-ja.html>))]
+= AlgebraicEqation
+((*(代数方程式のためのユーティリティー)*))
+方程式と体のためのファイル
+== ファイル名:
+* ((|algebraic-equation.rb|))
+== モジュールメソッド:
+--- minimal_polynomial(element, poly1[, poly2[, poly3...]])
+    (({poly1, poly2, poly3...})) を法とした、((|element|)) の最小多項式
+    を求めます。
+    例: ルート2 + ルート3 + ルート5 の最小多項式を求める。
+      PQ = MPolynomial(Rational)
+      a, b, c = PQ.vars("abc")
+      p AlgebraicEquation.minimal_polynomial(a + b + c, a**2-2, b**2-3, c**2-5)
+      #=> x^8 - 40x^6 + 352x^4 - 960x^2 + 576
+--- symmetric_product
+=end

data/doc-ja/algebraic-extension-field-ja.html ADDED

@@ -0,0 +1,122 @@
+<?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-extension-field-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">AlgebraicExtensionField</a></h1><!-- RDLabel: "AlgebraicExtensionField" -->
+<p><em>(代数拡大体)</em></p>
+<p>代数拡大体を表現するクラス</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>algebraic-Extension-feild.rb</var></li>
+</ul>
+<h2><a name="label-2" id="label-2">スーパークラス:</a></h2><!-- RDLabel: "スーパークラス:" -->
+<ul>
+<li><var>ResidueClassRing</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.AlgebraicExtensionField(<var>field</var>, <var>obj</var>){|<var>x</var>| ... }</code></a></dt><!-- RDLabel: "Algebra.AlgebraicExtensionField" -->
+<dd>
+<a href="#label-7">::create</a> と同じ。</dd>
+</dl>
+<h2><a name="label-6" id="label-6">クラスメソッド:</a></h2><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-7" id="label-7"><code>::create(<var>k</var>, <var>obj</var>){|<var>x</var>| <var>p</var>(<var>x</var>) }</code></a></dt><!-- RDLabel: "::create" -->
+<dd>
+<p>体 <var>k</var> を、<var>obj</var> で表される変数 <var>x</var> の多項式
+<var>p(x)</var> で拡大した環 <var>k[x]/(p(x))</var>を返します。
+この環には、クラスメソッド <a href="#label-9">::var</a>、<a href="#label-11">::def_polys</a>、
+<a href="#label-12">::env_ring</a> が定義されます。</p>
+<p>例: 有理数を方程式 <code>x**2 + x + 1 == 0</code> で拡大した体 F を作る。</p>
+<pre>require "rational"
+require "algebraic-extension-field"
+F = Algebra::AlgebraicExtensionField.create(Rational, "x") {|x| x**2 + x + 1}
+x = F.var
+p( (x-1)** 3 / (x**2 - 1) ) #=&gt; -3x - 3</pre></dd>
+<dt><a name="label-8" id="label-8"><code>::to_ary</code></a></dt><!-- RDLabel: "::to_ary" -->
+<dd>
+<p><code>[self, var]</code> を返します。</p>
+<p>例: 代数拡大体と添加元を同時に定義する</p>
+<pre>require "rational"
+require "algebraic-extension-field"
+F, a = Algebra.AlgebraicExtensionField(Rational, "a") {|a| a**2 + a + 1}</pre></dd>
+<dt><a name="label-9" id="label-9"><code>::var</code></a></dt><!-- RDLabel: "::var" -->
+<dd>
+<a href="#label-7">::create</a> の返り値 <var>k[x]/(p(x))</var> に定義され、
+この剰余環における <var>x</var> で
+代表される剰余類を返します。</dd>
+<dt><a name="label-10" id="label-10"><code>::modulus</code></a></dt><!-- RDLabel: "::modulus" -->
+<dd>
+<a href="#label-7">::create</a> の返り値 <var>k[x]/(p(x))</var> に定義され、<var>k[x]</var>
+の要素 <var>p(x)</var>  を返します。</dd>
+<dt><a name="label-11" id="label-11"><code>::def_polys</code></a></dt><!-- RDLabel: "::def_polys" -->
+<dd>
+<p><a href="#label-7">::create</a> の返り値 <var>k[x]/(p(x))</var> に定義され、
+長さ <var>n</var> の各 <a href="#label-10">::modulus</a> の配列を返します。
+ここで、自身は、基礎体 <var>k0</var> 上高さ <var>n</var> の
+再帰的な <var>AlgebraicExtensionField</var> であるとします。</p>
+<p>例: 基礎体を有理数とし、2, 3, 5 の立方根による拡大体を作る</p>
+<pre>require "algebra"
+# K0 == Rational
+K1 = AlgebraicExtensionField(Rational, "x1") { |x|
+  x ** 3 - 2
+}
+K2 = AlgebraicExtensionField(K1, "x2") { |y|
+  y ** 3 - 3
+}
+K3 = AlgebraicExtensionField(K2, "x3") { |z|
+  z ** 3 - 5
+}
+p K3.def_polys #=&gt; [x1^3 - 2, x2^3 - 3, x3^3 - 5]
+x1, x2, x3 = K1.var, K2.var, K3.var
+f = x1**2 + 2*x2**2 + 3*x3**2
+f0 = f.abs_lift
+p f0.type     #=&gt; (Polynomial/(Polynomial/(Polynomial/Rational)))
+p f0.type == K3.env_ring #=&gt; true
+p f #=&gt; 3x3^2 + 2x2^2 + x1^2
+p f0.evaluate(x3.abs_lift, x2.abs_lift, x1.abs_lift)
+    #=&gt; x3^2 + 2x2^2 + 3x3^2</pre></dd>
+<dt><a name="label-12" id="label-12"><code>::env_ring</code></a></dt><!-- RDLabel: "::env_ring" -->
+<dd>
+<a href="#label-7">::create</a> の返り値 <var>k[x]/(p(x))</var> に定義され、
+多変数多項式環 <var>k0[x1, x2,.., xn]</var> を返します。
+ここで、自身は、基礎体 <var>k0</var> 上高さ <var>n</var> の
+再帰的な <var>AlgebraicExtensionField</var> であるとします。</dd>
+<dt><a name="label-13" id="label-13"><code>::ground</code></a></dt><!-- RDLabel: "::ground" -->
+<dd>
+剰余環のもとになる多項式環 <var>k[x]</var> を返します。</dd>
+</dl>
+<h2><a name="label-14" id="label-14">メソッド</a></h2><!-- RDLabel: "メソッド" -->
+<dl>
+<dt><a name="label-15" id="label-15"><code>abs_lift</code></a></dt><!-- RDLabel: "abs_lift" -->
+<dd>
+<a href="#label-12">::env_ring</a> すなわち基礎体 <var>k0</var> 上
+の多変数多項式環 <var>k0[x1, x2,.., xn]</var>
+へのリフトを返します。</dd>
+<dt><a name="label-16" id="label-16"><code>[<var>n</var>]</code></a></dt><!-- RDLabel: "[]" -->
+<dd>
+<p><!-- Reference, RDLabel "n" doesn't exist --><em class="label-not-found">n</em><!-- Reference end --> 次の係数を返します。<code>lift[n]</code> と同じです。</p>
+<p>例: Fibonacci 数列</p>
+<pre>require "algebra"
+t = AlgebraicExtensionField(Integral, "t"){|x| x**2-x-1}.var
+(0..10).each do |n|
+  p( (t**n)[1] ) #=&gt; 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55
+end</pre></dd>
+</dl>
+</body>
+</html>

data/doc-ja/algebraic-extension-field-ja.rd ADDED

@@ -0,0 +1,118 @@
+=begin
+[((<index-ja|URL:index-ja.html>))]
+= AlgebraicExtensionField
+((*(代数拡大体)*))
+代数拡大体を表現するクラス
+== ファイル名:
+* ((|algebraic-Extension-feild.rb|))
+== スーパークラス:
+* ((|ResidueClassRing|))
+== インクルードしているモジュール:
+なし。
+== 関連するメソッド:
+--- Algebra.AlgebraicExtensionField(field, obj){|x| ... }
+    ((<::create>)) と同じ。
+== クラスメソッド:
+--- ::create(k, obj){|x| p(x) }
+    体 ((|k|)) を、((|obj|)) で表される変数 ((|x|)) の多項式
+    ((|p(x)|)) で拡大した環 ((|k[x]/(p(x))|))を返します。
+    この環には、クラスメソッド ((<::var>))、((<::def_polys>))、
+    ((<::env_ring>)) が定義されます。
+    例: 有理数を方程式 (({x**2 + x + 1 == 0})) で拡大した体 F を作る。
+      require "rational"
+      require "algebraic-extension-field"
+      F = Algebra::AlgebraicExtensionField.create(Rational, "x") {|x| x**2 + x + 1}
+      x = F.var
+      p( (x-1)** 3 / (x**2 - 1) ) #=> -3x - 3
+--- ::to_ary
+    (({[self, var]})) を返します。
+    例: 代数拡大体と添加元を同時に定義する
+      require "rational"
+      require "algebraic-extension-field"
+      F, a = Algebra.AlgebraicExtensionField(Rational, "a") {|a| a**2 + a + 1}
+--- ::var
+    ((<::create>)) の返り値 ((|k[x]/(p(x))|)) に定義され、
+    この剰余環における ((|x|)) で
+    代表される剰余類を返します。
+--- ::modulus
+    ((<::create>)) の返り値 ((|k[x]/(p(x))|)) に定義され、((|k[x]|))
+    の要素 ((|p(x)|))  を返します。
+--- ::def_polys
+    ((<::create>)) の返り値 ((|k[x]/(p(x))|)) に定義され、
+    長さ ((|n|)) の各 ((<::modulus>)) の配列を返します。
+    ここで、自身は、基礎体 ((|k0|)) 上高さ ((|n|)) の
+    再帰的な ((|AlgebraicExtensionField|)) であるとします。
+    例: 基礎体を有理数とし、2, 3, 5 の立方根による拡大体を作る
+      require "algebra"
+      # K0 == Rational
+      K1 = AlgebraicExtensionField(Rational, "x1") { |x|
+        x ** 3 - 2
+      }
+      K2 = AlgebraicExtensionField(K1, "x2") { |y|
+        y ** 3 - 3
+      }
+      K3 = AlgebraicExtensionField(K2, "x3") { |z|
+        z ** 3 - 5
+      }
+      p K3.def_polys #=> [x1^3 - 2, x2^3 - 3, x3^3 - 5]
+      x1, x2, x3 = K1.var, K2.var, K3.var
+      f = x1**2 + 2*x2**2 + 3*x3**2
+      f0 = f.abs_lift
+      p f0.type     #=> (Polynomial/(Polynomial/(Polynomial/Rational)))
+      p f0.type == K3.env_ring #=> true
+      p f #=> 3x3^2 + 2x2^2 + x1^2
+      p f0.evaluate(x3.abs_lift, x2.abs_lift, x1.abs_lift)
+          #=> x3^2 + 2x2^2 + 3x3^2
+--- ::env_ring
+    ((<::create>)) の返り値 ((|k[x]/(p(x))|)) に定義され、
+    多変数多項式環 ((|k0[x1, x2,.., xn]|)) を返します。
+    ここで、自身は、基礎体 ((|k0|)) 上高さ ((|n|)) の
+    再帰的な ((|AlgebraicExtensionField|)) であるとします。
+--- ::ground
+    剰余環のもとになる多項式環 ((|k[x]|)) を返します。
+== メソッド
+--- abs_lift
+    ((<::env_ring>)) すなわち基礎体 ((|k0|)) 上
+    の多変数多項式環 ((|k0[x1, x2,.., xn]|))
+    へのリフトを返します。
+--- [](n)
+    ((<n>)) 次の係数を返します。(({lift[n]})) と同じです。
+    例: Fibonacci 数列
+      require "algebra"
+      t = AlgebraicExtensionField(Integral, "t"){|x| x**2-x-1}.var
+      (0..10).each do |n|
+        p( (t**n)[1] ) #=> 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55
+      end
+=end