version 1.7, 2000/11/13 00:16:35 |
version 1.9, 2002/09/03 01:50:58 |
|
|
@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.6 2000/09/23 07:53:25 noro Exp $ |
@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.8 2001/03/12 05:01:18 noro Exp $ |
\BJP |
\BJP |
@node $B7?(B,,, Top |
@node $B7?(B,,, Top |
@chapter $B7?(B |
@chapter $B7?(B |
Line 83 x afo (2.3*x+y)^10 |
|
Line 83 x afo (2.3*x+y)^10 |
|
|
|
\BJP |
\BJP |
$BB?9`<0$O(B, $BA4$FE83+$5$l(B, $B$=$N;~E@$K$*$1$kJQ?t=g=x$K=>$C$F(B, $B:F5"E*$K(B |
$BB?9`<0$O(B, $BA4$FE83+$5$l(B, $B$=$N;~E@$K$*$1$kJQ?t=g=x$K=>$C$F(B, $B:F5"E*$K(B |
1 $BJQ?tB?9`<0$H$7$F9_QQ$N=g$K@0M}$5$l$k(B (@xref{$BJ,;6I=8=B?9`<0(B}). |
1 $BJQ?tB?9`<0$H$7$F9_QQ$N=g$K@0M}$5$l$k(B. (@xref{$BJ,;6I=8=B?9`<0(B}.) |
$B$3$N;~(B, $B$=$NB?9`<0$K8=$l$k=g=x:GBg$NJQ?t$r(B @b{$B<gJQ?t(B} $B$H8F$V(B. |
$B$3$N;~(B, $B$=$NB?9`<0$K8=$l$k=g=x:GBg$NJQ?t$r(B @b{$B<gJQ?t(B} $B$H8F$V(B. |
\E |
\E |
\BEG |
\BEG |
Every polynomial is maintained internally in its full expanded form, |
Every polynomial is maintained internally in its full expanded form, |
represented as a nested univariate polynomial, according to the current |
represented as a nested univariate polynomial, according to the current |
variable ordering, arranged by the descending order of exponents. |
variable ordering, arranged by the descending order of exponents. |
(@xref{Distributed polynomial}). |
(@xref{Distributed polynomial}.) |
In the representation, the indeterminate (or variable), appearing in |
In the representation, the indeterminate (or variable), appearing in |
the polynomial, with maximum ordering is called the @b{main variable}. |
the polynomial, with maximum ordering is called the @b{main variable}. |
Moreover, we call the coefficient of the maximum degree term of |
Moreover, we call the coefficient of the maximum degree term of |
Line 492 not guarantee the accuracy of the result, |
|
Line 492 not guarantee the accuracy of the result, |
|
but it indicates the representation size of numbers with which internal |
but it indicates the representation size of numbers with which internal |
operations of @b{PARI} are performed. |
operations of @b{PARI} are performed. |
\E |
\E |
(@ref{eval}, @xref{pari}) |
(@xref{eval deval}, @ref{pari}.) |
|
|
@item 4 |
@item 4 |
\JP @b{$BJ#AG?t(B} |
\JP @b{$BJ#AG?t(B} |