algebra 0.2.1

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

@@ -0,0 +1,408 @@
+########################################################################
+#                                                                      #
+#   finite-set.rb                                                      #
+#                                                                      #
+########################################################################
+=begin
+[((<index-ja|URL:index-ja.html>))] 
+[((<finite-map-ja|URL:finite-map-ja.html>))] 
+((<Algebra::Set>))
+/
+((<Enumerable>))
+
+= Algebra::Set
+((*集合のクラス*))
+
+集合を表現するクラスです。２つの集合 ((|s|)), ((|t|)) に関して、
+((|s|)) が ((|t|)) に含まれる事は ((<all?>)) を使って、
+
+  s.all?{|x| t.member?(x)}
+
+で表現されます。
+
+== ファイル名:
+* ((|finite-set.rb|))
+
+== スーパークラス:
+* ((|Object|))
+
+== インクルードしているモジュール:
+
+* ((|Enumerable|))
+
+== クラスメソッド:
+
+--- ::[]([obj0, [obj1, [obj2, ...]]])
+    引数の列から ((|Set|)) オブジェクトを生成します。
+    
+    例: 全て {"a", [1, 2], 0} を生成する。
+      require "finite-set"
+      p Algebra::Set[0, "a", [1, 2]]
+      p Algebra::Set.new(0, "a", [1, 2])
+      p Algebra::Set.new_a([0, "a", [1, 2]])
+      p Algebra::Set.new_h({0=>true, "a"=>true, [1, 2]=>true})
+    
+--- ::new([obj0, [obj1, [obj2, ...]]])
+    引数の列から ((|Set|)) オブジェクトを生成します。
+
+--- ::new_a(a)
+    配列 ((|a|)) から ((|Set|)) オブジェクトを生成します。
+
+--- ::new_h(h)
+    ((|Hash|)) から ((|Set|)) オブジェクトを生成します。
+
+--- self.empty_set
+    空集合を生成する。
+
+--- ::phi
+--- ::null
+    ((<::empty_set>)) のエイリアスです。
+
+
+--- ::singleton(x)
+    ((|x|)) 一元のみで構成される集合を生成します。
+
+== メソッド:
+
+--- empty_set
+    空集合を生成する。
+
+--- phi
+--- null
+    ((<empty_set>)) のエイリアスです。
+
+--- empty?
+    空集合であるとき真を返します。
+
+--- phi?
+--- empty_set?
+--- null?
+    ((<empty?>)) のエイリアスです。
+
+--- singleton(x)
+    ((|x|)) 一元のみで構成される集合を生成します。
+
+--- singleton?
+    一元のみで構成される集合であるとき真を返します。
+
+--- size
+    集合の大きさを返します。
+
+--- each
+    集合の各要素に関して繰り返します。繰り返しの順番は不定です。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      Set[0, 1, 2].each do |x|
+        p x #=> 1, 0, 2
+      end
+
+--- separate
+    集合の各要素をブロックパラメータに渡し、ブロックの値を真にする
+    もので構成される集合を返します。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      p Set[0, 1, 2, 3].separate{|x| x % 2 == 0} #=> {2, 0}
+
+--- select_s
+--- find_all_s
+    ((<separate>)) のエイリアスです。
+
+--- map_s
+    集合の各要素をブロックパラメータに渡し、ブロックの値によって
+    構成される集合を返します。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      p Set[0, 1, 2, 3].map_s{|x| x % 2 + 1} #=> {2, 1}
+
+--- pick
+    集合の要素から一つ選んで値とします。どの要素が選ばれるかは
+    不定です。空集合に対しては ((|nil|)) を返します。
+
+--- shift
+    集合の要素から一つ選んで取り出し値とします。どの要素が選ばれる
+    かは不定です。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      s = Set[0, 1, 2, 3]
+      p s.shift #=> 2
+      p s #=> {0, 1, 3}
+
+--- dup
+    集合の複製を返します。（内部の Hash の複製によります。）
+
+--- append!(x)
+    集合に要素 ((|x|)) を付け加えます。返り値は ((|self|)) です。
+
+--- push
+--- <<
+    ((|append!|)) のエイリアスです。
+
+--- append(x)
+    集合に要素 ((|x|)) を付け加えた複製を返します。
+
+--- concat(other)
+    集合に別の集合 ((|other|)) の要素を付け加えます。
+    （((|+|)) の破壊版です。）
+
+--- rehash
+    内部の ((|Hash|)) オブジェクトを ((|rehash|)) します。
+
+--- eql?(other)
+    集合 ((|other|)) と等しいとき、真を返します。
+    (({ self >= other and self <= other})) と同値です。
+
+--- ==
+    ((<eql?>)) のエイリアスです。
+
+--- hash
+    自身が ((|Hash|)) あるいは ((|Set|)) の要素となるときに利用される
+    ハッシュ値関数です。
+
+--- include?(x)
+    集合が ((|x|)) を要素としているとき、真を返します。
+
+--- member?
+--- has?
+--- contains?
+    ((<include?>)) のエイリアスです。
+
+--- superset?(other)
+    集合が他の集合 ((|other|)) を包含するとき真を返します。
+    (({other.all{|x| member?(x)}})) と同値です。
+
+--- >=
+--- incl?
+    (({superset?})) のエイリアスです。
+
+--- subset?(other)
+    集合が他の集合 ((|other|)) の部分集合であるとき真を返します。
+    (({self.all{|x| other.member?(x)}})) と同値です。
+
+--- <=
+--- part_of?
+    ((|subset?|)) のエイリアスです。
+
+--- <(other)
+    ((|self|)) が ((|other|)) の真部分集合の時真を返します。
+
+--- >(other)
+    ((|self|)) が ((|other|)) を真に含む時真を返します。
+
+--- union([other])
+    ((|self|)) と ((|other|)) の合併集合を返します。
+    ((|other|)) が省略された場合、自身を集合の集合とみなし、全ての
+    要素の合併を返します。
+    
+    例:
+      require "finite-set"
+      include Algebra
+      p Set[0, 2, 4].cup Set[1, 3] #=> {0, 1, 2, 3, 4}
+      s = Set[*(0...15).to_a]
+      s2 = s.separate{|x| x % 2 == 0}
+      s3 = s.separate{|x| x % 3 == 0}
+      s5 = s.separate{|x| x % 5 == 0}
+      p Set[s2, s3, s5].union #=> {1, 7, 11, 13}
+
+--- |
+--- +
+--- cup
+    ((|union|)) のエイリアスです。
+
+--- intersection([other])
+    ((|self|)) と ((|other|)) の交わりの集合を返します。
+    ((|other|)) が省略された場合、自身を集合の集合とみなし、全ての
+    要素の共通部分を返します。
+
+    例:
+      require "finite-set"
+      include Algebra
+      p Set[0, 2, 4].cap(Set[4, 2, 0]) #=> {0, 2, 4}
+      s = Set[*(0..30).to_a]
+      s2 = s.separate{|x| x % 2 == 0}
+      s3 = s.separate{|x| x % 3 == 0}
+      s5 = s.separate{|x| x % 5 == 0}
+      p Set[s2, s3, s5].cap #=> {0, 30}
+
+--- &
+--- cap
+    ((|intersection|)) のエイリアスです。
+
+
+--- difference(other)
+    ((|self|)) から ((|other|)) に含まれる要素を取り除いたものを返します。
+
+--- -
+    ((|difference|)) のエイリアスです。
+
+
+--- each_pair
+    集合から異なる２つの要素を取り出して、ブロックパラメータに
+    代入して繰り返します。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      s = Set.phi
+      Set[0, 1, 2].each_pair do |x, y|
+        s.push [x, y]
+      end
+      p s == Set[[0, 1], [0, 2], [1, 2]] #=> true
+
+--- each_member(n)
+    集合から異なる ((|n|)) 個の要素を取り出して、ブロックパラメータに
+    代入して繰り返します。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      s = Set.phi
+      Set[0, 1, 2].each_member(2) do |x, y|
+        s.push [x, y]
+      end
+      p s == Set[[0, 1], [0, 2], [1, 2]] #=> true
+
+--- each_subset
+    集合の全ての部分集合をブロックパラメータに代入して繰り返します。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      s = Set.phi
+      Set[0, 1, 2].each_subset do |t|
+        s.append! t
+      end
+      p s.size = 2**3 #=> true
+
+--- each_non_trivial_subset
+    集合の空集合でない真部分集合をブロックパラメータに代入して繰り返します。
+
+--- power_set
+    集合の全ての部分集合の集合を返します。
+
+--- each_product(other)
+    ((|self|)) と ((|other|)) の全ての要素 ((|x|)), ((|y|)) に
+    ついて、繰り返します。
+
+   例:
+      require "finite-set"
+      include Algebra
+      Set[0, 1].each_prodct(Set[0, 1]) do |x, y|
+        p [x, y] #=> [0,0], [0,1], [1,0], [1,1]
+      end
+
+--- product(other)
+    ((|self|)) と ((|other|)) の積集合を返します。積集合の各元
+    は配列 (({[x, y]})) です。ブロックが与えられた時は、ブロック
+    を評価した値で構成される集合を返します。
+
+    例: 
+      require "finite-set"
+      include Algebra
+      p Set[0, 1].product(Set[0, 1]) #=> {[0,0], [0,1], [1,0], [1,1]}
+      p Set[0, 1].product(Set[0, 1]){|x, y| x + 2*y} #=> {0, 1, 2, 3]
+
+--- *
+    ((<product>)) のエイリアスです。
+
+--- equiv_class([equiv])
+    集合を同値関係で割った商集合を返します。同値関係の与え方は次の３通りあります。
+    
+    (1) ブロックの評価値を真にする同値関係
+          require "finite-set"
+          include Algebra
+          s = Set[0, 1, 2, 3, 4, 5]
+          p s.equiv_class{|a, b| (a - b) % 3 == 0} #=> {{0, 3}, {1, 4}, {2, 5}}
+    (2) 引数に与えられたオブジェクトに対するメソッド ((|call(x, y)|)) 
+        の真偽値による同値関係
+          require "finite-set"
+          include Algebra
+          o = Object.new
+          def o.call(x, y)
+            (x - y) % 3 == 0
+          end
+          s = Set[0, 1, 2, 3, 4, 5]
+          p s.equiv_class(o) #=> {{0, 3}, {1, 4}, {2, 5}}
+    (3) 引数に与えられた ((|Symbol|)) に応じたメソッドによる同値関係
+          require "finite-set"
+          include Algebra
+          s = Set[0, 1, 2, 3, 4, 5]
+          def q(x, y)
+            (x - y) % 3 == 0
+          end
+          p s.equiv_class(:q) #=> {{0, 3}, {1, 4}, {2, 5}}
+
+--- /
+    ((<equiv_class>)) のエイリアスです。
+
+--- to_a
+    集合を配列にして返します。要素の並びの順は不定です。
+
+--- to_ary
+    ((<to_a>)) のエイリアスです。
+
+--- sort
+    ((<to_a>)) の値をソートして返します。
+
+--- power(other)
+    ((|other|)) から ((|self|)) への写像全ての集合を返します。
+    写像は ((<Map|URL:finite-map-ja.html>)) の元として表現されます。
+ 
+    例: 
+      require "finite-map"
+      include Algebra
+      a = Set[0, 1, 2, 3]
+      b = Set[0, 1, 2]
+      s = 
+      p( (a ** b).size )      #=> 4 ** 3 = 64
+      p b.surjections(a).size #=> S(3, 4) = 36
+      p a.injections(b).size  #=> 4P3 = 24
+
+--- **
+    ((<power>)) のエイリアスです。
+
+--- identity_map
+    自分への恒等写像を返します。
+
+--- surjections(other)
+    ((|other|)) から ((|self|)) への全射全ての集合を返します。
+
+#--- injections0(other)
+
+--- injections(other)
+    ((|other|)) から ((|self|)) への単射全ての集合を返します。
+
+
+--- bijections(other)
+    ((|other|)) から ((|self|)) への全単射全ての集合を返します。
+
+
+#--- monotonic_series #what is this?
+
+= Enumerable
+
+== ファイル名:
+* ((|finite-set.rb|))
+
+== メソッド:
+
+--- any?
+    ブロックを真にする要素があるとき、真を返します。
+    ((|Enumerable#find|)) の別名です。(built-in of ruby-1.8)
+
+--- all?
+    全ての要素についてブロックが真であるとき、真を返します。
+
+      !any?{|x| !yield(x)}
+
+    と定義されています。(built-in of ruby-1.8)
+
+=end
+

data/doc-ja/index-ja.html

@@ -0,0 +1,113 @@
+<?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/index-ja.rd</title>
+<link href="style.css" type="text/css" rel="stylesheet" />
+</head>
+<body>
+<p>[<a href="README-ja.html">README-ja</a>]  [<a href="../doc/index.html">English</a>]</p>
+<h1><a name="label-0" id="label-0">代数パッケージ</a></h1><!-- RDLabel: "代数パッケージ" -->
+<pre>Version: 0.72  (2006.09.16)
+Author: 原 信一郎 (sinara@blade.nagaokaut.ac.jp)
+
+これは１変数あるいは多変数の多項式を計算するためのライブラリです。</pre>
+<h2><a name="label-1" id="label-1">0. 最初の一歩</a></h2><!-- RDLabel: "0. 最初の一歩" -->
+<p>最も簡単な利用法は require "algebra" として、計算を始めることです。</p>
+<pre>require "algebra"
+x = Polynomial(Integer, "x").var
+puts( (x+1)**7 )
+  #=&gt; x^7 + 7x^6 + 21x^5 + 35x^4 + 35x^3 + 21x^2 + 7x + 1
+puts( (x**7 + 7*x**6 + 21*x**5 + 35*x**4 + 35*x**3 + 21*x**2 + 7*x + 1).factorize )
+  #=&gt; (x + 1)^7</pre>
+<h2><a name="label-2" id="label-2">1. 例題</a></h2><!-- RDLabel: "1. 例題" -->
+<ul>
+<li><a href="samples-ja.html">Samples</a></li>
+</ul>
+<h2><a name="label-3" id="label-3">2. 主なクラス・モジュール</a></h2><!-- RDLabel: "2. 主なクラス・モジュール" -->
+<ul>
+<li><a href="algebra-ja.html">Algebra</a> (代数モジュール)
+<ul>
+<li><a href="polynomial-ja.html">Algebra::Polynomial</a> (1変数多項式環クラス)</li>
+<li><a href="euclidian-ring-ja.html">Algebra::EuclidianRing</a> (ユークリッド環モジュール)</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="algebraic-extension-field-ja.html">Algebra::AlgebraicExtensionField</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><a href="algebraic-parser-ja.html">Algebra::AlgebraicParser</a> (代数式を表す文字列の評価クラス)</li>
+<li><a href="finite-set-ja.html">Algebra::Set</a> (集合のクラス)</li>
+<li><a href="finite-map-ja.html">Algebra::Map</a> (写像のクラス)</li>
+<li><a href="finite-group-ja.html">Algebra::Group</a> (群のクラス)</li>
+<li><a href="permutation-group-ja.html">Algebra::PermutationGroup</a> (置換群のクラス)</li>
+</ul></li>
+</ul>
+<h2><a name="label-4" id="label-4">3. その他</a></h2><!-- RDLabel: "3. その他" -->
+<ul>
+<li><a href="elementary-divisor-ja.html">Algebra::ElementaryDivisor</a> (単因子モジュール)</li>
+<li><a href="jordan-form-ja.html">Algebra::JordanForm</a> (ジョルダン行列クラス)</li>
+<li><a href="matrix-algebra-triplet-ja.html">Algebra::MatrixAlgebraTriplet</a> (3つ組行列のクラス)</li>
+<li><a href="algebraic-equation-ja.html">代数方程式ハンドルユーティリティー</a></li>
+<li><a href="polynomial-converter-ja.html">多項式環相互変換ユーティリティー</a></li>
+</ul>
+<h2><a name="label-5" id="label-5">4. パッケージ内容</a></h2><!-- RDLabel: "4. パッケージ内容" -->
+<h3><a name="label-6" id="label-6">総合</a></h3><!-- RDLabel: "総合" -->
+<pre>algebra.rb             Algebra ライブラリ一般利用ファイル</pre>
+<h3><a name="label-7" id="label-7">一変数関係</a></h3><!-- RDLabel: "一変数関係" -->
+<pre>polynomial.rb          １変数多項式環のクラス
+euclidian-ring.rb      ユークリッド整域ユティリティー(G.C.D.の計算)
+polynomial-factor.rb   １変数多項式因数分解ライブラリ
+  polynomial-factor-int.rb   整数係数版
+  polynomial-factor-zp.rb    Zp係数版
+  polynomial-factor-alg.rb   代数的数係数版</pre>
+<h3><a name="label-8" id="label-8">多変数関係</a></h3><!-- RDLabel: "多変数関係" -->
+<pre>m-polynomial.rb         多変数多項式環のクラス
+  m-index.rb            m-polynomial.rb の下請け
+m-polynomial-factor.rb   １変数多項式因数分解ライブラリ
+  m-polynomial-factor-int.rb   整数係数版
+  m-polynomial-factor-zp.rb    Zp係数版
+groebner-basis.rb       グレブナ基底の計算モジュール
+groebner-basis-coeff.rb 除算の計算モジュール</pre>
+<h3><a name="label-9" id="label-9">代数全般</a></h3><!-- RDLabel: "代数全般" -->
+<pre>localized-ring.rb       商体作成ライブラリ
+matrix-algebra.rb       行列代数のクラス
+  elementary-divisor.rb 単因子操作モジュール
+  matrix-algebra.triplete.rb  3つ組行列クラス
+  jordan-form.rb        ジョルダン行列クラス
+residue-class-ring.rb   多項式環の剰余環
+algebraic-extention-field.rb 代数拡大体
+splitting-field.rb      多項式の最小分解体
+galois-group.rb         Galois 群
+linear-algebra.rb       線形代数ライブラリ
+algebraic-equation.rb   代数方程式ライブラリ</pre>
+<h3><a name="label-10" id="label-10">基礎部分</a></h3><!-- RDLabel: "基礎部分" -->
+<pre>finite-set.rb           集合のクラス
+  finite-map.rb         写像のクラス
+  finite-group.rb       群のクラス
+    permutation-group.rb  置換群のクラス</pre>
+<h3><a name="label-11" id="label-11">共通部分</a></h3><!-- RDLabel: "共通部分" -->
+<pre>prime-gen.rb            素数生成クラス
+numeric-supplement.rb   Numeric の補完
+polynomial-converter.rb 多項式環相互変換ユーティリティー
+algebra-system.rb       代数系の共通仕様
+algebraic-parser.rb     多元環の式の文字列表現を評価するモジュール</pre>
+<h3><a name="label-12" id="label-12">その他</a></h3><!-- RDLabel: "その他" -->
+<pre>array-supplement.rb     Array の補完
+doc-ja/                 マニュアル日本語版(RD, HTML, TXT)
+doc/                    マニュアル英語版(RD, HTML, TXT)
+sample/                 サンプルコード
+work/                   （開発作業場所）</pre>
+<h2><a name="label-13" id="label-13">5. ToDo</a></h2><!-- RDLabel: "5. ToDo" -->
+<ul>
+<li><a href="todo.html">todo.html</a></li>
+</ul>
+<h2><a name="label-14" id="label-14">6. Changes</a></h2><!-- RDLabel: "6. Changes" -->
+<ul>
+<li><a href="changes.html">changes.html</a></li>
+</ul>
+
+</body>
+</html>