===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2002/07/14 13:14:37	1.4
+++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2002/08/11 08:39:47	1.5
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.3 2001/07/12 00:46:29 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.4 2002/07/14 13:14:37 takayama Exp $ */
 
 /*&C-texi
 @c DO NOT EDIT THIS FILE   oxphc.texi
@@ -69,12 +69,7 @@ cohomology groups.
 /*&C-texi
 @example
 
-This is Risa/Asir, Version 20000126.
-Copyright (C) FUJITSU LABORATORIES LIMITED.
-1994-1999. All rights reserved.
-xm version 20000202. Copyright (C) OpenXM Developing Team. 2000.
-ox_help(0); ox_help("keyword"); ox_grep("keyword"); for help message 
-Loading ~/.asirrc
+@include opening.texi
 
 [283] sm1_deRham([x*(x-1),[x]]);
 [1,2]
@@ -407,13 +402,13 @@ def sm1(P,F) {
 /*&jp-texi
 @table @t
 @item 参照
-    @code{sm1_start}, @code{ox_push_int0}, @code{sm1_push_poly0}. 
+    @code{sm1_start}, @code{ox_push_int0}, @code{sm1_push_poly0}, @code{Sm1_proc}. 
 @end table
 */
 /*&eg-texi
 @table @t
 @item Reference
-    @code{sm1_start}, @code{ox_push_int0}, @code{sm1_push_poly0}. 
+    @code{sm1_start}, @code{ox_push_int0}, @code{sm1_push_poly0}, @code{Sm1_proc}. 
 @end table
 */
 
@@ -1123,7 +1118,7 @@ mode. So, it is strongly recommended to execute the co
 @table @t
 @item Reference
     @code{sm1_start}, @code{deRham} (sm1 command)
-@item Reference paper
+@item Algorithm:
     Oaku, Takayama, An algorithm for de Rham cohomology groups of the
     complement of an affine variety via D-module computation, 
     Journal of pure and applied algebra 139 (1999), 201--233.
@@ -1133,7 +1128,7 @@ mode. So, it is strongly recommended to execute the co
 @table @t
 @item 参照
     @code{sm1_start}, @code{deRham} (sm1 command)
-@item 参考論文
+@item Algorithm:
     Oaku, Takayama, An algorithm for de Rham cohomology groups of the
     complement of an affine variety via D-module computation, 
     Journal of pure and applied algebra 139 (1999), 201--233.
@@ -2910,16 +2905,19 @@ of the system of differential equations @var{ii}
 along the hyperplane specified by
 the V filtration @var{v_filtration}.
 @item @var{v} is a list of variables.
-@item As to the algorithm,
-see "A.Assi, F.J.Castro-Jimenez and J.M.Granger,
-How to calculate the slopes of a D-module, Compositio Math, 104, 1-17, 1996"
-Note that the signs of the slopes are negative, but the absolute values
-of the slopes are returned.
 @item The return value is a list of lists.
 The first entry of each list is the slope and the second entry
 is the weight vector for which the microcharacteristic variety is
 not bihomogeneous.
 @end itemize
+
+@noindent
+Algorithm:
+see "A.Assi, F.J.Castro-Jimenez and J.M.Granger,
+How to calculate the slopes of a D-module, Compositio Math, 104, 1-17, 1996"
+Note that the signs of the slopes are negative, but the absolute values
+of the slopes are returned.
+
 */
 
 /*&jp-texi
@@ -2954,16 +2952,18 @@ not bihomogeneous.
 微分方程式系 @var{ii} の V filtration  @var{v_filtration}
 で指定する超平面に沿っての (geomeric) slope を計算する.
 @item @var{v} は変数のリスト.
-@item 使用しているアルゴリズムについては,
+@item 戻り値は, リストを成分とするリストである.
+成分リストの第 1 要素が slope, 第 2 要素は, その weight vector に対応する
+microcharacteristic variety が bihomogeneous でない.
+@end itemize
+
+@noindent
+Algorithm:
 "A.Assi, F.J.Castro-Jimenez and J.M.Granger,
 How to calculate the slopes of a D-module, Compositio Math, 104, 1-17, 1996"
 をみよ.
 Slope の本来の定義では, 符号が負となるが, このプログラムは,
 Slope の絶対値を戻す.
-@item 戻り値は, リストを成分とするリストである.
-成分リストの第 1 要素が slope, 第 2 要素は, その weight vector に対応する
-microcharacteristic variety が bihomogeneous でない.
-@end itemize
 */
 
 /*&C-texi