algebra 0.2.1

data/doc-ja/finite-group-ja.rd

@@ -0,0 +1,276 @@
+########################################################################
+#                                                                      #
+#   lib/finite-group.rb                                                #
+#                                                                      #
+########################################################################
+=begin
+[((<index-ja|URL:index-ja.html>))] 
+((<Algebra::OperatorDomain>))
+/
+((<Algebra::Set>))
+/
+((<Algebra::Group>))
+/
+((<Algebra::QuotientGroup>))
+
+= Algebra::OperatorDomain
+
+群が作用する集合の性質を集めたモジュールです。
+((<Group>)) クラスがインクルードしています。
+
+== ファイル名:
+* ((|finite-group.rb|))
+
+== メソッド:
+
+--- right_act(other)
+    ((|self|)) と ((|other|)) の積を返します。すなわち ((|self|))
+    の元 ((|x|)) と ((|other|)) の元 ((|y|)) に対して (({x * y})) の
+    形の元の集合（((|Set|))）を返します。
+
+--- act
+    ((<right_act>)) のエイリアスです。
+
+--- left_act(other)
+    ((|self|)) と ((|other|)) の積を返します。すなわち ((|self|))
+    の元 ((|x|)) と ((|other|)) の元 ((|y|)) に対して (({y * x})) の
+    形の元の集合（((|Set|))）を返します。
+
+--- right_quotient(other)
+    ((|self|)) を ((|other|)) で割った右剰余類の集合（((|Set|))）
+    を返します。
+
+--- quotient
+--- right_coset
+--- coset
+    ((<right_quotient>)) のエイリアスです。
+
+--- left_quotient(other)
+    ((|self|)) を ((|other|)) で割った左剰余類の集合（((|Set|))）
+    を返します。
+
+--- left_coset
+    ((<left_quotient>)) のエイリアスです。
+
+--- right_representatives(other)
+    右剰余類 ((<right_quotient>)) から取った代表元の集合を返します。
+
+--- representatives
+    ((<right_representatives>)) のエイリアスです。
+
+--- left_representatives(other)
+    左剰余類 ((<left_quotient>)) から取った代表元の集合を返します。
+
+--- right_orbit!(other)
+    ((|self|)) を ((|other|)) を繰り返し右から作用させて広げます。
+    作用は ((|*|)) によります。
+
+--- orbit!
+    ((<right_orbit!>)) のエイリアスです。
+
+--- left_orbit!(other)
+    ((|self|)) を ((|other|)) を繰り返し左から作用させて広げます。
+    作用は ((|*|)) によります。
+    
+
+= Algebra::Set
+
+== ファイル名:
+* ((|finite-group.rb|))
+  ここでは ((|finite-set.rb|)) で定義された ((<Set|URL:finite-set.html>))
+  に付け加えるべきメソッドを定義しています。
+
+== インクルードしているモジュール:
+
+* ((|OperatorDomain|))
+
+== メソッド:
+
+--- *
+    ((<act>)) のエイリアスです。
+
+--- /
+    ((<quotient>)) のエイリアスです。
+
+--- %
+    ((<representatives>)) のエイリアスです。
+
+--- increasing_series([x])
+    ((|x|)) から始まる増大列の配列を返します。これは次のコードと同値
+    です。
+
+      def increasing_series(x = unit_group)
+        a = []
+        loop do
+          a.push x
+          if x >= (y = yield x)
+            break
+          end
+          x = y
+        end
+        a
+      end
+
+--- decreasing_series([x])
+    ((|x|)) から始まる減少の配列を返します。これは次のコードと同値
+    です。
+
+      def decreasing_series(x = self)
+        a = []
+        loop do
+          a.push x
+          if x <= (y = yield x)
+            break
+          end
+          x = y
+        end
+        a
+      end
+
+= Algebra::Group
+
+== ファイル名:
+* ((|finite-group.rb|))
+
+== スーパークラス:
+* ((|Set|))
+
+== クラスメソッド:
+
+--- ::new(u, [g0, g1, ...]])
+    ((|u|)) を単位元とし、((|g0|)), ((|g1|)), ... で構成される群を
+    返します。
+
+--- ::generate_strong(u, [g0, [g1, ...]])
+    単位元を ((|u|))、強生成元を ((|g0|)), ((|g1|)), ... として、
+    生成される群を返します。
+
+== メソッド:
+
+--- quotient_group(u)
+    正規部分群 ((|u|)) による剰余群を返します。
+
+--- separate
+    ブロックを真とする元からなる部分群を返します。
+
+--- to_a
+    各要素を配列にして返します。最初の要素は単位元です。
+
+--- unity
+    単位元を返します。
+
+--- unit_group
+    単位元で生成される単位群を返します。
+
+--- semi_complete!
+    現在の要素を掛け合わせて半群を構成します。
+
+--- semi_complete
+    現在の要素を掛け合わせて半群を構成たものを返します。
+
+--- complete!
+    現在の要素を掛け合わせて群を構成します。
+
+--- complete
+    現在の要素を掛け合わせて群を構成たものを返します。
+
+--- closed?
+    群として閉じているとき真を返します。
+
+--- subgroups
+    全ての部分群の集合を返します。
+
+--- centralizer(s)
+    ((|self|)) における ((|s|)) の中心化群を返します。
+
+--- center
+    ((|self|)) の中心化群を返します。
+
+--- center?(x)
+    ((|self|)) の中で元 ((|x|)) が中心に含まれているとき、真を返します。
+
+--- normalizer(s)
+    ((|self|)) における ((|s|)) の正規化群を返します。
+
+--- normal?(s)
+    ((|s|)) が ((|self|)) の正規部分群であるとき真を返します。
+
+--- normal_subgroups
+    全ての正規部分群の集合を返します。
+
+--- conjugacy_class(x)
+    元 ((|x|)) の共役類を返します
+
+--- conjugacy_classes
+    ((|self|)) の全ての共役類の集合を返します。
+
+--- simple?
+    単純群であるとき、真を返します。
+
+--- commutator([h])
+    ((|self|)) と ((|h|)) との交換子群を返します。((|h|)) を省略
+    すると ((|self|)) が用いられます。
+
+--- D([n])
+    ((|n|)) 番目の交換子群を返します。(({D(0) = 自分自身})),
+    (({D(n+1) = [D[n], D[n]]})) で定義されています。
+    ((|n|)) を省略すると 1 が用いられます。
+
+--- commutator_series
+    (({[D(0), D(1), D(2),..., D(n)]})) という配列を返します。この配列は
+    (({D(n) == D(n+1)})) となる ((|n|)) で停止します。 
+
+--- solvable?
+    可解群であるとき真を返します。
+
+--- K([n])
+    (({K(0) = 自分自身})),
+    (({K(n+1) = [self, K[n]]})) で定義される群を返します。
+    ((|n|)) を省略すると 1 が用いられます。
+
+--- descending_central_series
+    降中心列
+    (({[K(0), K(1), K(2),..., K(n)]})) という配列を返します。この配列は
+    (({K(n) == K(n+1)})) となる ((|n|)) で停止します。 
+
+--- Z([n])
+    (({Z(0) = 単位群})),
+    (({Z(n+1) = separate{|x| commutator(Set[x]) <= Z(n-1)}})) 
+    で定義される群を返します。
+    ((|n|)) を省略すると 1 が用いられます。
+
+--- ascending_central_series
+    昇中心列
+    (({[Z(0), Z(1), Z(2),..., Z(n)]})) という配列を返します。この配列は
+    (({Z(n) == Z(n+1)})) となる ((|n|)) で停止します。 
+
+--- nilpotent?
+    冪零群であるとき真を返します。
+
+--- nilpotency_class
+    冪零クラスを返します。冪例群でないとき ((|nil|)) を返します。
+
+
+= Algebra::QuotientGroup
+
+== ファイル名:
+* ((|finite-group.rb|))
+
+== スーパークラス:
+* ((|Group|))
+
+== クラスメソッド:
+--- new(u, [g0, [g1,...]])
+    ((|self|)) の正規部分群を ((|u|)) として、
+    ((|u|)), ((|g0|)), ((|g1|)), .. を剰余類とする剰余群を返します。
+
+== メソッド:
+
+--- inverse
+    逆元を返します
+
+--- inv
+    ((<inverse>)) のエイリアスです。
+
+=end
+

data/doc-ja/finite-map-ja.html

@@ -0,0 +1,224 @@
+<?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/finite-map-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="finite-set-ja.html">finite-set-ja</a>] 
+<a href="#label-0">Algebra::Map</a></p>
+<h1><a name="label-0" id="label-0">Algebra::Map</a></h1><!-- RDLabel: "Algebra::Map" -->
+<p><em>写像クラス</em></p>
+<p>写像を表現するクラスです。</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>finite-map.rb</var></li>
+</ul>
+<h2><a name="label-2" id="label-2">スーパークラス:</a></h2><!-- RDLabel: "スーパークラス:" -->
+<ul>
+<li><var>Set</var></li>
+</ul>
+<h2><a name="label-3" id="label-3">インクルードしているモジュール:</a></h2><!-- RDLabel: "インクルードしているモジュール:" -->
+<ul>
+<li><var>Powers</var></li>
+</ul>
+<h2><a name="label-4" id="label-4">クラスメソッド:</a></h2><!-- RDLabel: "クラスメソッド:" -->
+<dl>
+<dt><a name="label-5" id="label-5"><code>::[[<var>x0</var> =&gt; <var>y0</var>, [<var>x1</var> =&gt; <var>y1</var>, [<var>x2</var> =&gt; <var>y2</var>, ...]]]]</code></a></dt><!-- RDLabel: "::[]" -->
+<dd>
+<p><var>x0</var> の時 <var>y0</var>, <var>x1</var> の時 <var>y1</var>, <var>x2</var> の時 <var>y2</var>,..
+という値を持つ写像を返します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+p Map[0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12]         #=&gt; {0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12}
+p Map[{0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12}]       #=&gt; {0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12}
+p Map.new(0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12)     #=&gt; {0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12}
+p Map.new({0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12})   #=&gt; {0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12}
+p Map.new_a([0, 10, 1, 11, 2, 12])       #=&gt; {0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12}</pre></dd>
+<dt><a name="label-6" id="label-6"><code>::new([<var>x0</var> =&gt; <var>y0</var>, [<var>x1</var> =&gt; <var>y1</var>, [<var>x2</var> =&gt; <var>y2</var>, ...]]])</code></a></dt><!-- RDLabel: "::new" -->
+<dd>
+<var>x0</var> の時 <var>y0</var>, <var>x1</var> の時 <var>y1</var>, <var>x2</var> の時 <var>y</var>,..
+という値を持つ写像を返します。<a href="#label-5">::[]</a> と同じです。</dd>
+<dt><a name="label-7" id="label-7"><code>::new_a(<var>a</var>)</code></a></dt><!-- RDLabel: "::new_a" -->
+<dd>
+配列 a の偶数番目を定義域の元、奇数番目を値域の元として定義される
+写像を生成します。</dd>
+<dt><a name="label-8" id="label-8"><code>::phi([<var>t</var>])</code></a></dt><!-- RDLabel: "::phi" -->
+<dd>
+<p>空写像（定義域が空集合である写像）を返します。集合 <var>t</var> を
+引数にすると、それを定義域 <a href="#label-14">target</a> にします。</p>
+<p>例: </p>
+<pre>p Map.phi #=&gt; {}
+p Map.phi(Set[0, 1]) #=&gt; {}
+p Map.phi(Set[0, 1]).target #=&gt; {0, 1}</pre></dd>
+<dt><a name="label-9" id="label-9"><code>::empty_set</code></a></dt><!-- RDLabel: "::empty_set" -->
+<dd>
+<a href="#label-8">::phi</a> のエイリアスです。</dd>
+<dt><a name="label-10" id="label-10"><code>::singleton(<var>x</var>, <var>y</var>)</code></a></dt><!-- RDLabel: "::singleton" -->
+<dd>
+ただ一つの元で構成される集合 <code>{x}</code> 上で定義された <var>y</var> という
+値を取る関数を返します。</dd>
+</dl>
+<h2><a name="label-11" id="label-11">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-12" id="label-12"><code>target=(<var>s</var>)</code></a></dt><!-- RDLabel: "target=" -->
+<dd>
+写像の値域を <var>s</var> に設定します。<a href="#label-42">surjective?</a> などに
+利用されます。</dd>
+<dt><a name="label-13" id="label-13"><code>codomain=(<var>s</var>)</code></a></dt><!-- RDLabel: "codomain=" -->
+<dd>
+<a href="#label-12">target=</a> のエイリアスです。</dd>
+<dt><a name="label-14" id="label-14"><code>target</code></a></dt><!-- RDLabel: "target" -->
+<dd>
+写像の値域を返します。</dd>
+<dt><a name="label-15" id="label-15"><code>codomain</code></a></dt><!-- RDLabel: "codomain" -->
+<dd>
+<a href="#label-14">target</a> のエイリアスです。</dd>
+<dt><a name="label-16" id="label-16"><code>source</code></a></dt><!-- RDLabel: "source" -->
+<dd>
+<p>写像の定義域を返します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+m = Map[0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12]
+p m.source #=&gt; {0, 1, 2}
+p m.target #=&gt; nil
+m.target = Set[10, 11, 12, 13]
+p m.target #=&gt; {10, 11, 12, 13}</pre></dd>
+<dt><a name="label-17" id="label-17"><code>domain</code></a></dt><!-- RDLabel: "domain" -->
+<dd>
+<a href="#label-16">source</a> のエイリアスです。</dd>
+<dt><a name="label-18" id="label-18"><code>phi([<var>t</var>])</code></a></dt><!-- RDLabel: "phi" -->
+<dd>
+値域を <var>t</var> とする空の写像を返します。</dd>
+<dt><a name="label-19" id="label-19"><code>empty_set</code></a></dt><!-- RDLabel: "empty_set" -->
+<dt><a name="label-20" id="label-20"><code>null</code></a></dt><!-- RDLabel: "null" -->
+<dd>
+<a href="#label-18">phi</a> のエイリアスです。</dd>
+<dt><a name="label-21" id="label-21"><code>call(<var>x</var>)</code></a></dt><!-- RDLabel: "call" -->
+<dd>
+写像の <var>x</var> における値を返します。</dd>
+<dt><a name="label-22" id="label-22"><code>act</code></a></dt><!-- RDLabel: "act" -->
+<dt><a name="label-23" id="label-23"><code>[]</code></a></dt><!-- RDLabel: "[]" -->
+<dd>
+<a href="#label-21">call</a> のエイリアスです。</dd>
+<dt><a name="label-24" id="label-24"><code>each</code></a></dt><!-- RDLabel: "each" -->
+<dd>
+<p>すべての <code>[原像, 像]</code> について繰り返すイテレータです。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+Map[0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12].each do |x, y|
+  p [x, y] #=&gt; [1, 11], [0, 10], [2, 12]
+end</pre></dd>
+<dt><a name="label-25" id="label-25"><code>compose(<var>other</var>)</code></a></dt><!-- RDLabel: "compose" -->
+<dd>
+<p><var>self</var> と <var>other</var> の合成写像を返します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+f = Map.new(0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12)
+g = Map.new(10 =&gt; 20, 11 =&gt; 21, 12 =&gt; 22)
+p g * f #=&gt; {0 =&gt; 20, 1 =&gt; 21, 2 =&gt; 22}</pre></dd>
+<dt><a name="label-26" id="label-26"><code>*</code></a></dt><!-- RDLabel: "*" -->
+<dd>
+<a href="#label-25">compose</a> のエイリアスです。</dd>
+<dt><a name="label-27" id="label-27"><code>dup</code></a></dt><!-- RDLabel: "dup" -->
+<dd>
+自身の複製を返します。値域の値も返します。</dd>
+<dt><a name="label-28" id="label-28"><code>append!(<var>x</var>, <var>y</var>)</code></a></dt><!-- RDLabel: "append!" -->
+<dd>
+<p><var>x</var> で <var>y</var> という値を取るように設定します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+m = Map[0 =&gt; 10, 1 =&gt; 11]
+m.append!(2, 12)
+p m #=&gt; {0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12}</pre></dd>
+<dt><a name="label-29" id="label-29"><code>[<var>x</var>] = <var>y</var></code></a></dt><!-- RDLabel: "[]=" -->
+<dd>
+<a href="#label-28">append!</a> のエイリアスです。</dd>
+<dt><a name="label-30" id="label-30"><code>append(<var>x</var>, <var>y</var>)</code></a></dt><!-- RDLabel: "append" -->
+<dd>
+<a href="#label-27">dup</a> の後、<a href="#label-28">append!</a>(x, y) したものを返します。</dd>
+<dt><a name="label-31" id="label-31"><code>include?(<var>x</var>)</code></a></dt><!-- RDLabel: "include?" -->
+<dd>
+<var>x</var> が定義域に含まれるとき真を返します。</dd>
+<dt><a name="label-32" id="label-32"><code>contains?(<var>x</var>)</code></a></dt><!-- RDLabel: "contains?" -->
+<dd>
+<a href="#label-31">include?</a> のエイリアスです。</dd>
+<dt><a name="label-33" id="label-33"><code>member?(<var>a</var>)</code></a></dt><!-- RDLabel: "member?" -->
+<dd>
+<p><var>a</var> を配列 <code>[x, y]</code> としたとき、<var>x</var> における値が
+<var>y</var> となるとき、真を返します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+m = Map[0 =&gt; 10, 1 =&gt; 11]
+p m.include?(1)  #=&gt; true
+p m.member?([1, 11]) #=&gt; true</pre></dd>
+<dt><a name="label-34" id="label-34"><code>has?</code></a></dt><!-- RDLabel: "has?" -->
+<dd>
+member? のエイリアスです。</dd>
+<dt><a name="label-35" id="label-35"><code>image([<var>s</var>])</code></a></dt><!-- RDLabel: "image" -->
+<dd>
+写像の像を返します。定義域の部分集合 <var>s</var> が与えられれば、
+<var>s</var> の像を返します。</dd>
+<dt><a name="label-36" id="label-36"><code>inv_image(<var>s</var>)</code></a></dt><!-- RDLabel: "inv_image" -->
+<dd>
+集合 <var>s</var> の原像を返します。</dd>
+<dt><a name="label-37" id="label-37"><code>map_s</code></a></dt><!-- RDLabel: "map_s" -->
+<dd>
+<p>写像の各 [原像, 像] のペアについて繰り返し、ブロックで得た
+値の集合を返します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+p Map.new(0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12).map_s{|x, y| y - 2*x}
+#=&gt; Set[10, 9, 8]</pre></dd>
+<dt><a name="label-38" id="label-38"><code>map_m</code></a></dt><!-- RDLabel: "map_m" -->
+<dd>
+<p>写像の各 [原像, 像] のペアについて繰り返し、ブロックで得た
+値の配列で構成される写像を返します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+p Map.new(0 =&gt; 10, 1 =&gt; 11, 2 =&gt; 12).map_m{|x, y| [y, x]}
+#=&gt; {10 =&gt; 0, 11 =&gt; 1, 12 =&gt; 2}</pre></dd>
+<dt><a name="label-39" id="label-39"><code>inverse</code></a></dt><!-- RDLabel: "inverse" -->
+<dd>
+逆写像を返します。</dd>
+<dt><a name="label-40" id="label-40"><code>inv_coset</code></a></dt><!-- RDLabel: "inv_coset" -->
+<dd>
+<p>各像に逆像の集合を対応させる写像を返します。</p>
+<p>例: </p>
+<pre>require "finite-map"
+include Algebra
+m = Map[0=&gt;0, 1=&gt;0, 2=&gt;2, 3=&gt;2, 4=&gt;0]
+p m.inv_coset #=&gt; {0=&gt;{0, 1, 4}, 2=&gt;{2, 3}}
+m.codomain = Set[0, 1, 2, 3]
+p m.inv_coset #=&gt; {0=&gt;{0, 1, 4}, 1=&gt;{}, 2=&gt;{2, 3}, 3=&gt;{}}</pre></dd>
+<dt><a name="label-41" id="label-41"><code>indentity?</code></a></dt><!-- RDLabel: "indentity?" -->
+<dd>
+恒等写像であるとき、真を返します。</dd>
+<dt><a name="label-42" id="label-42"><code>surjective?</code></a></dt><!-- RDLabel: "surjective?" -->
+<dd>
+全射である時、真を返します。あらかじめ <a href="#label-14">target</a> が指定されて
+いる必要があります。</dd>
+<dt><a name="label-43" id="label-43"><code>injective?</code></a></dt><!-- RDLabel: "injective?" -->
+<dd>
+単射である時、真を返します。</dd>
+<dt><a name="label-44" id="label-44"><code>bijective?</code></a></dt><!-- RDLabel: "bijective?" -->
+<dd>
+全単射である時、真を返します。あらかじめ <a href="#label-14">target</a> が指定されて
+いる必要があります。</dd>
+</dl>
+
+</body>
+</html>