===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2001/07/11 06:23:16	1.2
+++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2001/07/12 00:46:29	1.3
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.1 2001/07/11 01:00:23 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.2 2001/07/11 06:23:16 takayama Exp $ */
 
 /*&C-texi
 @c DO NOT EDIT THIS FILE   oxphc.texi
@@ -768,7 +768,7 @@ def sm1_isListOfVar(A) {
 @findex sm1_gb
 @findex sm1_gb_d
 @table @t
-@item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q})
+@item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@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})
@@ -780,7 +780,7 @@ The result will be returned as a list of distributed p
 @table @var
 @item return
 List
-@item p, q
+@item p, q, r
 Number
 @item f, v, w
 List
@@ -814,6 +814,8 @@ List
    the Grobner basis and the initial ideal
    with sums of monomials sorted by the given order.
    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).
 @end itemize
 */
 /*&jp-texi
@@ -827,7 +829,7 @@ List
 @findex sm1_gb
 @findex sm1_gb_d
 @table @t
-@item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q})
+@item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@var{r})
 ::  @var{v} 上の微分作用素環において @var{f} のグレブナ基底を計算する.
 @item sm1_gb_d([@var{f},@var{v},@var{w}]|proc=@var{p})
 ::  @var{v} 上の微分作用素環において @var{f} のグレブナ基底を計算する. 結果を分散多項式のリストで戻す.
@@ -836,7 +838,7 @@ List
 @table @var
 @item return
 リスト
-@item p, q
+@item p, q, r
 数
 @item f, v, w
 リスト
@@ -866,6 +868,8 @@ List
     3 番目の戻り値として, グレブナ基底およびイニシァルのリストが
     与えられた順序でソートされたモノミアルの和として戻される.
     いまのところこの多項式は, 文字列で表現される.
+    オプショナル変数 @var{r} がセットされているときは,
+    戻り多項式は dehomogenize される (すなわち h に 1 が代入される).
 @end itemize
 */
 /*&C-texi