===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave,v
retrieving revision 1.2
retrieving revision 1.5
diff -u -p -r1.2 -r1.5
--- 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	2003/07/27 13:18:45	1.5
@@ -1,17 +1,25 @@
-/* $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.4 2002/08/23 08:16:12 takayama Exp $ */
 /* dsolv.oxweave */
-/*&eg-texi
+/*&C-texi
 @node DSOLV Functions,,, Top
+*/
 
+/*&eg-texi
+
 @chapter DSOLV Functions
 
 This section is a collection of functions to solve regular holonomic
 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}.
 
@@ -20,7 +28,6 @@ is as same as those you can use in the package @code{s
 */
 
 /*&jp-texi
-@node DSOLV $BH!?t(B,,, Top
 
 @chapter DSOLV $BH!?t(B
 
@@ -29,8 +36,14 @@ is as same as those you can use in the package @code{s
 $B%"%k%4%j%:%`$K$D$$$F$O(B [SST] $B$K@bL@$,$"$k(B.
 $B$3$N%Q%C%1!<%8$O<!$N%3%^%s%I(B @code{load("dsolv");}
 $B$G%m!<%I$G$-$k(B.
-$B$3$N%Q%C%1!<%8$O(B @code{Diff} $B$*$h$S(B @code{dmodule} $B$r;HMQ$9$k(B.
+$B$3$N%Q%C%1!<%8$O(B @code{Diff} $B$*$h$S(B @code{Dmodule} $B$r;HMQ$9$k(B.
 
+OpenXM/Risa/Asir $B$G$NMxMQ$K$"$?$C$F$O(B,
+@example
+load("dsolv");$
+@end example
+$B$,;O$a$KI,MW(B.
+
 $B$3$N%Q%C%1!<%8$O(B @code{ox_sm1} $B$rMxMQ$7$F$$$k(B.
 $B$7$?$,$C$F;HMQ$G$-$kJQ?t$O(B @code{sm1} $B%Q%C%1!<%8$HF1MM$NJQ?t$7$+$D$+$($J$$(B.
 
@@ -38,10 +51,15 @@ is as same as those you can use in the package @code{s
 
 */
 
-/*&eg-texi
+/*&C-texi
 @menu
 * dsolv_dual::
+* dsolv_starting_term::
 @end menu
+*/
+
+
+/*&eg-texi
 @node dsolv_dual,,, DSOLV Functions
 @subsection @code{dsolv_dual}
 @findex dsolv_dual
@@ -64,18 +82,20 @@ 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
-@menu
-* dsolv_dual::
-@end menu
-@node dsolv_dual,,, DSOLV $BH!?t(B
+@node dsolv_dual,,, DSOLV Functions
 @subsection @code{dsolv_dual}
 @findex dsolv_dual
 @table @t
@@ -96,13 +116,16 @@ equations @var{f}@code{_(x->x*dx, y->y*dy, ...)}.
 @item @var{f} $B$G@8@.$5$l$k%$%G%"%k$O(B, @var{v} $B$G@8@.$5$l$k6KBg%$%G%"%k$K(B
 $BBP$7$F(B, primary $B$G$J$$$H$$$1$J$$(B.
 primary $B$G$J$$>l9g(B, $B$3$NH!?t$OL58B%k!<%W$K$*$A$$$k(B.
-@item $B$3$NH!?t$OK\(B [SST] $B$N(B Algorithm 2.3.14  $B$N<BAu$G$"$k(B.
+@end itemize
+
+@noindent
+Algorithm:
+$B$3$NH!?t$OK\(B [SST] $B$N(B Algorithm 2.3.14  $B$N<BAu$G$"$k(B.
 $B=PNOCf$NJQ?t(B x, y, ... $B$r$=$l$>$l(B log(x), log(y), ..., $B$G$*$-$+$($k$H(B,
 $B$3$l$i$N(B log $BB?9`<0$O(B, 
 @var{f}@code{_(x->x*dx, y->y*dy, ...)}
 $B$G@8@.$5$l$kHyJ,J}Dx<07O(B
 $B$N2r$H$J$C$F$$$k(B.
-@end itemize
 */
 
 /*&C-texi
@@ -133,9 +156,6 @@ primary $B$G$J$$>l9g(B, $B$3$NH!?t$OL58B%k!<%W$K$*$
 
 /*&eg-texi
 
-@menu
-* dsolv_starting_term::
-@end menu
 @node dsolv_starting_term,,, DSOLV Functions
 @subsection @code{dsolv_starting_term}
 @findex dsolv_starting_term
@@ -170,10 +190,7 @@ then this function outputs messages during the computa
 
 /*&jp-texi
 
-@menu
-* dsolv_starting_term::
-@end menu
-@node dsolv_starting_term,,, DSOLV $BH!?t(B
+@node dsolv_starting_term,,, DSOLV Functions
 @subsection @code{dsolv_starting_term}
 @findex dsolv_starting_term
 @table @t
@@ -201,9 +218,15 @@ Staring terms $B$r7W;;$9$k(B. $B$3$3$G(B, @var{v} 
 $B$3$NH!?t$O7W;;$NESCf$K$$$m$$$m$H%a%C%;!<%8$r=PNO$9$k(B.
 @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]]);