===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.9
retrieving revision 1.13
diff -u -p -r1.9 -r1.13
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2003/05/19 05:15:52	1.9
+++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2003/07/28 01:36:36	1.13
@@ -1,10 +1,11 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.8 2003/05/18 02:20:21 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.12 2003/07/28 01:17:39 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,11 @@ See the appendix.
 * sm1.rank::
 * sm1.auto_reduce::
 * sm1.slope::
+* sm1.ahg::
+* sm1.bfunction::
+* sm1.generalized_bfunction::
+* sm1.restriction::
+* sm1.saturation::
 @end menu
 */
 
@@ -120,7 +125,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 +156,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 +314,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
 
@@ -333,11 +338,11 @@ to execute the command string @var{s}.
 @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
 
@@ -358,20 +363,17 @@ to execute the command string @var{s}.
 */
 /*&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 参照
@@ -498,7 +500,6 @@ x*dx+1
 /*&eg-texi
 @c sort-sm1.gb
 @node sm1.gb,,, SM1 Functions
-@node sm1.gb_d,,, SM1 Functions
 @subsection @code{sm1.gb}
 @findex sm1.gb
 @findex sm1.gb_d
@@ -556,7 +557,6 @@ List
 /*&jp-texi
 @c sort-sm1.gb
 @node sm1.gb,,, SM1 Functions
-@node sm1.gb_d,,, SM1 Functions
 @subsection @code{sm1.gb}
 @findex sm1.gb
 @findex sm1.gb_d
@@ -1221,13 +1221,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
 */
 
@@ -1323,7 +1323,6 @@ basic_plus(basic_times(basic_power(x,4),1),basic_times
 /*&eg-texi
 @c sort-sm1.syz
 @node sm1.syz,,, SM1 Functions
-@node sm1.syz_d,,, SM1 Functions
 @subsection @code{sm1.syz}
 @findex sm1.syz
 @findex sm1.syz_d
@@ -1350,7 +1349,7 @@ Here @var{s} is the syzygy of @var{f} in the ring of d
 operators with the variable @var{v}. 
 @var{g} is a Groebner basis of @var{f} with the weight vector @var{w},
 and @var{m} is a matrix that translates the input matrix @var{f} to the Gr\"obner
-basis @var {g}.
+basis @var{g}.
 @var{t} is the syzygy of the Gr\"obner basis @var{g}.
 In summary, @var{g} = @var{m} @var{f} and
 @var{s} @var{f} = 0 hold as matrices.
@@ -1367,7 +1366,6 @@ In summary, @var{g} = @var{m} @var{f} and
 /*&jp-texi
 @c sort-sm1.syz
 @node sm1.syz,,, SM1 Functions
-@node sm1.syz_d,,, SM1 Functions
 @subsection @code{sm1.syz}
 @findex sm1.syz
 @findex sm1.syz_d
@@ -2059,13 +2057,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
 */