===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/groebner.texi,v
retrieving revision 1.18
retrieving revision 1.20
diff -u -p -r1.18 -r1.20
--- OpenXM/src/asir-doc/parts/groebner.texi	2016/03/24 20:58:50	1.18
+++ OpenXM/src/asir-doc/parts/groebner.texi	2017/08/31 04:54:36	1.20
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/groebner.texi,v 1.17 2006/09/06 23:53:31 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/groebner.texi,v 1.19 2016/08/29 04:56:58 noro Exp $
 \BJP
 @node グレブナ基底の計算,,, Top
 @chapter グレブナ基底の計算
@@ -201,16 +201,16 @@ In an @b{Asir} session, it is displayed in the form li
 \EG and also can be input in such a form.
 
 \BJP
-@itemx 頭単項式 (head monomial)
 @item 頭項 (head term)
+@itemx 頭単項式 (head monomial)
 @itemx 頭係数 (head coefficient)
 分散表現多項式における各単項式は, 項順序により整列される. この時順
 序最大の単項式を頭単項式, それに現れる項, 係数をそれぞれ頭項, 頭係数
 と呼ぶ. 
 \E
 \BEG
-@itemx head monomial
 @item head term
+@itemx head monomial
 @itemx head coefficient
       
 Monomials in a distributed polynomial is sorted by a total order.
@@ -220,7 +220,45 @@ the head term and the head coefficient respectively.
 \E
 @end table
 
+@noindent
+ChangeLog
+@itemize @bullet
 \BJP
+@item 分散表現多項式は任意のオブジェクトを係数にもてるようになった.
+また加群のk成分の要素を次の形式 <<d0,d1,...:k>> で表現するようになった (2017-08-31).
+\E
+\BEG
+@item Distributed polynomials accept objects as coefficients.
+The k-th element of a free module is expressed as <<d0,d1,...:k>> (2017-08-31).
+\E
+@item 
+1.15 algnum.c,
+1.53 ctrl.c,
+1.66 dp-supp.c,
+1.105 dp.c,
+1.73 gr.c,
+1.4 reduct.c,
+1.16 _distm.c,
+1.17 dalg.c,
+1.52 dist.c,
+1.20 distm.c,
+1.8  gmpq.c,
+1.238 engine/nd.c,
+1.102  ca.h,
+1.411  version.h,
+1.28 cpexpr.c,
+1.42 pexpr.c,
+1.20 pexpr_body.c,
+1.40 spexpr.c,
+1.27 arith.c,
+1.77 eval.c,
+1.56 parse.h,
+1.37 parse.y,
+1.8 stdio.c,
+1.31 plotf.c
+@end itemize
+
+\BJP
 @node ファイルの読み込み,,, グレブナ基底の計算
 @section ファイルの読み込み
 \E
@@ -2320,7 +2358,7 @@ except for lack of the argument for controlling homoge
 @itemx nd_gr_trace(@var{plist},@var{vlist},@var{homo},@var{p},@var{order})
 @itemx nd_f4(@var{plist},@var{vlist},@var{modular},@var{order})
 @itemx nd_f4_trace(@var{plist},@var{vlist},@var{homo},@var{p},@var{order})
-@item nd_weyl_gr(@var{plist},@var{vlist},@var{p},@var{order})
+@itemx nd_weyl_gr(@var{plist},@var{vlist},@var{p},@var{order})
 @itemx nd_weyl_gr_trace(@var{plist},@var{vlist},@var{homo},@var{p},@var{order})
 \JP :: グレブナ基底の計算 (組み込み函数)
 \EG :: Groebner basis computation (built-in functions)
@@ -2973,7 +3011,7 @@ These are used internally in @code{hgr()} etc.
 into an integral distributed polynomial such that GCD of all its coefficients
 is 1.
 \E
-@itemx dp_prim(@var{dpoly})
+@item dp_prim(@var{dpoly})
 \JP :: 有理式倍して係数を整数係数多項式係数かつ係数の多項式 GCD を 1 にする. 
 \BEG
 :: Converts a distributed polynomial @var{poly} with rational function
@@ -3900,7 +3938,7 @@ refer to @code{dp_true_nf()} and @code{dp_true_nf_mod(
 @fref{dp_ptod},
 @fref{dp_dtop},
 @fref{dp_ord},
-@fref{dp_nf dp_nf_mod dp_true_nf dp_true_nf_mod}.
+@fref{dp_nf dp_nf_mod dp_true_nf dp_true_nf_mod dp_weyl_nf dp_weyl_nf_mod}.
 @end table
 
 \JP @node p_terms,,, グレブナ基底に関する函数