===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.1
retrieving revision 1.3
diff -u -p -r1.1 -r1.3
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2001/07/11 01:00:23	1.1
+++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2001/07/12 00:46:29	1.3
@@ -1,4 +1,4 @@
-/*$OpenXM$ */
+/*$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})
+@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
+@item p, q, r
 Number
 @item f, v, w
 List
@@ -808,6 +808,14 @@ List
    When a non-term order is given, the Grobner basis is computed in 
    the homogenized Weyl algebra  (See Section 1.2 of the book of SST).
    The homogenization variable h is automatically added.
+@item
+   When the optional variable @var{q} is set, @code{sm1_gb} returns,
+   as the third return value, a list of
+   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
@@ -821,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})
+@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} のグレブナ基底を計算する. 結果を分散多項式のリストで戻す.
@@ -830,7 +838,7 @@ List
 @table @var
 @item return
 リスト
-@item p
+@item p, q, r
 数
 @item f, v, w
 リスト
@@ -856,6 +864,12 @@ List
 @item
    Term order でない順序が与えられた場合は, 同次化ワイル代数でグレブナ基底が計算される (SST の本の Section 1.2 を見よ).
 同次化変数 @code{h} が結果に加わる.
+@item オプショナル変数 @var{q} がセットされているときは,
+    3 番目の戻り値として, グレブナ基底およびイニシァルのリストが
+    与えられた順序でソートされたモノミアルの和として戻される.
+    いまのところこの多項式は, 文字列で表現される.
+    オプショナル変数 @var{r} がセットされているときは,
+    戻り多項式は dehomogenize される (すなわち h に 1 が代入される).
 @end itemize
 */
 /*&C-texi
@@ -919,6 +933,13 @@ $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$
 (つまり $50c+2d+a = 50c'+2d'+a'$ のとき reverse lexicographic order で比較
 される).
 @end tex
+*/
+/*&C-texi
+@example
+[294] F=sm1_gb([[dx^2+dy^2-4,dx*dy-1],[x,y],[[dx,50,dy,2,x,1]]]|sorted=1);
+      map(print,F[2][0])$
+      map(print,F[2][1])$
+@end example
 */
 /*&C-texi
 @example