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/matrix-algebra-triplet-ja.html ADDED

@@ -0,0 +1,124 @@
+<?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/matrix-algebra-triplet-ja.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<p>[<a href="index-ja.html">index-ja</a>]
+<a href="#label-0">Algebra::MatrixAlgebraTriplet</a>
+/
+<a href="#label-32">Algebra::MatrixAlgebraQuint</a></p>
+<h1><a name="label-0" id="label-0">Algebra::MatrixAlgebraTriplet</a></h1><!-- RDLabel: "Algebra::MatrixAlgebraTriplet" -->
+<p><em>(3つ組行列のクラス)</em></p>
+<p>行列と行列に対する左右の基本変形を記録した2つの行列を表すクラス。下位クラス
+に5つ組みクラス <a href="#label-32">Algebra::MatrixAlgebraQuint</a> がある。</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>matrix-algebra-triplet.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: "インクルードしているモジュール:" -->
+<ul>
+<li><var>GaussianElimination</var></li>
+<li><var>ElementaryDivisor</var></li>
+</ul>
+<h3><a name="label-4" id="label-4">クラスメソッド:</a></h3><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-5" id="label-5"><code>:new(<var>matrix</var>[, <var>left</var>[, <var>right</var>]])</code></a></dt><!-- RDLabel: ":new" -->
+<dd>
+<var>matrix</var> を本体、<var>left</var>左（行）変形の記録、<var>right</var>
+を右（列）変形の記録とする3つ組みオブジェクトを生成します。</dd>
+</dl>
+<h2><a name="label-6" id="label-6">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-7" id="label-7"><code>body</code></a></dt><!-- RDLabel: "body" -->
+<dd>
+本体を返します。</dd>
+<dt><a name="label-8" id="label-8"><code>left</code></a></dt><!-- RDLabel: "left" -->
+<dd>
+左（行）変形の記録を返します。</dd>
+<dt><a name="label-9" id="label-9"><code>right</code></a></dt><!-- RDLabel: "right" -->
+<dd>
+右（列）変形の記録を返します。</dd>
+<dt><a name="label-10" id="label-10"><code>to_a</code></a></dt><!-- RDLabel: "to_a" -->
+<dd>
+<code>[body, left, right]</code> という配列を返します。</dd>
+<dt><a name="label-11" id="label-11"><code>to_ary</code></a></dt><!-- RDLabel: "to_ary" -->
+<dd>
+<a href="#label-10">to_a</a> と同じ。</dd>
+<dt><a name="label-12" id="label-12"><code>dup</code></a></dt><!-- RDLabel: "dup" -->
+<dd>
+自身の複製を返します。</dd>
+<dt><a name="label-13" id="label-13"><code>transpose</code></a></dt><!-- RDLabel: "transpose" -->
+<dd>
+<p>転置行列を返します。</p>
+<pre>[type.new(body.transpose, right.transpose, left.transpose]</pre>
+<p>と同じです。</p></dd>
+<dt><a name="label-14" id="label-14"><code>replace(<var>other</var>)</code></a></dt><!-- RDLabel: "replace" -->
+<dd>
+自分を <var>other</var> と置き換えます。</dd>
+<dt><a name="label-15" id="label-15"><code>display</code></a></dt><!-- RDLabel: "display" -->
+<dd>
+自分を表示します。</dd>
+<dt><a name="label-16" id="label-16"><code>[<var>i</var>, <var>j</var>]</code></a></dt><!-- RDLabel: "[]" -->
+<dd>
+自分の <code>(i, j)</code> 成分を返します。</dd>
+<dt><a name="label-17" id="label-17"><code>rsize</code></a></dt><!-- RDLabel: "rsize" -->
+<dd>
+行サイズを返します。</dd>
+<dt><a name="label-18" id="label-18"><code>csize</code></a></dt><!-- RDLabel: "csize" -->
+<dd>
+列サイズを返します。</dd>
+<dt><a name="label-19" id="label-19"><code>each_i</code></a></dt><!-- RDLabel: "each_i" -->
+<dd>
+すべての行インデックスに対して繰り返すイテレータです。</dd>
+<dt><a name="label-20" id="label-20"><code>each_j</code></a></dt><!-- RDLabel: "each_j" -->
+<dd>
+すべての列インデックスに対して繰り返すイテレータです。</dd>
+<dt><a name="label-21" id="label-21"><code>row!(<var>i</var>)</code></a></dt><!-- RDLabel: "row!" -->
+<dd>
+本体の <var>i</var> 行目そのものを返します。</dd>
+<dt><a name="label-22" id="label-22"><code>sswap_r!(<var>i</var>, <var>j</var>)</code></a></dt><!-- RDLabel: "sswap_r!" -->
+<dt><a name="label-23" id="label-23"><code>swap_r!(<var>i</var>, <var>j</var>)</code></a></dt><!-- RDLabel: "swap_r!" -->
+<dt><a name="label-24" id="label-24"><code>swap_c!(<var>i</var>, <var>j</var>)</code></a></dt><!-- RDLabel: "swap_c!" -->
+<dt><a name="label-25" id="label-25"><code>multiply_r!(<var>i</var>, <var>c</var>)</code></a></dt><!-- RDLabel: "multiply_r!" -->
+<dt><a name="label-26" id="label-26"><code>multiply_c!(<var>j</var>, <var>c</var>)</code></a></dt><!-- RDLabel: "multiply_c!" -->
+<dt><a name="label-27" id="label-27"><code>divide_r!(<var>i</var>, <var>c</var>)</code></a></dt><!-- RDLabel: "divide_r!" -->
+<dt><a name="label-28" id="label-28"><code>divide_c!(<var>j</var>, <var>c</var>)</code></a></dt><!-- RDLabel: "divide_c!" -->
+<dt><a name="label-29" id="label-29"><code>mix_r!(<var>i</var>, <var>j</var>[, <var>c</var>])</code></a></dt><!-- RDLabel: "mix_r!" -->
+<dt><a name="label-30" id="label-30"><code>mix_c!(<var>i</var>, <var>j</var>[, <var>c</var>])</code></a></dt><!-- RDLabel: "mix_c!" -->
+<dt><a name="label-31" id="label-31"><code>left_eliminate!</code></a></dt><!-- RDLabel: "left_eliminate!" -->
+<dd>
+以上、<var>Algebra::GauusianElimination</var> の同名メソッドを参照。</dd>
+</dl>
+<h1><a name="label-32" id="label-32">Algebra::MatrixAlgebraQuint</a></h1><!-- RDLabel: "Algebra::MatrixAlgebraQuint" -->
+<p><em>(5つ組行列のクラス)</em></p>
+<p>行列と行列に対する左右の基本変形、それらの逆行列を記録した計5つの
+行列を表すクラス。上位クラスに3つ組みクラス <a href="#label-0">Algebra::MatrixAlgebraTriplet</a> がある。</p>
+<h2><a name="label-33" id="label-33">スーパークラス:</a></h2><!-- RDLabel: "スーパークラス:" -->
+<ul>
+<li><var>Algebra:MatrixAlgebraTriplet</var></li>
+</ul>
+<h2><a name="label-34" id="label-34">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-35" id="label-35"><code>lefti</code></a></dt><!-- RDLabel: "lefti" -->
+<dd>
+<a href="#label-8">left</a> の逆行列を返します。</dd>
+<dt><a name="label-36" id="label-36"><code>righti</code></a></dt><!-- RDLabel: "righti" -->
+<dd>
+<a href="#label-9">right</a> の逆行列を返します。</dd>
+<dt><a name="label-37" id="label-37"><code>to_a</code></a></dt><!-- RDLabel: "to_a" -->
+<dd>
+<code>[body, left, right, lefti, righti]</code> という配列を返します。</dd>
+</dl>
+</body>
+</html>

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

@@ -0,0 +1,129 @@
+=begin
+[((<index-ja|URL:index-ja.html>))]
+((<Algebra::MatrixAlgebraTriplet>))
+/
+((<Algebra::MatrixAlgebraQuint>))
+= Algebra::MatrixAlgebraTriplet
+((*(3つ組行列のクラス)*))
+行列と行列に対する左右の基本変形を記録した2つの行列を表すクラス。下位クラス
+に5つ組みクラス ((<Algebra::MatrixAlgebraQuint>)) がある。
+== ファイル名:
+* ((|matrix-algebra-triplet.rb|))
+== スーパークラス:
+* ((|Object|))
+== インクルードしているモジュール:
+* ((|GaussianElimination|))
+* ((|ElementaryDivisor|))
+=== クラスメソッド:
+--- :new(matrix[, left[, right]])
+    ((|matrix|)) を本体、((|left|))左（行）変形の記録、((|right|))
+    を右（列）変形の記録とする3つ組みオブジェクトを生成します。
+== メソッド:
+--- body
+    本体を返します。
+--- left
+    左（行）変形の記録を返します。
+--- right
+    右（列）変形の記録を返します。
+--- to_a
+    (({[body, left, right]})) という配列を返します。
+--- to_ary
+    ((<to_a>)) と同じ。
+--- dup
+    自身の複製を返します。
+--- transpose
+    転置行列を返します。
+      [type.new(body.transpose, right.transpose, left.transpose]
+    と同じです。
+--- replace(other)
+    自分を ((|other|)) と置き換えます。
+--- display
+    自分を表示します。
+--- [](i, j)
+    自分の (({(i, j)})) 成分を返します。
+--- rsize
+    行サイズを返します。
+--- csize
+    列サイズを返します。
+--- each_i
+    すべての行インデックスに対して繰り返すイテレータです。
+--- each_j
+    すべての列インデックスに対して繰り返すイテレータです。
+--- row!(i)
+    本体の ((|i|)) 行目そのものを返します。
+--- sswap_r!(i, j)
+--- swap_r!(i, j)
+--- swap_c!(i, j)
+--- multiply_r!(i, c)
+--- multiply_c!(j, c)
+--- divide_r!(i, c)
+--- divide_c!(j, c)
+--- mix_r!(i, j[, c])
+--- mix_c!(i, j[, c])
+--- left_eliminate!
+    以上、((|Algebra::GauusianElimination|)) の同名メソッドを参照。
+= Algebra::MatrixAlgebraQuint
+((*(5つ組行列のクラス)*))
+行列と行列に対する左右の基本変形、それらの逆行列を記録した計5つの
+行列を表すクラス。上位クラスに3つ組みクラス ((<Algebra::MatrixAlgebraTriplet>)) がある。
+== スーパークラス:
+* ((|Algebra:MatrixAlgebraTriplet|))
+== メソッド:
+--- lefti
+    ((<left>)) の逆行列を返します。
+--- righti
+    ((<right>)) の逆行列を返します。
+--- to_a
+    (({[body, left, right, lefti, righti]})) という配列を返します。
+=end

data/doc-ja/permutation-group-ja.html ADDED

@@ -0,0 +1,159 @@
+<?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/permutation-group-ja.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<p>[<a href="index-ja.html">index-ja</a>]
+<a href="#label-0">Algebra::PermutationGroup</a>
+/
+<a href="#label-10">Algebra::Permutation</a></p>
+<h1><a name="label-0" id="label-0">Algebra::PermutationGroup</a></h1><!-- RDLabel: "Algebra::PermutationGroup" -->
+<p>置換群のクラスです。要素として <!-- Reference, RDLabel "Permutation" doesn't exist --><em class="label-not-found">Permutation</em><!-- Reference end --> のインスタンス
+が指定されているとします。</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>permutation-group.rb</var></li>
+</ul>
+<h2><a name="label-2" id="label-2">スーパークラス:</a></h2><!-- RDLabel: "スーパークラス:" -->
+<ul>
+<li><var>Group</var></li>
+</ul>
+<h2><a name="label-3" id="label-3">クラスメソッド:</a></h2><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-4" id="label-4"><code>::new(<var>u</var>, [<var>g0</var>, [<var>g1</var>, ...]])</code></a></dt><!-- RDLabel: "::new" -->
+<dd>
+<var>u</var> を単位元とし、<var>g0</var>, <var>g1</var>, ... で構成される群を
+返します。</dd>
+<dt><a name="label-5" id="label-5"><code>::unit_group(<var>d</var>)</code></a></dt><!-- RDLabel: "::unit_group" -->
+<dd>
+次数が <var>d</var> の単位群を返します。</dd>
+<dt><a name="label-6" id="label-6"><code>::unity(<var>n</var>)</code></a></dt><!-- RDLabel: "::unity" -->
+<dd>
+次数が <var>n</var> の単位元を返します。</dd>
+<dt><a name="label-7" id="label-7"><code>::perm(<var>a</var>)</code></a></dt><!-- RDLabel: "::perm" -->
+<dd>
+配列 <var>a</var> で表される置換を返します。</dd>
+<dt><a name="label-8" id="label-8"><code>::symmetric(<var>n</var>)</code></a></dt><!-- RDLabel: "::symmetric" -->
+<dd>
+<var>n</var> 次の対称群を返します。</dd>
+<dt><a name="label-9" id="label-9"><code>::alternate(<var>n</var>)</code></a></dt><!-- RDLabel: "::alternate" -->
+<dd>
+<var>n</var> 次の交代群を返します。</dd>
+</dl>
+<h1><a name="label-10" id="label-10">Algebra::Permutation</a></h1><!-- RDLabel: "Algebra::Permutation" -->
+<p>置換を表現するクラスです。</p>
+<h2><a name="label-11" id="label-11">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>permutation-group.rb</var></li>
+</ul>
+<h2><a name="label-12" id="label-12">スーパークラス:</a></h2><!-- RDLabel: "スーパークラス:" -->
+<ul>
+<li><var>Object</var></li>
+</ul>
+<h2><a name="label-13" id="label-13">インクルードしているモジュール:</a></h2><!-- RDLabel: "インクルードしているモジュール:" -->
+<ul>
+<li><var>Enumerable</var></li>
+<li><var>Powers</var></li>
+</ul>
+<h2><a name="label-14" id="label-14">クラスメソッド:</a></h2><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-15" id="label-15"><code>::new(<var>x</var>)</code></a></dt><!-- RDLabel: "::new" -->
+<dd>
+<var>x</var> という配列で表現される置換を生成します。</dd>
+<dt><a name="label-16" id="label-16"><code>::[[<var>n0</var>, [<var>n1</var>, [<var>n2</var>, ..., ]]]]</code></a></dt><!-- RDLabel: "::[]" -->
+<dd>
+<p><code>[n0, n1, n2, ..., ]</code> という置換を生成します。
+例</p>
+<pre>a = Permutation[1, 2, 0]
+p a**2 #=&gt; [2, 0, 1]
+p a**3 #=&gt; [0, 1, 2]</pre></dd>
+<dt><a name="label-17" id="label-17"><code>::unity(<var>d</var>)</code></a></dt><!-- RDLabel: "::unity" -->
+<dd>
+<var>d</var> 次の単位元を返します。</dd>
+<dt><a name="label-18" id="label-18"><code>::cyclic2perm(<var>c</var>, <var>n</var>)</code></a></dt><!-- RDLabel: "::cyclic2perm" -->
+<dd>
+<p><var>c</var> という巡回置換を表す配列の配列から、<!-- Reference, RDLabel "Permutation" doesn't exist --><em class="label-not-found">Permutation</em><!-- Reference end -->
+オブジェクトを生成します。<var>n</var> は次数です。
+<a href="#label-38">decompose_cyclic</a> の逆です。</p>
+<p>例: </p>
+<pre>Permutation.cyclic2perm([[1,6,5,4], [2,3]], 7) #=&gt; [0, 6, 3, 2, 1, 4, 5]
+Permutation[0, 6, 3, 2, 1, 4, 5].decompose_cyclic #=&gt; [[1,6,5,4], [2,3]]</pre></dd>
+</dl>
+<h2><a name="label-19" id="label-19">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-20" id="label-20"><code>unity</code></a></dt><!-- RDLabel: "unity" -->
+<dd>
+単位元を返します。</dd>
+<dt><a name="label-21" id="label-21"><code>perm</code></a></dt><!-- RDLabel: "perm" -->
+<dd>
+配列表現を返します。</dd>
+<dt><a name="label-22" id="label-22"><code>degree</code></a></dt><!-- RDLabel: "degree" -->
+<dd>
+次数を返します。</dd>
+<dt><a name="label-23" id="label-23"><code>size</code></a></dt><!-- RDLabel: "size" -->
+<dd>
+<a href="#label-22">degree</a> のエイリアスです。</dd>
+<dt><a name="label-24" id="label-24"><code>each</code></a></dt><!-- RDLabel: "each" -->
+<dd>
+置換の各元について繰り返します。</dd>
+<dt><a name="label-25" id="label-25"><code>eql?(<var>other</var>)</code></a></dt><!-- RDLabel: "eql?" -->
+<dd>
+<var>other</var> と等しいとき真を返します。</dd>
+<dt><a name="label-26" id="label-26"><code>==</code></a></dt><!-- RDLabel: "==" -->
+<dd>
+<var>eql?</var> のエイリアスです。</dd>
+<dt><a name="label-27" id="label-27"><code>hash</code></a></dt><!-- RDLabel: "hash" -->
+<dd>
+ハッシュ値を返します。</dd>
+<dt><a name="label-28" id="label-28"><code>[<var>i</var>]</code></a></dt><!-- RDLabel: "[]" -->
+<dd>
+<var>i</var> の置換先を返します。</dd>
+<dt><a name="label-29" id="label-29"><code>call</code></a></dt><!-- RDLabel: "call" -->
+<dd>
+<a href="#label-28">[]</a> のエイリアスです。</dd>
+<dt><a name="label-30" id="label-30"><code>index(<var>i</var>)</code></a></dt><!-- RDLabel: "index" -->
+<dd>
+<var>i</var> の置換元を返します。</dd>
+<dt><a name="label-31" id="label-31"><code>right_act(<var>other</var>)</code></a></dt><!-- RDLabel: "right_act" -->
+<dd>
+<var>other</var> に右からかけます。すなわち
+<code>(g.right_act(h))[x] == h[g[x]]</code> が成立します。</dd>
+<dt><a name="label-32" id="label-32"><code>*</code></a></dt><!-- RDLabel: "*" -->
+<dd>
+<a href="#label-31">right_act</a> のエイリアスです。</dd>
+<dt><a name="label-33" id="label-33"><code>left_act(<var>other</var>)</code></a></dt><!-- RDLabel: "left_act" -->
+<dd>
+<var>other</var> に左からからかけます。すなわち
+<code>(g.left_act(h))[x] == g[h[x]]</code> が成立します。</dd>
+<dt><a name="label-34" id="label-34"><code>inverse</code></a></dt><!-- RDLabel: "inverse" -->
+<dd>
+逆元を返します。</dd>
+<dt><a name="label-35" id="label-35"><code>inv</code></a></dt><!-- RDLabel: "inv" -->
+<dd>
+<var>inverse</var> のエイリアスです。</dd>
+<dt><a name="label-36" id="label-36"><code>sign</code></a></dt><!-- RDLabel: "sign" -->
+<dd>
+符号を返します。</dd>
+<dt><a name="label-37" id="label-37"><code>conjugate(<var>g</var>)</code></a></dt><!-- RDLabel: "conjugate" -->
+<dd>
+<var>g</var> による共役 <code>g * self * g.inv</code> を返します。</dd>
+<dt><a name="label-38" id="label-38"><code>decompose_cyclic</code></a></dt><!-- RDLabel: "decompose_cyclic" -->
+<dd>
+配列による巡回表現の配列を返します。
+<!-- Reference, RDLabel "::cyclic2perm(c, n)" doesn't exist --><em class="label-not-found">::cyclic2perm(c, n)</em><!-- Reference end --> の逆です。</dd>
+<dt><a name="label-39" id="label-39"><code>to_map</code></a></dt><!-- RDLabel: "to_map" -->
+<dd>
+<a href="finite-map-ja.html">Map</a> オブジェクト化します。</dd>
+<dt><a name="label-40" id="label-40"><code>decompose_transposition</code></a></dt><!-- RDLabel: "decompose_transposition" -->
+<dd>
+互換の配列に分解したものを返します。</dd>
+</dl>
+</body>
+</html>

data/doc-ja/permutation-group-ja.rd ADDED

@@ -0,0 +1,151 @@
+########################################################################
+#                                                                      #
+#   lib/permutation-group.rb                                           #
+#                                                                      #
+########################################################################
+=begin
+[((<index-ja|URL:index-ja.html>))]
+((<Algebra::PermutationGroup>))
+/
+((<Algebra::Permutation>))
+= Algebra::PermutationGroup
+置換群のクラスです。要素として ((<Permutation>)) のインスタンス
+が指定されているとします。
+== ファイル名:
+* ((|permutation-group.rb|))
+== スーパークラス:
+* ((|Group|))
+== クラスメソッド:
+--- ::new(u, [g0, [g1, ...]])
+    ((|u|)) を単位元とし、((|g0|)), ((|g1|)), ... で構成される群を
+    返します。
+--- ::unit_group(d)
+    次数が ((|d|)) の単位群を返します。
+--- ::unity(n)
+    次数が ((|n|)) の単位元を返します。
+--- ::perm(a)
+    配列 ((|a|)) で表される置換を返します。
+--- ::symmetric(n)
+    ((|n|)) 次の対称群を返します。
+--- ::alternate(n)
+    ((|n|)) 次の交代群を返します。
+= Algebra::Permutation
+置換を表現するクラスです。
+== ファイル名:
+* ((|permutation-group.rb|))
+== スーパークラス:
+* ((|Object|))
+== インクルードしているモジュール:
+* ((|Enumerable|))
+* ((|Powers|))
+== クラスメソッド:
+--- ::new(x)
+    ((|x|)) という配列で表現される置換を生成します。
+--- ::[]([n0, [n1, [n2, ..., ]]])
+    (({[n0, n1, n2, ..., ]})) という置換を生成します。
+    例
+      a = Permutation[1, 2, 0]
+      p a**2 #=> [2, 0, 1]
+      p a**3 #=> [0, 1, 2]
+--- ::unity(d)
+    ((|d|)) 次の単位元を返します。
+--- ::cyclic2perm(c, n)
+    ((|c|)) という巡回置換を表す配列の配列から、((<Permutation>))
+    オブジェクトを生成します。((|n|)) は次数です。
+    ((<decompose_cyclic>)) の逆です。
+    例:
+      Permutation.cyclic2perm([[1,6,5,4], [2,3]], 7) #=> [0, 6, 3, 2, 1, 4, 5]
+      Permutation[0, 6, 3, 2, 1, 4, 5].decompose_cyclic #=> [[1,6,5,4], [2,3]]
+== メソッド:
+--- unity
+    単位元を返します。
+--- perm
+    配列表現を返します。
+--- degree
+    次数を返します。
+--- size
+    ((<degree>)) のエイリアスです。
+--- each
+    置換の各元について繰り返します。
+--- eql?(other)
+    ((|other|)) と等しいとき真を返します。
+--- ==
+    ((|eql?|)) のエイリアスです。
+--- hash
+    ハッシュ値を返します。
+--- [](i)
+    ((|i|)) の置換先を返します。
+--- call
+    ((<[]>)) のエイリアスです。
+--- index(i)
+    ((|i|)) の置換元を返します。
+--- right_act(other)
+    ((|other|)) に右からかけます。すなわち
+    (({(g.right_act(h))[x] == h[g[x]]})) が成立します。
+--- *
+    ((<right_act>)) のエイリアスです。
+--- left_act(other)
+    ((|other|)) に左からからかけます。すなわち
+    (({(g.left_act(h))[x] == g[h[x]]})) が成立します。
+--- inverse
+    逆元を返します。
+--- inv
+    ((|inverse|)) のエイリアスです。
+--- sign
+    符号を返します。
+--- conjugate(g)
+    ((|g|)) による共役 (({g * self * g.inv})) を返します。
+--- decompose_cyclic
+    配列による巡回表現の配列を返します。
+    ((<::cyclic2perm(c, n)>)) の逆です。
+--- to_map
+    ((<Map|URL:finite-map-ja.html>)) オブジェクト化します。
+--- decompose_transposition
+    互換の配列に分解したものを返します。
+=end