===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/type.texi,v
retrieving revision 1.5
retrieving revision 1.9
diff -u -p -r1.5 -r1.9
--- OpenXM/src/asir-doc/parts/type.texi	2000/01/26 01:37:33	1.5
+++ OpenXM/src/asir-doc/parts/type.texi	2002/09/03 01:50:58	1.9
@@ -1,4 +1,4 @@
-@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.8 2001/03/12 05:01:18 noro Exp $
 \BJP
 @node 型,,, Top
 @chapter 型
@@ -83,14 +83,14 @@ x  afo  (2.3*x+y)^10
 
 \BJP
 多項式は, 全て展開され, その時点における変数順序に従って, 再帰的に
-1 変数多項式として降冪の順に整理される (@xref{分散表現多項式}). 
+1 変数多項式として降冪の順に整理される. (@xref{分散表現多項式}.) 
 この時, その多項式に現れる順序最大の変数を @b{主変数} と呼ぶ. 
 \E
 \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
@@ -289,10 +289,18 @@ afotake
 newstruct(afo)
 @end example
 
-\JP 構造体に関しては, 章を改めて解説する予定である. 
-\EG For type @b{structure}, we shall describe it in a later chapter.
-(Not written yet.)
+\BJP
+Asir における構造体は, C における構造体を簡易化したものである. 
+固定長配列の各成分を名前でアクセスできるオブジェクトで, 
+構造体定義毎に名前をつける. 
+\E
 
+\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.
+\E
+
 \JP @item 9 @b{分散表現多項式}
 \EG @item 9 @b{distributed polynomial}
 
@@ -347,6 +355,16 @@ This is used for basis conversion in finite fields of 
 \JP quantifier elimination で用いられる一階述語論理式. 
 \EG This expresses a first order formula used in quantifier elimination.
 
+@item 15 @b{matrix over GF(p)}
+@*
+\JP 小標数有限体上の行列.
+\EG A matrix over a small finite field.
+
+@item 16 @b{byte array}
+@*
+\JP 符号なし byte の配列
+\EG An array of unsigned bytes.
+
 \JP @item -1 @b{VOID オブジェクト}
 \EG @item -1 @b{VOID object}
 @*
@@ -474,7 +492,7 @@ not guarantee the accuracy of the result,
 but it indicates the representation size of numbers with which internal
 operations of @b{PARI} are performed.
 \E
-(@ref{eval}, @xref{pari})
+(@xref{eval deval}, @ref{pari}.)
 
 @item 4
 \JP @b{複素数}