===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave	2000/02/07 04:46:25	1.2
+++ OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave	2002/08/08 08:56:32	1.3
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/asir-contrib/packages/doc/dsolv.oxweave,v 1.1 2000/02/06 06:39:48 takayama Exp $ */
+/* $OpenXM: OpenXM/src/asir-contrib/packages/doc/dsolv.oxweave,v 1.2 2000/02/07 04:46:25 takayama Exp $ */
 /* dsolv.oxweave */
 /*&eg-texi
 @node DSOLV Functions,,, Top
@@ -9,9 +9,14 @@ This section is a collection of functions to solve reg
 systems in terms of series.
 Algorithms are explained in the book [SST].
 You can load this package by the command
-@code{load("dsolv");}
+@code{load("dsolv")$}
 This package requires @code{Diff} and @code{dmodule}.
 
+To use the functions of the package @code{dsolv} in OpenXM/Risa/Asir,
+executing the command @code{load("dsolv")$}
+is necessary at first.
+
+
 This package uses @code{ox_sm1}, so the variables you can use
 is as same as those you can use in the package @code{sm1}.
 
@@ -29,8 +34,14 @@ is as same as those you can use in the package @code{s
 アルゴリズムについては [SST] に説明がある.
 このパッケージは次のコマンド @code{load("dsolv");}
 でロードできる.
-このパッケージは @code{Diff} および @code{dmodule} を使用する.
+このパッケージは @code{Diff} および @code{Dmodule} を使用する.
 
+OpenXM/Risa/Asir での利用にあたっては,
+@example
+load("dsolv");$
+@end example
+が始めに必要.
+
 このパッケージは @code{ox_sm1} を利用している.
 したがって使用できる変数は @code{sm1} パッケージと同様の変数しかつかえない.
 
@@ -64,11 +75,16 @@ with variables @var{v}.
 generated by @var{v}.
 If it is not primary to the maximal ideal, then this function falls into
 an infinite loop.
-@item This is an implementation of Algorithm 2.3.14 of the book [SST].
+@end itemize
+
+
+@noindent
+Algorithm:
+This is an implementation of Algorithm 2.3.14 of the book [SST].
 If we replace variables x, y, ... in the output by log(x), log(y), ...,
 then these polynomials in log are solutions of the system of differential
 equations @var{f}@code{_(x->x*dx, y->y*dy, ...)}.
-@end itemize
+
 */
 
 /*&jp-texi
@@ -96,13 +112,16 @@ equations @var{f}@code{_(x->x*dx, y->y*dy, ...)}.
 @item @var{f} で生成されるイデアルは, @var{v} で生成される極大イデアルに
 対して, primary でないといけない.
 primary でない場合, この函数は無限ループにおちいる.
-@item この函数は本 [SST] の Algorithm 2.3.14  の実装である.
+@end itemize
+
+@noindent
+Algorithm:
+この函数は本 [SST] の Algorithm 2.3.14  の実装である.
 出力中の変数 x, y, ... をそれぞれ log(x), log(y), ..., でおきかえると,
 これらの log 多項式は, 
 @var{f}@code{_(x->x*dx, y->y*dy, ...)}
 で生成される微分方程式系
 の解となっている.
-@end itemize
 */
 
 /*&C-texi
@@ -201,9 +220,15 @@ Staring terms を計算する. ここで, @var{v} 
 この函数は計算の途中にいろいろとメッセージを出力する.
 @end itemize
 
+
 */
 
 /*&C-texi
+
+@noindent
+Algorithm: Saito, Sturmfels, Takayama, Grobner Deformations of Hypergeometric
+Differential Equations ([SST]), Chapter 2.
+
 
 @example
 [1076]   F = sm1_gkz( [ [[1,1,1,1,1],[1,1,0,-1,0],[0,1,1,-1,0]], [1,0,0]]);