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/polynomial-converter-ja.html ADDED

@@ -0,0 +1,64 @@
+<?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/polynomial-converter-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">多項式環相互変換ユーティリティー</a></h1><!-- RDLabel: "多項式環相互変換ユーティリティー" -->
+<p>Polynomial &lt;-&gt; MPolynomial の相互変換ユーティリティーです。</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>polyomimial-converter.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>Algebra::Polynomial.convert_to(<var>ring</var>)</code></a></dt><!-- RDLabel: "Algebra::Polynomial.convert_to" -->
+<dd>
+<a href="m-polynomial-ja.html">Algebra::MPolynomial</a> である <var>ring</var>
+に変換します。</dd>
+<dt><a name="label-4" id="label-4"><code>Algebra::Polynomial#value_on(<var>ring</var>)</code></a></dt><!-- RDLabel: "Algebra::Polynomial#value_on" -->
+<dd>
+<p><a href="m-polynomial-ja.html">Algebra::MPolynomial</a> である <var>ring</var>
+における値を返します。</p>
+<p>例:</p>
+<pre>require "m-polynomial"
+require "polynomial"
+P = Algebra::Polynomial(Integer, "x", "y", "z")
+x, y, z = P.vars
+f = x**2 + y**2 + z**2 - x*y - y*z - z*x
+MP = P.convert_to(Algebra::MPolynomial)
+p f = f.value_on(MP) #=&gt; z^2 - zy - zx + y^2 - yx + x^2
+x, y, z = MP.vars
+p f == x**2 + y**2 + z**2 - x*y - y*z - z*x #=&gt; true</pre></dd>
+<dt><a name="label-5" id="label-5"><code>Algebra::MPolynomial.convert_to(<var>ring</var>)</code></a></dt><!-- RDLabel: "Algebra::MPolynomial.convert_to" -->
+<dd>
+<a href="m-polynomial-ja.html">Algebra::Polynomial</a> である <var>ring</var>
+に変換します。</dd>
+<dt><a name="label-6" id="label-6"><code>Algebra::MPolynomial#value_on(<var>ring</var>)</code></a></dt><!-- RDLabel: "Algebra::MPolynomial#value_on" -->
+<dd>
+<p><a href="m-polynomial-ja.html">Algebra::Polynomial</a> である <var>ring</var>
+における値を返します。</p>
+<p>例:</p>
+<pre>require "m-polynomial"
+require "polynomial"
+MP = Algebra::MPolynomial(Integer, "x", "y", "z")
+x, y, z = MP.vars
+f = x**2 + y**2 + z**2 - x*y - y*z - z*x
+P = MP.convert_to(Algebra::Polynomial)
+p f = f.value_on(P) #=&gt; x^2 + (-y - z)x + y^2 - zy + z^2
+x, y, z = P.vars
+p f == x**2 + y**2 + z**2 - x*y - y*z - z*x #=&gt; ture</pre></dd>
+</dl>
+</body>
+</html>

data/doc-ja/polynomial-converter-ja.rd ADDED

@@ -0,0 +1,54 @@
+=begin
+[((<index-ja|URL:index-ja.html>))]
+= 多項式環相互変換ユーティリティー
+Polynomial <-> MPolynomial の相互変換ユーティリティーです。
+== ファイル名:
+* ((|polyomimial-converter.rb|))
+== メソッド
+--- Algebra::Polynomial.convert_to(ring)
+    ((<Algebra::MPolynomial|URL:m-polynomial-ja.html>)) である ((|ring|))
+    に変換します。
+--- Algebra::Polynomial#value_on(ring)
+    ((<Algebra::MPolynomial|URL:m-polynomial-ja.html>)) である ((|ring|))
+    における値を返します。
+    例:
+        require "m-polynomial"
+        require "polynomial"
+        P = Algebra::Polynomial(Integer, "x", "y", "z")
+        x, y, z = P.vars
+        f = x**2 + y**2 + z**2 - x*y - y*z - z*x
+        MP = P.convert_to(Algebra::MPolynomial)
+        p f = f.value_on(MP) #=> z^2 - zy - zx + y^2 - yx + x^2
+        x, y, z = MP.vars
+        p f == x**2 + y**2 + z**2 - x*y - y*z - z*x #=> true
+--- Algebra::MPolynomial.convert_to(ring)
+    ((<Algebra::Polynomial|URL:m-polynomial-ja.html>)) である ((|ring|))
+    に変換します。
+--- Algebra::MPolynomial#value_on(ring)
+    ((<Algebra::Polynomial|URL:m-polynomial-ja.html>)) である ((|ring|))
+    における値を返します。
+    例:
+        require "m-polynomial"
+        require "polynomial"
+        MP = Algebra::MPolynomial(Integer, "x", "y", "z")
+        x, y, z = MP.vars
+        f = x**2 + y**2 + z**2 - x*y - y*z - z*x
+        P = MP.convert_to(Algebra::Polynomial)
+        p f = f.value_on(P) #=> x^2 + (-y - z)x + y^2 - zy + z^2
+        x, y, z = P.vars
+        p f == x**2 + y**2 + z**2 - x*y - y*z - z*x #=> ture
+=end

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

@@ -0,0 +1,446 @@
+<?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/polynomial-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::Polynomial</a>
+/
+<a href="#label-59">Algebra::PolynomialFactorization</a>
+/
+<a href="#label-66">Algebra::SplittingField</a>
+/
+<a href="#label-71">Algebra::Galois</a></p>
+<h1><a name="label-0" id="label-0">Algebra::Polynomial</a></h1><!-- RDLabel: "Algebra::Polynomial" -->
+<p><em>(1変数多項式環クラス)</em></p>
+<p>1変数の多項式環を表現します。実際のクラスを生成するには環を指定して、クラスメソッド <a href="#label-7">::create</a> あるいは関数 <a href="#label-5">Algebra.Polynomial</a>() を用います。</p>
+<h2><a name="label-1" id="label-1">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>polynomial.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>Enumerable</var></li>
+<li><var>Comparable</var></li>
+<li><a href="euclidian-ring-ja.html">Algebra::EuclidianRing</a></li>
+<li><a href="#label-59">Algebra::PolynomialFactorization</a></li>
+<li><a href="#label-66">Algebra::SplittingField</a></li>
+<li><a href="#label-71">Algebra::Galois</a></li>
+</ul>
+<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="#label-7">::create</a>(ring, obj0[, obj1 [, ...]])&gt; に同じ。</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>ring</var>, <var>obj0</var>[, <var>obj1</var>[, ...]])</code></a></dt><!-- RDLabel: "::create" -->
+<dd>
+<p><var>ring</var> で表現されるクラスを係数環とする多項式環クラスを
+生成します。</p>
+<p><code>obj0, obj1, ...</code> で指定されたオブジェクトが変数を
+表現し、これが複数ならば、再帰的に多項式環上の多項
+式環を生成します。</p>
+<p>このメソッドの戻り値は Polynomial クラスのサブクラス
+です。このサブクラスにはクラスメソッドとして <var>ground</var> と
+<var>var</var>、<var>vars</var> が定義され、それぞれ、係数環 <var>ring</var>、
+主変数オブジェクト（最後に指定された変数）、全ての変数オ
+ブジェクトを返します。</p>
+<p>オブジェクト<code>obj0, obj1, ...</code>は変数の名（<var>to_s</var>の値）
+に利用されるだけです。</p>
+<p>例: 整数を係数とする多項式環の生成</p>
+<pre>require "polynomial"
+P = Algebra::Polynomial.create(Integer, "x")
+x = P.var
+p((x + 1)**100) #=&gt; x^100 + 100x^99 + ... + 100x + 1
+p P.ground #=&gt; integer</pre>
+<p>例: 整数を係数とする複数変数多項式環の生成</p>
+<pre>require "polynomial"
+P = Algebra::Polynomial.create(Integer, "x", "y", "z")
+x, y, z = P.vars
+p((-x + y + z)*(x + y - z)*(x - y + z))
+#=&gt; -z^3 + (y + x)z^2 + (y^2 - 2xy + x^2)z - y^3 + xy^2 + x^2y - x^3
+p P.var #=&gt; z</pre>
+<p>この例の <code>P</code> は</p>
+<pre>Algebra::Polynomial.create(
+  Algebra::Polynomial.create(
+    Algebra::Polynomial.create(
+      Integer,
+    "x"),
+  "y"),
+"z")</pre>
+<p>と同値で、最後の変数 <var>z</var> が主変数となります。</p></dd>
+<dt><a name="label-8" id="label-8"><code>::var</code></a></dt><!-- RDLabel: "::var" -->
+<dd>
+多項式環の変数（主変数）を返します。</dd>
+<dt><a name="label-9" id="label-9"><code>::vars</code></a></dt><!-- RDLabel: "::vars" -->
+<dd>
+再帰的に各多項式環の変数を集めた配列を返します。</dd>
+<dt><a name="label-10" id="label-10"><code>::mvar</code></a></dt><!-- RDLabel: "::mvar" -->
+<dd>
+<a href="#label-9">::vars</a> と同じです。</dd>
+<dt><a name="label-11" id="label-11"><code>::to_ary</code></a></dt><!-- RDLabel: "::to_ary" -->
+<dd>
+<p><code>[self, *vars]</code> を返します。</p>
+<p>例: 多項式環と変数を同時に定義する。</p>
+<pre>P, x, y, z = Algebra::Polynomial.create(Integer, "x", "y", "z")</pre></dd>
+<dt><a name="label-12" id="label-12"><code>::variable</code></a></dt><!-- RDLabel: "::variable" -->
+<dd>
+変数（主変数）を表現するオブジェクトを返します。</dd>
+<dt><a name="label-13" id="label-13"><code>::variables</code></a></dt><!-- RDLabel: "::variables" -->
+<dd>
+再帰的に各多項式環の変数を表現するオブジェクトを
+集めた配列を返します。</dd>
+<dt><a name="label-14" id="label-14"><code>::indeterminate(<var>obj</var>)</code></a></dt><!-- RDLabel: "::indeterminate" -->
+<dd>
+<var>obj</var> で表現される変数を再帰的に探して返します。</dd>
+<dt><a name="label-15" id="label-15"><code>::monomial([<var>n</var>])</code></a></dt><!-- RDLabel: "::monomial" -->
+<dd>
+<p><var>n</var> 次の単項式を返します。</p>
+<p>例:</p>
+<pre>P = Algebra::Polynomial(Integer, "x")
+P.monomial(3) #=&gt; x^3</pre></dd>
+<dt><a name="label-16" id="label-16"><code>::const(<var>c</var>)</code></a></dt><!-- RDLabel: "::const" -->
+<dd>
+<p>値 <var>c</var> の定数項を返します。</p>
+<p>例:</p>
+<pre>P = Algebra::Polynomial(Integer, "x")
+P.const(3)      #=&gt; 3
+P.const(3).type #=&gt; P</pre></dd>
+<dt><a name="label-17" id="label-17"><code>::zero</code></a></dt><!-- RDLabel: "::zero" -->
+<dd>
+零元を返します。</dd>
+<dt><a name="label-18" id="label-18"><code>::unity</code></a></dt><!-- RDLabel: "::unity" -->
+<dd>
+単位元を返します。</dd>
+</dl>
+<h2><a name="label-19" id="label-19">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-20" id="label-20"><code>var</code></a></dt><!-- RDLabel: "var" -->
+<dd>
+<a href="#label-8">::var</a> と同じです。</dd>
+<dt><a name="label-21" id="label-21"><code>variable</code></a></dt><!-- RDLabel: "variable" -->
+<dd>
+<a href="#label-12">::variable</a> と同じです。</dd>
+<dt><a name="label-22" id="label-22"><code>each(&amp;<var>b</var>)</code></a></dt><!-- RDLabel: "each" -->
+<dd>
+<p>各次の係数を昇冪順に繰り返します。</p>
+<p>例:</p>
+<pre>P = Algebra::Polynomial(Integer, "x")
+x = P.var
+(x**3 + 2*x**2 + 4).each do |c|
+  p c #=&gt; 4, 0, 2, 1
+end</pre></dd>
+<dt><a name="label-23" id="label-23"><code>reverse_each(&amp;<var>b</var>)</code></a></dt><!-- RDLabel: "reverse_each" -->
+<dd>
+<p>各次の係数を降冪順に繰り返します。</p>
+<p>例:</p>
+<pre>P = Algebra::Polynomial(Integer, "x")
+x = P.var
+(x**3 + 2*x**2 + 4).reverse_each do |c|
+  p c #=&gt; 1, 2, 0, 4
+end</pre></dd>
+<dt><a name="label-24" id="label-24"><code>[<var>n</var>]</code></a></dt><!-- RDLabel: "[]" -->
+<dd>
+<var>n</var> 次の係数を返します。</dd>
+<dt><a name="label-25" id="label-25"><code>[<var>n</var>] = <var>v</var></code></a></dt><!-- RDLabel: "[]=" -->
+<dd>
+<var>n</var> 次の係数を<var>v</var>に設定します。</dd>
+<dt><a name="label-26" id="label-26"><code>monomial</code></a></dt><!-- RDLabel: "monomial" -->
+<dd>
+<a href="#label-15">::monomial</a> と同じです。</dd>
+<dt><a name="label-27" id="label-27"><code>monomial?</code></a></dt><!-- RDLabel: "monomial?" -->
+<dd>
+単項式であるとき真を返します。</dd>
+<dt><a name="label-28" id="label-28"><code>zero?</code></a></dt><!-- RDLabel: "zero?" -->
+<dd>
+零元であるとき真を返します。</dd>
+<dt><a name="label-29" id="label-29"><code>zero</code></a></dt><!-- RDLabel: "zero" -->
+<dd>
+零元を返します。</dd>
+<dt><a name="label-30" id="label-30"><code>unity</code></a></dt><!-- RDLabel: "unity" -->
+<dd>
+単位元を返します。</dd>
+<dt><a name="label-31" id="label-31"><code>==(<var>other</var>)</code></a></dt><!-- RDLabel: "==" -->
+<dd>
+等しいとき真を返します。</dd>
+<dt><a name="label-32" id="label-32"><code>&lt;=&gt;(<var>other</var>)</code></a></dt><!-- RDLabel: "<=>" -->
+<dd>
+大小関係を求めます。</dd>
+<dt><a name="label-33" id="label-33"><code>+(<var>other</var>)</code></a></dt><!-- RDLabel: "+" -->
+<dd>
+和を計算します。</dd>
+<dt><a name="label-34" id="label-34"><code>-(<var>other</var>)</code></a></dt><!-- RDLabel: "-" -->
+<dd>
+差を計算します。</dd>
+<dt><a name="label-35" id="label-35"><code>*(<var>other</var>)</code></a></dt><!-- RDLabel: "*" -->
+<dd>
+積を計算します。</dd>
+<dt><a name="label-36" id="label-36"><code>**(<var>n</var>)</code></a></dt><!-- RDLabel: "**" -->
+<dd>
+<var>n</var> 乗を計算します。</dd>
+<dt><a name="label-37" id="label-37"><code>/(<var>other</var>)</code></a></dt><!-- RDLabel: "/" -->
+<dd>
+商を計算します。<a href="#label-39">div</a>と同じです。</dd>
+<dt><a name="label-38" id="label-38"><code>divmod(<var>other</var>)</code></a></dt><!-- RDLabel: "divmod" -->
+<dd>
+<var>other</var> で割った商と余りの配列を返します。</dd>
+<dt><a name="label-39" id="label-39"><code>div(<var>other</var>)</code></a></dt><!-- RDLabel: "div" -->
+<dd>
+<var>other</var> で割った商を返します。<code>divmod(other).first</code>
+と一致します。</dd>
+<dt><a name="label-40" id="label-40"><code>%(<var>other</var>)</code></a></dt><!-- RDLabel: "%" -->
+<dd>
+<var>other</var> で割った余りを返します。<code>divmod(other).last</code>
+と一致します。</dd>
+<dt><a name="label-41" id="label-41"><code>divide?(<var>other</var>)</code></a></dt><!-- RDLabel: "divide?" -->
+<dd>
+<var>other</var> で割り切れるとき真を返します。
+<code>divmod(other).last == zero?</code>と一致します。</dd>
+<dt><a name="label-42" id="label-42"><code>deg</code></a></dt><!-- RDLabel: "deg" -->
+<dd>
+<p>次数を返します。</p>
+<p>例:</p>
+<pre>P = Algebra::Polynomial(Integer, "x")
+x = P.var
+(5*x**3 + 2*x + 1).deg #=&gt; 3</pre></dd>
+<dt><a name="label-43" id="label-43"><code>lc</code></a></dt><!-- RDLabel: "lc" -->
+<dd>
+<p>先頭係数(leading coeffcient)を返します。</p>
+<p>例:</p>
+<pre>(5*x**3 + 2*x + 1).lc #=&gt; 5</pre></dd>
+<dt><a name="label-44" id="label-44"><code>lm</code></a></dt><!-- RDLabel: "lm" -->
+<dd>
+<p>先頭単項式(leading monomial)を返します。</p>
+<p>例:</p>
+<pre>(5*x**3 + 2*x + 1).lm #=&gt; x**3</pre></dd>
+<dt><a name="label-45" id="label-45"><code>lt</code></a></dt><!-- RDLabel: "lt" -->
+<dd>
+<p>先頭項(leading term)を返します。<code>lc * lm</code>と等しい値を持ちます。</p>
+<p>例:</p>
+<pre>(5*x**3 + 2*x + 1).lt #=&gt; 5*x**3</pre></dd>
+<dt><a name="label-46" id="label-46"><code>rt</code></a></dt><!-- RDLabel: "rt" -->
+<dd>
+<p>残余項(rest term)を返します。<code>self - lt</code>と等しい値を持ちます。</p>
+<p>例:</p>
+<pre>(5*x**3 + 2*x + 1).rt #=&gt; 2*x + 1</pre></dd>
+<dt><a name="label-47" id="label-47"><code>monic</code></a></dt><!-- RDLabel: "monic" -->
+<dd>
+最高次係数を1に直した式を返します。<code>self / lc</code> と同じ値を持
+ちます。</dd>
+<dt><a name="label-48" id="label-48"><code>cont</code></a></dt><!-- RDLabel: "cont" -->
+<dd>
+係因数(content(全ての係数の最大公約数)）を返します。</dd>
+<dt><a name="label-49" id="label-49"><code>pp</code></a></dt><!-- RDLabel: "pp" -->
+<dd>
+原始的部分(primitive part)を返します。<code>self / cont</code>と
+同じ値を持ちます。</dd>
+<dt><a name="label-50" id="label-50"><code>to_s</code></a></dt><!-- RDLabel: "to_s" -->
+<dd>
+<p>文字列表現を得ます。表示形式を変えるには <var>display_type</var> を用います。
+<var>display_type</var> に与えられる値は <var>:norm</var>(デフォルト), <var>:code</var>
+です。</p>
+<p>例:</p>
+<pre>P = Algebra::Polynomial(Integer, "x")
+x = P.var
+p 5*x**3 + 2*x + 1 #=&gt;5x^3 + 2x + 1
+P.display_type = :code
+p 5*x**3 + 2*x + 1 #=&gt; 5*x**3 + 2*x + 1</pre></dd>
+<dt><a name="label-51" id="label-51"><code>derivate</code></a></dt><!-- RDLabel: "derivate" -->
+<dd>
+<p>微分した値を返します。</p>
+<p>例:</p>
+<pre>(5*x**3 + 2*x + 1).derivate #=&gt; 15*x**2 + 2</pre></dd>
+<dt><a name="label-52" id="label-52"><code>sylvester_matrix(<var>other</var>)</code></a></dt><!-- RDLabel: "sylvester_matrix" -->
+<dd>
+<var>other</var> とのシルベスター行列を返します。</dd>
+<dt><a name="label-53" id="label-53"><code>resultant(<var>other</var>)</code></a></dt><!-- RDLabel: "resultant" -->
+<dd>
+<var>other</var> との集結式返します。予め</dd>
+<dt><a name="label-54" id="label-54"><code>project(<var>ring</var>[, <var>obj</var>]){|<var>c</var>, <var>n</var>| ... }</code></a></dt><!-- RDLabel: "project" -->
+<dd>
+<p>各単項式について、
+次数を <var>n</var> に、係数 <var>c</var> に代入し ... を評価したものを
+その単項式の値に置き換え、<var>ring</var> 上で和を取った値を
+返します。<var>obj</var> が省略されると <code>ring.var</code> が用いら
+れます。</p>
+<p>例:</p>
+<pre>require "polynomial"
+require "rational"
+P = Algebra::Polynomial(Integer, "x")
+PQ = Algebra::Polynomial(Rational, "y")
+x = P.var
+f = 5*x**3 + 2*x + 1
+p f.convert_to(PQ) #=&gt; 5y^3 + 2y + 1
+p f.project(PQ) {|c, n| Rational(c) / (n + 1)} #=&gt; 5/4y^3 + y + 1</pre></dd>
+<dt><a name="label-55" id="label-55"><code>evaluate(<var>obj</var>)</code></a></dt><!-- RDLabel: "evaluate" -->
+<dd>
+<p>主変数に <var>obj</var> を代入した値を返します。
+<code> project(ground, obj){|c, n| c} </code> の値と一致します。</p>
+<p>例:</p>
+<pre>require "polynomial"
+P = Algebra::Polynomial(Integer, "x")
+x = P.var
+f = x**3 - 3*x**2 + 1
+p f.evaluate(-1)    #=&gt; -3 (in Integer)
+p f.evaluate(x + 1) #=&gt; x^3 - 3x - 1 (in P)</pre></dd>
+<dt><a name="label-56" id="label-56"><code>call(<var>obj</var>)</code></a></dt><!-- RDLabel: "call" -->
+<dd>
+<a href="#label-55">evaluate</a>と同じです。</dd>
+<dt><a name="label-57" id="label-57"><code>sub(<var>var</var>, <var>value</var>)</code></a></dt><!-- RDLabel: "sub" -->
+<dd>
+<p>変数 <var>var</var> に <var>value</var> を代入した値を返します。</p>
+<p>例:</p>
+<pre>require "polynomial"
+P = Algebra::Polynomial(Integer, "x", "y", "z")
+x, y, z = P.vars
+f = (x - y)*(y - z - 1)
+p f.sub(y, z+1)    #=&gt; 0</pre></dd>
+<dt><a name="label-58" id="label-58"><code>convert_to(<var>ring</var>)</code></a></dt><!-- RDLabel: "convert_to" -->
+<dd>
+各項を<var>ring</var>上で評価します。<code> project(ring){|c, n| c} </code>の
+値と一致します。</dd>
+</dl>
+<h1><a name="label-59" id="label-59">Algebra::PolynomialFactorization</a></h1><!-- RDLabel: "Algebra::PolynomialFactorization" -->
+<p><em>(因数分解モジュール)</em></p>
+<p>因数分解をするためのモジュールです。</p>
+<h2><a name="label-60" id="label-60">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<p><var>polynomial-factor.rb</var></p>
+<h2><a name="label-61" id="label-61">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-62" id="label-62"><code>sqfree</code></a></dt><!-- RDLabel: "sqfree" -->
+<dd>
+無平方化します。</dd>
+<dt><a name="label-63" id="label-63"><code>sqfree?</code></a></dt><!-- RDLabel: "sqfree?" -->
+<dd>
+無平方なら真を返します。</dd>
+<dt><a name="label-64" id="label-64"><code>irreducible?</code></a></dt><!-- RDLabel: "irreducible?" -->
+<dd>
+既約なら真を返します。</dd>
+<dt><a name="label-65" id="label-65"><code>factorize</code></a></dt><!-- RDLabel: "factorize" -->
+<dd>
+<p>因数分解します。</p>
+<p>因数分解可能な係数環は</p>
+<ul>
+<li>Integer</li>
+<li>Rational</li>
+<li>素体</li>
+<li>代数体（Rational 上の有限次拡大）</li>
+</ul>
+<p>です。</p></dd>
+</dl>
+<h1><a name="label-66" id="label-66">Algebra::SplittingField</a></h1><!-- RDLabel: "Algebra::SplittingField" -->
+<p><em>(分解体モジュール)</em></p>
+<p>多項式の最小分解体を求めるためのモジュール</p>
+<h2><a name="label-67" id="label-67">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>splitting-field.rb</var></li>
+</ul>
+<h2><a name="label-68" id="label-68">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-69" id="label-69"><code>decompose([<var>fac0</var>])</code></a></dt><!-- RDLabel: "decompose" -->
+<dd>
+<p>自身の最小分解体を <var>field</var>、拡大に要した既約多項式
+の配列を <var>def_polys</var>、最小分解体上で1次式の積に因数分解し
+たものを <var>facts</var>、多項式の根の配列を <var>roots</var>、
+<var>roots</var> を基礎体に添加した元が前に来るように並べ替えた
+の配列を <var>proots</var> として、</p>
+<pre>[field, def_polys, facts, roots, proots]</pre>
+<p>を返します。基礎体上の因数分解 <var>fac0</var> を添えると高速化に役立ちます。
+（<var>facts</var> の要素と <var>fact0</var> は <var>Algebra::Factors</var> オブジェクト
+、<var>field</var> は
+<!-- Reference, RDLabel "algebraic-extension-field.html" doesn't exist --><em class="label-not-found">AlgebraicExtensionField</em><!-- Reference end -->
+オブジェクトです。ただし、自身が一次因子に分解されるときは
+<!-- Reference, RDLabel "groud" doesn't exist --><em class="label-not-found">groud</em><!-- Reference end --> そのものを返します。</p>
+<p>例:</p>
+<pre>require "algebra"
+PQ = Polynomial(Rational, "x")
+x = PQ.var
+f = x**5 - x**4 + 2*x - 2
+field, def_polys, facts, roots, proots = f.decompose
+p def_polys #=&gt; [a^4 + 2, b^2 + a^2]
+p facts    #=&gt; (x - 1)(x - a)(x + a)(x - b)(x + b)
+p roots    #=&gt; [1, a, -a, b, -b]
+p proots   #=&gt; [a, b, 1, -a, -b]
+fp = Polynomial(field, "x")
+x = fp.var
+facts1 = Factors.new(facts.collect{|g, n| [g.call(x), n]})
+p facts1.pi == f.convert_to(fp) #=&gt; true</pre></dd>
+<dt><a name="label-70" id="label-70"><code>splitting_field([<var>fac0</var>]))</code></a></dt><!-- RDLabel: "splitting_field" -->
+<dd>
+<p>自身の最小分解体の情報を返します。返り値の各フィールドの値は以下
+の通りです。poly_exps 以外は <a href="#label-69">decompose</a> の以下のものに相当します。</p>
+<p>poly, field, roots, proots, def_polys</p>
+<p>ただし、<var>roots</var>、<var>proots</var> の各要素は <var>field</var> の
+要素として変換されています。</p>
+<p>例:</p>
+<pre>require "algebra"
+PQ = Polynomial(Rational, "x")
+x = PQ.var
+f = x**5 - x**4 + 2*x - 2
+sf = f.splitting_field
+p sf.roots     #=&gt; [1, a, -a, b, -b]
+p sf.proots     #=&gt; [a, b, 1, -a, -b]
+p sf.def_polys #=&gt; [a^4 + 2, b^2 + a^2]</pre></dd>
+</dl>
+<h1><a name="label-71" id="label-71">Algebra::Galois</a></h1><!-- RDLabel: "Algebra::Galois" -->
+<p><em>(ガロア群)</em></p>
+<p>多項式のガロア群を求めるためのモジュール</p>
+<h2><a name="label-72" id="label-72">ファイル名:</a></h2><!-- RDLabel: "ファイル名:" -->
+<ul>
+<li><var>galois-group.rb</var></li>
+</ul>
+<h2><a name="label-73" id="label-73">インクルードしているモジュール:</a></h2><!-- RDLabel: "インクルードしているモジュール:" -->
+<ul>
+<li>なし</li>
+</ul>
+<h2><a name="label-74" id="label-74">関連するメソッド:</a></h2><!-- RDLabel: "関連するメソッド:" -->
+<dl>
+<dt><a name="label-75" id="label-75"><code>GaloisGroup.galois_group(<var>poly</var>)</code></a></dt><!-- RDLabel: "GaloisGroup.galois_group" -->
+<dd>
+<a href="#label-78">galois_group</a> と同じ</dd>
+</dl>
+<h2><a name="label-76" id="label-76">モジュールメソッド:</a></h2><!-- RDLabel: "モジュールメソッド:" -->
+<ul>
+<li>なし</li>
+</ul>
+<h2><a name="label-77" id="label-77">メソッド:</a></h2><!-- RDLabel: "メソッド:" -->
+<dl>
+<dt><a name="label-78" id="label-78"><code>galois_group</code></a></dt><!-- RDLabel: "galois_group" -->
+<dd>
+<p>多項式のガロア群を返します。群は各元が
+<!-- Reference, RDLabel "permutation-group.html" doesn't exist --><em class="label-not-found">PermutationGroup</em><!-- Reference end --> である
+<!-- Reference, RDLabel "finite-group.html" doesn't exist --><em class="label-not-found">FiniteGroup</em><!-- Reference end --> オブジェクトとして表現されます。</p>
+<p>例:</p>
+<pre>require "rational"
+require "polynomial"
+P = Algebra.Polynomial(Rational, "x")
+x = P.var
+p( (x**3 - 3*x + 1).galois_group.to_a )
+#=&gt;[[0, 1, 2], [1, 2, 0], [2, 0, 1]]
+(x**3 - x + 1).galois_group.each do |g|
+  p g
+end
+#=&gt; [0, 1, 2]
+#   [1, 0, 2]
+#   [2, 0, 1]
+#   [0, 2, 1]
+#   [1, 2, 0]
+#   [2, 1, 0]</pre></dd>
+</dl>
+</body>
+</html>