===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.8
retrieving revision 1.11
diff -u -p -r1.8 -r1.11
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2003/05/18 02:20:21	1.8
+++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2003/07/27 13:18:46	1.11
@@ -1,10 +1,11 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.7 2003/05/04 08:37:40 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.10 2003/05/20 23:25:28 takayama Exp $ */
 
 /*&C-texi
 @c DO NOT EDIT THIS FILE   oxphc.texi
 */
 /*&C-texi
 @node SM1 Functions,,, Top
+
 */
 /*&jp-texi
 @chapter SM1 函数
@@ -86,16 +87,15 @@ Grobner Deformations of Hypergeometric Differential Eq
 See the appendix.
 */
 
-/*
+/*&C-texi
 @menu
 * ox_sm1_forAsir::
 * sm1.start::
-* sm1::
+* sm1.sm1::
 * sm1.push_int0::
 * sm1.gb::
 * sm1.deRham::
 * sm1.hilbert::
-* hilbert_polynomial::
 * sm1.genericAnn::
 * sm1.wTensor0::
 * sm1.reduction::
@@ -109,6 +109,13 @@ See the appendix.
 * sm1.rank::
 * sm1.auto_reduce::
 * sm1.slope::
+* sm1.gb_d::
+* sm1.syz_d::
+* sm1.ahg::
+* sm1.bfunction::
+* sm1.generalized_bfunction::
+* sm1.restriction::
+* sm1.saturation::
 @end menu
 */
 
@@ -120,7 +127,7 @@ See the appendix.
 */ 
 
 /*&eg-texi
-@node ox_sm1_forAsir,,, Top
+@node ox_sm1_forAsir,,, SM1 Functions
 @subsection @code{ox_sm1_forAsir}
 @findex ox_sm1_forAsir
 @table @t
@@ -151,7 +158,7 @@ to build your own server by reading @code{sm1} macros.
 @end itemize
 */
 /*&jp-texi
-@node ox_sm1_forAsir,,, Top
+@node ox_sm1_forAsir,,, SM1 Functions
 @subsection @code{ox_sm1_forAsir}
 @findex ox_sm1_forAsir
 @table @t
@@ -309,11 +316,11 @@ a*da
 
 /*&eg-texi
 @c sort-sm1
-@node sm1,,, SM1 Functions
-@subsection @code{sm1}
-@findex sm1
+@node sm1.sm1,,, SM1 Functions
+@subsection @code{sm1.sm1}
+@findex sm1.sm1
 @table @t
-@item sm1(@var{p},@var{s})
+@item sm1.sm1(@var{p},@var{s})
 ::  ask the @code{sm1} server to execute the command string @var{s}.
 @end table
 
@@ -329,14 +336,15 @@ String
 @itemize @bullet
 @item  It asks the @code{sm1} server of the descriptor number @var{p}
 to execute the command string @var{s}.
+(In the next example, the descriptor number is 0.)
 @end itemize
 */
 /*&jp-texi
-@node sm1,,, SM1 Functions
-@subsection @code{sm1}
-@findex sm1
+@node sm1.sm1,,, SM1 Functions
+@subsection @code{sm1.sm1}
+@findex sm1.sm1
 @table @t
-@item sm1(@var{p},@var{s})
+@item sm1.sm1(@var{p},@var{s})
 ::  サーバ @code{sm1} にコマンド列 @var{s} を実行してくれるようにたのむ.
 @end table
 
@@ -352,24 +360,22 @@ to execute the command string @var{s}.
 @itemize @bullet
 @item  識別番号 @var{p} の @code{sm1} サーバに
 コマンド列 @var{s} を実行してくれるように頼む.
+ (次の例では, 識別番号 0)
 @end itemize
 */
 /*&C-texi
 @example
-[261] sm1(0," ( (x-1)^2 ) . ");
+[261] sm1.sm1(0," ( (x-1)^2 ) . ");
 0
 [262] ox_pop_string(0);
 x^2-2*x+1
-[263] sm1(0," [(x*(x-1))  [(x)]] deRham ");
+[263] sm1.sm1(0," [(x*(x-1))  [(x)]] deRham ");
 0
 [264] ox_pop_string(0);
 [1 , 2]
 @end example
 */
-def sm1(P,F) {
-  ox_execute_string(P,F);
-  sm1flush(P);
-}
+
 /*&jp-texi
 @table @t
 @item 参照
@@ -1219,13 +1225,13 @@ sm1.reduction_d(P,F,G) および sm1.reduction_noH_
 /*&eg-texi
 @table @t
 @item Reference
-    @code{sm1.start}, @code{Sm1_find_proc}, @code{d_true_nf}
+    @code{sm1.start}, @code{d_true_nf}
 @end table
 */
 /*&jp-texi
 @table @t
 @item 参照
-    @code{sm1.start}, @code{sm1_find_proc}, @code{d_true_nf}
+    @code{sm1.start}, @code{d_true_nf}
 @end table
 */
 
@@ -2057,13 +2063,13 @@ Slope の絶対値を戻す.
 /*&eg-texi
 @table @t
 @item Reference
-    @code{sm_gb}
+    @code{sm.gb}
 @end table
 */
 /*&jp-texi
 @table @t
 @item 参照
-    @code{sm_gb}
+    @code{sm.gb}
 @end table
 */