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

Diff for /OpenXM/src/asir-doc/parts/builtin/poly.texi between version 1.2 and 1.3

version 1.2, 1999/12/21 02:47:34 version 1.3, 2002/09/03 01:50:59
Line 1 
Line 1 
 @comment $OpenXM$  @comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/poly.texi,v 1.2 1999/12/21 02:47:34 noro Exp $
 \BJP  \BJP
 @node $BB?9`<0$*$h$SM-M}<0$N1i;;(B,,, $BAH$_9~$_H!?t(B  @node $BB?9`<0$*$h$SM-M}<0$N1i;;(B,,, $BAH$_9~$_H!?t(B
 @section $BB?9`<0(B, $BM-M}<0$N1i;;(B  @section $BB?9`<0(B, $BM-M}<0$N1i;;(B
Line 63 
Line 63 
 \E  \E
 \BEG  \BEG
 @item  @item
 @xref{Types in Asir} for main variable.  See @ref{Types in Asir} for main variable.
 @item  @item
 Indeterminates (variables) are ordered by default as follows.  Indeterminates (variables) are ordered by default as follows.
   
Line 171  Lists variables according to the variable ordering.
Line 171  Lists variables according to the variable ordering.
 @code{strtov()} $B$rMQ$$$k(B.  @code{strtov()} $B$rMQ$$$k(B.
 @item  @item
 @code{uc()} $B$G@8@.$5$l$?ITDj85$NITDj85$H$7$F$N7?(B (@code{vtype}) $B$O(B 1 $B$G$"$k(B.  @code{uc()} $B$G@8@.$5$l$?ITDj85$NITDj85$H$7$F$N7?(B (@code{vtype}) $B$O(B 1 $B$G$"$k(B.
 (@xref{$BITDj85$N7?(B})  (@xref{$BITDj85$N7?(B}.)
 \E  \E
 \BEG  \BEG
 @item  @item
Line 363  Variable @var{var} must be specified.
Line 363  Variable @var{var} must be specified.
 @item  @item
 $BM-M}<0$N>l9g$O(B, $BJ,;R$HJ,Jl$N9`?t$NOB$,JV$5$l$k(B.  $BM-M}<0$N>l9g$O(B, $BJ,;R$HJ,Jl$N9`?t$NOB$,JV$5$l$k(B.
 @item  @item
 $BH!?t7A<0(B (@xref{$BITDj85$N7?(B}) $B$O(B, $B0z?t$,2?$G$"$C$F$bC19`$H$_$J$5$l$k(B. (1 $B8D$NITDj85$HF1$8(B. )  $BH!?t7A<0(B (@ref{$BITDj85$N7?(B}) $B$O(B, $B0z?t$,2?$G$"$C$F$bC19`$H$_$J$5$l$k(B. (1 $B8D$NITDj85$HF1$8(B. )
 \E  \E
 \BEG  \BEG
 @item  @item
Line 1060  multiples of @var{hint}.
Line 1060  multiples of @var{hint}.
 $B3F4{Ls0x;R$N<!?t$,(B @var{hint} $B$NG\?t$G$"$k$3$H$,$o$+$C$F$$$k>l9g$K(B  $B3F4{Ls0x;R$N<!?t$,(B @var{hint} $B$NG\?t$G$"$k$3$H$,$o$+$C$F$$$k>l9g$K(B
 @var{poly} $B$N4{Ls0x;RJ,2r$r(B @code{fctr()} $B$h$j8zN(NI$/9T$&(B.  @var{poly} $B$N4{Ls0x;RJ,2r$r(B @code{fctr()} $B$h$j8zN(NI$/9T$&(B.
 @var{poly} $B$,(B, @var{d} $B<!$N3HBgBN>e$K$*$1$k(B  @var{poly} $B$,(B, @var{d} $B<!$N3HBgBN>e$K$*$1$k(B
 $B$"$kB?9`<0$N%N%k%`(B (@xref{$BBe?tE*?t$K4X$9$k1i;;(B}) $B$GL5J?J}$G$"$k>l9g(B,  $B$"$kB?9`<0$N%N%k%`(B (@ref{$BBe?tE*?t$K4X$9$k1i;;(B}) $B$GL5J?J}$G$"$k>l9g(B,
 $B3F4{Ls0x;R$N<!?t$O(B @var{d} $B$NG\?t$H$J$k(B. $B$3$N$h$&$J>l9g$K(B  $B3F4{Ls0x;R$N<!?t$O(B @var{d} $B$NG\?t$H$J$k(B. $B$3$N$h$&$J>l9g$K(B
 $BMQ$$$i$l$k(B.  $BMQ$$$i$l$k(B.
 \E  \E
Line 1073  more efficiently by the knowledge than @code{fctr()}.
Line 1073  more efficiently by the knowledge than @code{fctr()}.
 When @var{hint} is 1, @code{ufctrhint()} is the same as @code{fctr()} for  When @var{hint} is 1, @code{ufctrhint()} is the same as @code{fctr()} for
 uni-variate polynomials.  uni-variate polynomials.
 An typical application where @code{ufctrhint()} is effective:  An typical application where @code{ufctrhint()} is effective:
 Consider the case where @var{poly} is a norm (@xref{Algebraic numbers})  Consider the case where @var{poly} is a norm (@ref{Algebraic numbers})
 of a certain polynomial over an extension field with its extension  of a certain polynomial over an extension field with its extension
 degree @var{d}, and it is square free;  Then, every irreducible factor  degree @var{d}, and it is square free;  Then, every irreducible factor
 has a degree that is a multiple of @var{d}.  has a degree that is a multiple of @var{d}.
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>