===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2019/08/31 06:36:28	1.6
+++ OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2019/09/09 23:39:52	1.7
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.5 2012/11/28 05:07:31 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.6 2019/08/31 06:36:28 takayama Exp $ */
 
 /*&C
 @c DO NOT EDIT THIS FILE   
@@ -561,7 +561,7 @@ List
    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.
-@item When the needBack option @var{n} is 1, it returns the answer is a different format as [groebner basis,[gb,1,all,[groebner basis, backward transformation]]]
+@item When the needBack option @var{n} is 1, it returns the answer is a different format as [groebner basis,initial, gb,1,all,[groebner basis, backward transformation]]
 @end itemize
 */
 /*&ja
@@ -615,7 +615,7 @@ execute sm1.auto_reduce(1) before executing this funct
 @item Reduced グレブナー基底または in_w を計算したいときは, この関数の実行の前に
 sm1.auto_reduce(1) を実行しておくこと.
 @item needBack オプションが 1 の時は, 他の場合とは異なる形式
-[groebner basis, [gb,1,all, [groebner basis, backward transformation]]]
+[groebner basis, initial, gb,1,all, [groebner basis, backward transformation]]
 で答えを戻す. (sm1 の getAttribute を参照)
 @end itemize
 */
@@ -717,7 +717,7 @@ $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$
 /*&C
 @example
 [1834] sm1.gb([[dx^2-x,dx],[x]] | needBack=1);
-[[[dx,dx^2-x,1],[dx,dx^2,1]],[gb,1,all,[[dx,dx^2-x,1],[[0,1],[1,0],[-dx,dx^2-x]]]]]
+[[dx,dx^2-x,1],[dx,dx^2,1],gb,1,all,[[dx,dx^2-x,1],[[0,1],[1,0],[-dx,dx^2-x]]]]
 @end example
 */