===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.1
retrieving revision 1.4
diff -u -p -r1.1 -r1.4
--- 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	2002/07/14 13:14:37	1.4
@@ -1,4 +1,4 @@
-/*$OpenXM$ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.3 2001/07/12 00:46:29 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} $B>e$NHyJ,:nMQAG4D$K$*$$$F(B @var{f} $B$N%0%l%V%J4pDl$r7W;;$9$k(B.
 @item sm1_gb_d([@var{f},@var{v},@var{w}]|proc=@var{p})
 ::  @var{v} $B>e$NHyJ,:nMQAG4D$K$*$$$F(B @var{f} $B$N%0%l%V%J4pDl$r7W;;$9$k(B. $B7k2L$rJ,;6B?9`<0$N%j%9%H$GLa$9(B.
@@ -830,7 +838,7 @@ List
 @table @var
 @item return
 $B%j%9%H(B
-@item p
+@item p, q, r
 $B?t(B
 @item f, v, w
 $B%j%9%H(B
@@ -856,6 +864,12 @@ List
 @item
    Term order $B$G$J$$=g=x$,M?$($i$l$?>l9g$O(B, $BF1<!2=%o%$%kBe?t$G%0%l%V%J4pDl$,7W;;$5$l$k(B (SST $B$NK\$N(B Section 1.2 $B$r8+$h(B).
 $BF1<!2=JQ?t(B @code{h} $B$,7k2L$K2C$o$k(B.
+@item $B%*%W%7%g%J%kJQ?t(B @var{q} $B$,%;%C%H$5$l$F$$$k$H$-$O(B,
+    3 $BHVL\$NLa$jCM$H$7$F(B, $B%0%l%V%J4pDl$*$h$S%$%K%7%!%k$N%j%9%H$,(B
+    $BM?$($i$l$?=g=x$G%=!<%H$5$l$?%b%N%_%"%k$NOB$H$7$FLa$5$l$k(B.
+    $B$$$^$N$H$3$m$3$NB?9`<0$O(B, $BJ8;zNs$GI=8=$5$l$k(B.
+    $B%*%W%7%g%J%kJQ?t(B @var{r} $B$,%;%C%H$5$l$F$$$k$H$-$O(B,
+    $BLa$jB?9`<0$O(B dehomogenize $B$5$l$k(B ($B$9$J$o$A(B h $B$K(B 1 $B$,BeF~$5$l$k(B).
 @end itemize
 */
 /*&C-texi
@@ -922,6 +936,13 @@ $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$
 */
 /*&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
 [595]
    sm1_gb([["dx*(x*dx +y*dy-2)-1","dy*(x*dx + y*dy -2)-1"],
              [x,y],[[dx,1,x,-1],[dy,1]]]);
@@ -2975,6 +2996,15 @@ microcharacteristic variety $B$,(B bihomogeneous $B
 @item $B;2>H(B
     @code{sm_gb}
 @end table
+*/
+
+
+/*&eg-texi
+@include sm1-auto-en.texi
+*/
+
+/*&jp-texi
+@include sm1-auto-ja.texi
 */