===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/type.texi,v
retrieving revision 1.11
retrieving revision 1.13
diff -u -p -r1.11 -r1.13
--- OpenXM/src/asir-doc/parts/type.texi	2003/04/19 15:44:57	1.11
+++ OpenXM/src/asir-doc/parts/type.texi	2007/02/15 02:41:38	1.13
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.10 2003/04/19 10:36:30 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.12 2003/04/20 08:01:27 noro Exp $
 \BJP
 @node 型,,, Top
 @chapter 型
@@ -207,7 +207,8 @@ on the whole value of that vector.
 [1] for (I=0;I<3;I++)A3[I] = newvect(3);
 [2] for (I=0;I<3;I++)for(J=0;J<3;J++)A3[I][J]=newvect(3);
 [3] A3;
-[ [ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ] [ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ]
+[ [ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ]
+[ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ]
 [ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ] ]
 [4] A3[0];
 [ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ]
@@ -476,7 +477,7 @@ The default precision is about 9 digits, which can be 
 [2] setprec(100);      
 9
 [3] eval(2^(1/2));
-1.41421356237309504880168872420969807856967187537694807317654396116148
+1.41421356237309504880168872420969807856967187537694807317...
 @end example
 
 \BJP
@@ -666,7 +667,7 @@ GF(@var{p^n}) の乗法群の生成元を固定すること
 \BEG
 A finite field of order @var{p^n}, where @var{p^n} must be less than
 @var{2^29} and @var{n} must be equal to 1 if @var{p} is greater or
-equal to @var{2^14}@, 
+equal to @var{2^14}, 
 is set by @code{setmod_ff}
 by specifying its characteristic @var{p} the extension degree
 @var{n}. If @var{p} is less than @var{2^14}, each non-zero element 
@@ -678,6 +679,39 @@ This specification is useful for treating both cases i
 program.
 \E
 
+@item 10
+\JP @b{位数 @var{p^n} の小位数有限体の代数拡大の元}
+\EG @b{element of a finite field which is an algebraic extension of a small finite field of characteristic @var{p^n}}
+
+\BJP
+前項の, 位数が @var{p^n} の小位数有限体の @var{m} 次拡大の元である.
+標数 @var{p} および拡大次数 @var{n}, @var{m} 
+を @code{setmod_ff} により指定することにより設定する. 基礎体上の @var{m}
+次既約多項式が自動生成され, その代数拡大の生成元の定義多項式として用いられる.
+生成元は @code{@@s} である.
+
+\E
+\BEG
+An extension field @var{K} of the small finite field @var{F} of order @var{p^n}
+is set by @code{setmod_ff}
+by specifying its characteristic @var{p} the extension degree
+@var{n} and @var{m}=[@var{K}:@var{F}]. An irreducible polynomial of degree @var{m}
+over @var{K} is automatically generated and used as the defining polynomial of
+the generator of the extension @var{K/F}. The generator is denoted by @code{@@s}.
+\E
+
+@item 11
+\JP @b{分散表現の代数的数}
+\EG @b{algebraic number represented by a distributed polynomial}
+@*
+\JP @xref{代数的数に関する演算}.
+\EG @xref{Algebraic numbers}.
+
+\BJP
+
+\E
+\BEG
+\E
 @end table
 
 \BJP