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.8, 2001/03/12 05:01:18

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.7 2000/11/13 00:16:35 noro Exp $

\BJP

@node $B7?(B,,, Top

@chapter $B7?(B

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})

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

@item 4

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