===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/type.texi,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -p -r1.14 -r1.15
--- OpenXM/src/asir-doc/parts/type.texi	2016/03/22 07:25:14	1.14
+++ OpenXM/src/asir-doc/parts/type.texi	2019/09/13 09:31:00	1.15
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.13 2007/02/15 02:41:38 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.14 2016/03/22 07:25:14 noro Exp $
 \BJP
 @node 型,,, Top
 @chapter 型
@@ -366,6 +366,24 @@ This is used for basis conversion in finite fields of 
 \JP 符号なし byte の配列
 \EG An array of unsigned bytes.
 
+\JP @item 26 @b{分散表現加群多項式}
+\EG @item 26 @b{distributed module polynomial}
+
+@example
+2*<<0,1,2,3:1>>-3*<<1,2,3,4:2>>
+@end example
+
+\BJP
+これは, 多項式環上の自由加群の元を, 加群単項式の和として内部表現したものである.
+ここで, 加群単項式とは単項式と加群の標準基底の積である.
+これについては @xref{グレブナ基底の計算}.
+\E
+\BEG
+This represents an element in a free module over a polynomial ring
+as a linear sum of module monomials, where a module monomial is
+the product of a monomial in the polynomial ring and a standard base of the free module.
+For details @xref{Groebner basis computation}.
+\E
 \JP @item -1 @b{VOID オブジェクト}
 \EG @item -1 @b{VOID object}
 @*