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

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.6 2000/09/23 07:53:25 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 346 This is used for basis conversion in finite fields of

Line 354 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}