===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/type.texi,v
retrieving revision 1.6
retrieving revision 1.9
diff -u -p -r1.6 -r1.9
--- OpenXM/src/asir-doc/parts/type.texi	2000/09/23 07:53:25	1.6
+++ 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.5 2000/01/26 01:37:33 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
@@ -355,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}
 @*
@@ -482,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{複素数}