version 1.6, 2000/09/23 07:53:25 |
version 1.8, 2001/03/12 05:01:18 |
|
|
@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.7 2000/11/13 00:16:35 noro Exp $ |
\BJP |
\BJP |
@node $B7?(B,,, Top |
@node $B7?(B,,, Top |
@chapter $B7?(B |
@chapter $B7?(B |
Line 355 This is used for basis conversion in finite fields 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. |
\JP quantifier elimination $B$GMQ$$$i$l$k0l3,=R8lO@M}<0(B. |
\EG This expresses a first order formula used in quantifier elimination. |
\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} |
\JP @item -1 @b{VOID $B%*%V%8%'%/%H(B} |
\EG @item -1 @b{VOID object} |
\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 |
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}) |
(@ref{eval deval}, @xref{pari}) |
|
|
@item 4 |
@item 4 |
\JP @b{$BJ#AG?t(B} |
\JP @b{$BJ#AG?t(B} |