RubyGems - algebra - Versions diffs - 0.2.1 - Mend

algebra 0.2.1

Files changed (199) hide show

checksums.yaml +7 -0
data/.gitignore +53 -0
data/.travis.yml +7 -0
data/CODE_OF_CONDUCT.md +49 -0
data/Gemfile +7 -0
data/Gemfile.lock +28 -0
data/LICENSE.txt +21 -0
data/README-ja.txt +60 -0
data/README.md +61 -0
data/Rakefile +43 -0
data/algebra.gemspec +33 -0
data/bin/console +14 -0
data/bin/setup +8 -0
data/doc-ja/README-ja.html +69 -0
data/doc-ja/README-ja.rd +60 -0
data/doc-ja/README.html +0 -0
data/doc-ja/README.rd +0 -0
data/doc-ja/algebra-ja.html +66 -0
data/doc-ja/algebra-ja.rd +60 -0
data/doc-ja/algebraic-equation-ja.html +36 -0
data/doc-ja/algebraic-equation-ja.rd +26 -0
data/doc-ja/algebraic-extension-field-ja.html +122 -0
data/doc-ja/algebraic-extension-field-ja.rd +118 -0
data/doc-ja/algebraic-parser-ja.html +87 -0
data/doc-ja/algebraic-parser-ja.rd +95 -0
data/doc-ja/changes.html +161 -0
data/doc-ja/changes.rd +119 -0
data/doc-ja/elementary-divisor-ja.html +56 -0
data/doc-ja/elementary-divisor-ja.rd +45 -0
data/doc-ja/euclidian-ring-ja.html +78 -0
data/doc-ja/euclidian-ring-ja.rd +69 -0
data/doc-ja/finite-group-ja.html +285 -0
data/doc-ja/finite-group-ja.rd +276 -0
data/doc-ja/finite-map-ja.html +224 -0
data/doc-ja/finite-map-ja.rd +227 -0
data/doc-ja/finite-set-ja.html +393 -0
data/doc-ja/finite-set-ja.rd +408 -0
data/doc-ja/index-ja.html +113 -0
data/doc-ja/index-ja.rd +112 -0
data/doc-ja/jordan-form-ja.html +106 -0
data/doc-ja/jordan-form-ja.rd +99 -0
data/doc-ja/localized-ring-ja.html +121 -0
data/doc-ja/localized-ring-ja.rd +131 -0
data/doc-ja/m-polynomial-ja.html +542 -0
data/doc-ja/m-polynomial-ja.rd +596 -0
data/doc-ja/matrix-algebra-ja.html +686 -0
data/doc-ja/matrix-algebra-ja.rd +727 -0
data/doc-ja/matrix-algebra-triplet-ja.html +124 -0
data/doc-ja/matrix-algebra-triplet-ja.rd +129 -0
data/doc-ja/permutation-group-ja.html +159 -0
data/doc-ja/permutation-group-ja.rd +151 -0
data/doc-ja/polynomial-converter-ja.html +64 -0
data/doc-ja/polynomial-converter-ja.rd +54 -0
data/doc-ja/polynomial-ja.html +446 -0
data/doc-ja/polynomial-ja.rd +473 -0
data/doc-ja/residue-class-ring-ja.html +112 -0
data/doc-ja/residue-class-ring-ja.rd +113 -0
data/doc-ja/sample-algebraic-equation01.rb.v.rd +11 -0
data/doc-ja/sample-algebraic-equation02.rb.v.rd +11 -0
data/doc-ja/sample-algebraic-root01.rb.v.rd +20 -0
data/doc-ja/sample-algebraicfield01.rb.v.rd +26 -0
data/doc-ja/sample-algebraicfield02.rb.v.rd +15 -0
data/doc-ja/sample-cayleyhamilton01.rb.v.rd +14 -0
data/doc-ja/sample-diagonalization01.rb.v.rd +48 -0
data/doc-ja/sample-divmod01.rb.v.rd +17 -0
data/doc-ja/sample-elementary-divisor01.rb.v.rd +48 -0
data/doc-ja/sample-factorize01.rb.v.rd +11 -0
data/doc-ja/sample-factorize02.rb.v.rd +13 -0
data/doc-ja/sample-factorize03.rb.v.rd +14 -0
data/doc-ja/sample-factorize04.rb.v.rd +14 -0
data/doc-ja/sample-factorize05.rb.v.rd +53 -0
data/doc-ja/sample-galois-group01.rb.v.rd +27 -0
data/doc-ja/sample-gaussian-elimination01.rb.v.rd +19 -0
data/doc-ja/sample-geometry01.rb.v.rd +33 -0
data/doc-ja/sample-geometry02.rb.v.rd +34 -0
data/doc-ja/sample-geometry03.rb.v.rd +45 -0
data/doc-ja/sample-geometry04.rb.v.rd +33 -0
data/doc-ja/sample-geometry07.rb.v.rd +62 -0
data/doc-ja/sample-groebner01.rb.v.rd +13 -0
data/doc-ja/sample-groebner02.rb.v.rd +18 -0
data/doc-ja/sample-groebner03.rb.v.rd +19 -0
data/doc-ja/sample-group01.rb.v.rd +21 -0
data/doc-ja/sample-jordan-form01.rb.v.rd +56 -0
data/doc-ja/sample-jordanform01.rb.v.rd +55 -0
data/doc-ja/sample-lagrange-multiplier01.rb.v.rd +35 -0
data/doc-ja/sample-m-factorize01.rb.v.rd +15 -0
data/doc-ja/sample-m-factorize02.rb.v.rd +12 -0
data/doc-ja/sample-m-polynomial01.rb.v.rd +10 -0
data/doc-ja/sample-map01.rb.v.rd +9 -0
data/doc-ja/sample-polynomial01.rb.v.rd +9 -0
data/doc-ja/sample-polynomial02.rb.v.rd +11 -0
data/doc-ja/sample-primefield01.rb.v.rd +13 -0
data/doc-ja/sample-quotientfield01.rb.v.rd +11 -0
data/doc-ja/sample-quotientfield02.rb.v.rd +18 -0
data/doc-ja/sample-quotientfield03.rb.v.rd +16 -0
data/doc-ja/sample-quotientfield04.rb.v.rd +16 -0
data/doc-ja/sample-set01.rb.v.rd +18 -0
data/doc-ja/sample-splitting-field01.rb.v.rd +19 -0
data/doc-ja/samples-ja.html +885 -0
data/doc-ja/samples-ja.rd +221 -0
data/doc-ja/style.css +85 -0
data/doc-ja/todo.html +20 -0
data/doc-ja/todo.rd +9 -0
data/lib/algebra.rb +36 -0
data/lib/algebra/algebraic-equation.rb +56 -0
data/lib/algebra/algebraic-extension-field.rb +135 -0
data/lib/algebra/algebraic-parser.rb +160 -0
data/lib/algebra/algebraic-system.rb +224 -0
data/lib/algebra/annihilate.rb +52 -0
data/lib/algebra/array-supplement.rb +53 -0
data/lib/algebra/auto-require.rb +84 -0
data/lib/algebra/chinese-rem-th.rb +135 -0
data/lib/algebra/combinatorial.rb +145 -0
data/lib/algebra/elementary-divisor.rb +193 -0
data/lib/algebra/euclidian-ring.rb +161 -0
data/lib/algebra/factors.rb +305 -0
data/lib/algebra/finite-group.rb +374 -0
data/lib/algebra/finite-map.rb +201 -0
data/lib/algebra/finite-set.rb +456 -0
data/lib/algebra/galois-group.rb +129 -0
data/lib/algebra/gaussian-elimination.rb +385 -0
data/lib/algebra/groebner-basis-coeff.rb +228 -0
data/lib/algebra/groebner-basis.rb +197 -0
data/lib/algebra/import-module-single-thread.rb +86 -0
data/lib/algebra/import-module.rb +491 -0
data/lib/algebra/jordan-form.rb +114 -0
data/lib/algebra/linear-algebra.rb +143 -0
data/lib/algebra/localized-ring.rb +294 -0
data/lib/algebra/m-index.rb +282 -0
data/lib/algebra/m-polynomial-factor-int.rb +186 -0
data/lib/algebra/m-polynomial-factor-zp.rb +114 -0
data/lib/algebra/m-polynomial-factor.rb +315 -0
data/lib/algebra/m-polynomial-gcd.rb +40 -0
data/lib/algebra/m-polynomial.rb +875 -0
data/lib/algebra/matrix-algebra-triplet.rb +292 -0
data/lib/algebra/matrix-algebra.rb +929 -0
data/lib/algebra/numeric-supplement.rb +123 -0
data/lib/algebra/permutation-group.rb +257 -0
data/lib/algebra/polynomial-converter.rb +193 -0
data/lib/algebra/polynomial-factor-alg.rb +148 -0
data/lib/algebra/polynomial-factor-int.rb +252 -0
data/lib/algebra/polynomial-factor-zp.rb +165 -0
data/lib/algebra/polynomial-factor.rb +140 -0
data/lib/algebra/polynomial.rb +592 -0
data/lib/algebra/powers.rb +31 -0
data/lib/algebra/prime-gen.rb +32 -0
data/lib/algebra/rational.rb +81 -0
data/lib/algebra/residue-class-ring.rb +219 -0
data/lib/algebra/sets-system.rb +43 -0
data/lib/algebra/splitting-field.rb +103 -0
data/lib/algebra/version.rb +3 -0
data/sample/Makefile +10 -0
data/sample/do-testscripts.rb +100 -0
data/sample/sample-algebraic-equation01.rb +6 -0
data/sample/sample-algebraic-equation02.rb +6 -0
data/sample/sample-algebraic-root01.rb +15 -0
data/sample/sample-algebraicfield01.rb +21 -0
data/sample/sample-algebraicfield02.rb +10 -0
data/sample/sample-cayleyhamilton01.rb +9 -0
data/sample/sample-diagonalization01.rb +43 -0
data/sample/sample-divmod01.rb +12 -0
data/sample/sample-elementary-divisor01.rb +43 -0
data/sample/sample-factorize01.rb +6 -0
data/sample/sample-factorize02.rb +8 -0
data/sample/sample-factorize03.rb +9 -0
data/sample/sample-factorize04.rb +9 -0
data/sample/sample-factorize05.rb +48 -0
data/sample/sample-galois-group01.rb +22 -0
data/sample/sample-gaussian-elimination01.rb +14 -0
data/sample/sample-geometry01.rb +28 -0
data/sample/sample-geometry02.rb +29 -0
data/sample/sample-geometry03.rb +40 -0
data/sample/sample-geometry04.rb +28 -0
data/sample/sample-geometry07.rb +58 -0
data/sample/sample-groebner01.rb +8 -0
data/sample/sample-groebner02.rb +13 -0
data/sample/sample-groebner03.rb +14 -0
data/sample/sample-group01.rb +16 -0
data/sample/sample-jordan-form01.rb +51 -0
data/sample/sample-lagrange-multiplier01.rb +30 -0
data/sample/sample-m-factorize01.rb +10 -0
data/sample/sample-m-factorize02.rb +7 -0
data/sample/sample-m-polynomial01.rb +5 -0
data/sample/sample-map01.rb +4 -0
data/sample/sample-polynomial01.rb +4 -0
data/sample/sample-polynomial02.rb +6 -0
data/sample/sample-primefield01.rb +8 -0
data/sample/sample-quotientfield01.rb +6 -0
data/sample/sample-quotientfield02.rb +13 -0
data/sample/sample-quotientfield03.rb +11 -0
data/sample/sample-quotientfield04.rb +11 -0
data/sample/sample-set01.rb +13 -0
data/sample/sample-splitting-field01.rb +14 -0
data/sample/test-00-cayley-hamilton.rb +76 -0
data/sample/test-00-groebner-basis.rb +274 -0
data/sample/test-00-polynomial-factor-alg.rb +89 -0
data/sample/test-00.list +4 -0
data/sample/time-trial.rb +65 -0
metadata +373 -0

data/doc-ja/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