===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2012/06/11 05:23:52	1.4
+++ OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2012/11/28 05:07:31	1.5
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.3 2010/02/06 00:50:32 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.4 2012/06/11 05:23:52 takayama Exp $ */
 
 /*&C
 @c DO NOT EDIT THIS FILE   
@@ -559,6 +559,8 @@ List
    Each polynomial is expressed as a string temporally for now.
    When the optional variable @var{r} is set to one,
    the polynomials are dehomogenized (,i.e., h is set to 1).
+@item If you want to have a reduced basis or compute the initial form ideal exactly, 
+execute sm1.auto_reduce(1) before executing this function.
 @end itemize
 */
 /*&ja
@@ -609,6 +611,8 @@ List
     いまのところこの多項式は, 文字列で表現される.
     オプショナル変数 @var{r} がセットされているときは,
     戻り多項式は dehomogenize される (すなわち h に 1 が代入される).
+@item Reduced グレブナー基底または in_w を計算したいときは, この関数の実行の前に
+sm1.auto_reduce(1) を実行しておくこと.
 @end itemize
 */
 /*&C
@@ -710,13 +714,13 @@ $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$
 /*&en
 @table @t
 @item Reference
-    @code{sm1.reduction}, @code{sm1.rat_to_p}
+    @code{sm1.auto_reduce}, @code{sm1.reduction}, @code{sm1.rat_to_p}
 @end table
 */
 /*&ja
 @table @t
 @item 参照
-    @code{sm1.reduction}, @code{sm1.rat_to_p}
+    @code{sm1.auto_reduce}, @code{sm1.reduction}, @code{sm1.rat_to_p}
 @end table
 */