===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -p -r1.8 -r1.9
--- OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2019/09/13 05:21:33	1.8
+++ OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2020/02/25 02:21:53	1.9
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.7 2019/09/09 23:39:52 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.8 2019/09/13 05:21:33 takayama Exp $ */
 
 /*&C
 @c DO NOT EDIT THIS FILE   
@@ -511,7 +511,7 @@ x*dx+1
 @findex sm1.gb
 @findex sm1.gb_d
 @table @t
-@item sm1.gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@var{r},needBack=@var{n},ring_var=@{r})
+@item sm1.gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@var{r},needBack=@var{n},ring_var=@var{r})
 ::  computes the Grobner basis of @var{f} in the ring of differential
 operators with the variable @var{v}.
 @item sm1.gb_d([@var{f},@var{v},@var{w}]|proc=@var{p})