===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v
retrieving revision 1.3
retrieving revision 1.5
diff -u -p -r1.3 -r1.5
--- OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2010/02/06 00:50:32	1.3
+++ OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2012/11/28 05:07:31	1.5
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.2 2008/06/04 01:46:52 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.4 2012/06/11 05:23:52 takayama Exp $ */
 
 /*&C
 @c DO NOT EDIT THIS FILE   
@@ -559,6 +559,8 @@ List
    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).
+@item If you want to have a reduced basis or compute the initial form ideal exactly, 
+execute sm1.auto_reduce(1) before executing this function.
 @end itemize
 */
 /*&ja
@@ -609,6 +611,8 @@ List
     いまのところこの多項式は, 文字列で表現される.
     オプショナル変数 @var{r} がセットされているときは,
     戻り多項式は dehomogenize される (すなわち h に 1 が代入される).
+@item Reduced グレブナー基底または in_w を計算したいときは, この関数の実行の前に
+sm1.auto_reduce(1) を実行しておくこと.
 @end itemize
 */
 /*&C
@@ -710,13 +714,13 @@ $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$
 /*&en
 @table @t
 @item Reference
-    @code{sm1.reduction}, @code{sm1.rat_to_p}
+    @code{sm1.auto_reduce}, @code{sm1.reduction}, @code{sm1.rat_to_p}
 @end table
 */
 /*&ja
 @table @t
 @item 参照
-    @code{sm1.reduction}, @code{sm1.rat_to_p}
+    @code{sm1.auto_reduce}, @code{sm1.reduction}, @code{sm1.rat_to_p}
 @end table
 */
 
@@ -2075,8 +2079,13 @@ not bihomogeneous.
 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
+Note that the signs of the slopes s' are negative, but the absolute values -s'
 of the slopes are returned.
+In other words, when pF+qV is the gap, -s'=q/p is returned.
+Note that s=1-1/s' is called the slope in recent literatures. Solutions belongs to O(s).
+The number s satisfies 1<= s.  
+We have r=s-1=-1/s', and kappa=1/r=-s', which is used 1/Gamma(1+m*r) factor and exp(-tau^kappa)
+in the Borel and Laplace transformations respectively.
 
 */
 
@@ -2119,8 +2128,14 @@ 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 の絶対値を戻す.
+Slope s' の本来の定義では, 符号が負となるが, このプログラムは,
+Slope の絶対値 -s' を戻す.
+つまり pF+qV がmicro特性多様体のgapであるとき, -s'=q/p を戻す.
+最近の文献では s=1-1/s' を slope と呼んでいる. 解は O(s) に属する.
+数 s は 1<= s を満す.  
+r=s-1=-1/s' および kappa=1/r=-s' である.
+これらの数はBorel and Laplace 変換においてそれぞれ 1/Gamma(1+m*r) factor,
+exp(-tau^kappa) 項として使われる.
 */
 
 /*&C