[BACK]Return to type.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-doc / parts

Diff for /OpenXM/src/asir-doc/parts/type.texi between version 1.12 and 1.13

version 1.12, 2003/04/20 08:01:27 version 1.13, 2007/02/15 02:41:38
Line 1 
Line 1 
 @comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.11 2003/04/19 15:44:57 noro Exp $  @comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.12 2003/04/20 08:01:27 noro Exp $
 \BJP  \BJP
 @node $B7?(B,,, Top  @node $B7?(B,,, Top
 @chapter $B7?(B  @chapter $B7?(B
Line 667  GF(@var{p^n}) $B$N>hK!72$N@8@.85$r8GDj$9$k$3$H(B
Line 667  GF(@var{p^n}) $B$N>hK!72$N@8@.85$r8GDj$9$k$3$H(B
 \BEG  \BEG
 A finite field of order @var{p^n}, where @var{p^n} must be less than  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  @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}  is set by @code{setmod_ff}
 by specifying its characteristic @var{p} the extension degree  by specifying its characteristic @var{p} the extension degree
 @var{n}. If @var{p} is less than @var{2^14}, each non-zero element  @var{n}. If @var{p} is less than @var{2^14}, each non-zero element
Line 679  This specification is useful for treating both cases i
Line 679  This specification is useful for treating both cases i
 program.  program.
 \E  \E
   
   @item 10
   \JP @b{$B0L?t(B @var{p^n} $B$N>.0L?tM-8BBN$NBe?t3HBg$N85(B}
   \EG @b{element of a finite field which is an algebraic extension of a small finite field of characteristic @var{p^n}}
   
   \BJP
   $BA09`$N(B, $B0L?t$,(B @var{p^n} $B$N>.0L?tM-8BBN$N(B @var{m} $B<!3HBg$N85$G$"$k(B.
   $BI8?t(B @var{p} $B$*$h$S3HBg<!?t(B @var{n}, @var{m}
   $B$r(B @code{setmod_ff} $B$K$h$j;XDj$9$k$3$H$K$h$j@_Dj$9$k(B. $B4pACBN>e$N(B @var{m}
   $B<!4{LsB?9`<0$,<+F0@8@.$5$l(B, $B$=$NBe?t3HBg$N@8@.85$NDj5AB?9`<0$H$7$FMQ$$$i$l$k(B.
   $B@8@.85$O(B @code{@@s} $B$G$"$k(B.
   
   \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{$BJ,;6I=8=$NBe?tE*?t(B}
   \EG @b{algebraic number represented by a distributed polynomial}
   @*
   \JP @xref{$BBe?tE*?t$K4X$9$k1i;;(B}.
   \EG @xref{Algebraic numbers}.
   
   \BJP
   
   \E
   \BEG
   \E
 @end table  @end table
   
 \BJP  \BJP
Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>