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

Return to type.texi CVS log

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

version 1.5, 2000/01/26 01:37:33

version 1.8, 2001/03/12 05:01:18

Line 1

@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.4 2000/01/20 03:00:34 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 289 afotake

newstruct(afo)

@end example

\JP $B9=B$BN$K4X$7$F$O(B, $B>O$r2~$a$F2r@b$9$kM=Dj$G$"$k(B.

\BJP

\EG For type @b{structure}, we shall describe it in a later chapter.

Asir $B$K$*$1$k9=B$BN$O(B, C $B$K$*$1$k9=B$BN$r4J0W2=$7$?$b$N$G$"$k(B.

(Not written yet.)

$B8GDjD9G[Ns$N3F@.J,$rL>A0$G%"%/%;%9$G$-$k%*%V%8%'%/%H$G(B,

$B9=B$BNDj5AKh$KL>A0$r$D$1$k(B.

\BEG

The type @b{structure} is a simplified version of that in C language.

It is defined as a fixed length array and each entry of the array

is accessed by its name. A name is associated with each structure.

\JP @item 9 @b{$BJ,;6I=8=B?9`<0(B}

\EG @item 9 @b{distributed polynomial}

Line 347 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.

\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 474 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}