=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave,v retrieving revision 1.1 retrieving revision 1.6 diff -u -p -r1.1 -r1.6 --- OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave 2000/02/06 06:39:48 1.1 +++ OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave 2004/03/05 15:30:50 1.6 @@ -1,17 +1,25 @@ -/* $OpenXM$ */ +/* $OpenXM: OpenXM/src/asir-contrib/packages/doc/dsolv.oxweave,v 1.5 2003/07/27 13:18:45 takayama Exp $ */ /* dsolv.oxweave */ -/*&eg-texi +/*&C-texi @node DSOLV Functions,,, Top +*/ +/*&en + @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}. @@ -19,8 +27,7 @@ is as same as those you can use in the package @code{s */ -/*&jp-texi -@node DSOLV $BH!?t(B,,, Top +/*&ja @chapter DSOLV $BH!?t(B @@ -29,19 +36,30 @@ 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$Ox*dx, y->y*dy, ...)}. + */ -/*&jp-texi -@menu -* dsolv_dual:: -@end menu -@node dsolv_dual,,, DSOLV $BH!?t(B +/*&ja +@node dsolv_dual,,, DSOLV Functions @subsection @code{dsolv_dual} @findex dsolv_dual @table @t @@ -96,12 +116,16 @@ equations @code{map(subst,@var{f},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$l(B log(x), log(y), ..., $B$G$*$-$+$($k$H(B, $B$3$l$i$N(B log $BB?9`<0$O(B, -@code{map(subst,@var{f},x,x*dx, y,y*dy, ...)} $B$G@8@.$5$l$kHyJ,J}Dx<07O(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 @@ -130,11 +154,8 @@ primary $B$G$J$$>l9g(B, $B$3$NH!?t$OL58B%k!<%W$K$*$ */ -/*&eg-texi +/*&en -@menu -* dsolv_starting_term:: -@end menu @node dsolv_starting_term,,, DSOLV Functions @subsection @code{dsolv_starting_term} @findex dsolv_starting_term @@ -167,12 +188,9 @@ then this function outputs messages during the computa */ -/*&jp-texi +/*&ja -@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 @@ -200,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]]);