===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/groebner.texi,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -p -r1.23 -r1.24
--- OpenXM/src/asir-doc/parts/groebner.texi	2019/09/13 09:31:00	1.23
+++ OpenXM/src/asir-doc/parts/groebner.texi	2020/09/01 09:25:32	1.24
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/groebner.texi,v 1.22 2019/03/29 04:54:25 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/groebner.texi,v 1.23 2019/09/13 09:31:00 noro Exp $
 \BJP
 @node グレブナ基底の計算,,, Top
 @chapter グレブナ基底の計算
@@ -1568,6 +1568,12 @@ not yet
 * dp_nf dp_nf_mod dp_true_nf dp_true_nf_mod dp_weyl_nf dp_weyl_nf_mod::
 * dp_hm dp_ht dp_hc dp_rest::
 * dpm_hm dpm_ht dpm_hc dpm_hp dpm_rest::
+* dpm_sp::
+* dpm_redble::
+* dpm_nf dpm_nf_and_quotient::
+* dpm_dtol::
+* dpm_ltod::
+* dpm_dptodpm::
 * dp_td dp_sugar::
 * dp_lcm::
 * dp_redble::