OpenXM/src/asir-doc/parts/type.texi - diff

Return to type.texi CVS log

Up to [local] / OpenXM / src / asir-doc / parts

version 1.6, 2000/09/23 07:53:25

version 1.9, 2002/09/03 01:50:58

Line 1

@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.5 2000/01/26 01:37:33 noro Exp $

@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.8 2001/03/12 05:01:18 noro Exp $

\BJP

@node $B7?(B,,, Top

@chapter $B7?(B

Line 83 x afo (2.3*x+y)^10

\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

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.

\BEG

Every polynomial is maintained internally in its full expanded form,

represented as a nested univariate polynomial, according to the current

variable ordering, arranged by the descending order of exponents.

(@xref{Distributed polynomial}).

(@xref{Distributed polynomial}.)

In the representation, the indeterminate (or variable), appearing in

the polynomial, with maximum ordering is called the @b{main variable}.

Moreover, we call the coefficient of the maximum degree term of

Line 355 This is used for basis conversion in finite fields of

\JP quantifier elimination $B$GMQ$$$i$l$k0l3,=R8lO@M}<0(B.

\EG This expresses a first order formula used in quantifier elimination.

@item 15 @b{matrix over GF(p)}

\JP $B>.I8?tM-8BBN>e$N9TNs(B.

\EG A matrix over a small finite field.

@item 16 @b{byte array}

\JP $BId9f$J$7(B byte $B$NG[Ns(B

\EG An array of unsigned bytes.

\JP @item -1 @b{VOID $B%*%V%8%'%/%H(B}

\EG @item -1 @b{VOID object}

Line 482 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

operations of @b{PARI} are performed.

(@ref{eval}, @xref{pari})

(@xref{eval deval}, @ref{pari}.)

@item 4

\JP @b{$BJ#AG?t(B}