=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v retrieving revision 1.40 retrieving revision 1.44 diff -u -p -r1.40 -r1.44 --- OpenXM/src/asir-doc/exp/exp-ja.texi 2010/09/28 07:24:34 1.40 +++ OpenXM/src/asir-doc/exp/exp-ja.texi 2011/12/09 02:18:48 1.44 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.39 2010/07/16 07:55:06 nisiyama Exp $ +%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.43 2011/12/08 06:40:52 nisiyama Exp $ \input texinfo @iftex @catcode`@#=6 @@ -38,7 +38,7 @@ @title $B\$7$$@bL@(B --- +@comment --- @itemize$B!A(B@end itemize $B$O2U>r=q$-(B --- +@comment --- @bullet $B$O9uE@IU$-(B --- +@itemize @bullet +@item test_ann_mul(), test_ann_mul2(), test_ann_mul3() $B$r;2>H(B. +@end itemize + + +@node nk_restriction (option) ,,, D $B2C72$N@)8B(B, $B@QJ,$K4X$9$k4X?t$N@bL@(B (option) @subsection @code{nk_restriction (option)} @comment --- $B:w0zMQ%-!<%o!<%I(B @findex nk_restriction (option) @@ -2986,10 +3022,10 @@ $\{(x^2-x) \partial_x^2+((a+b+1)x-c) \partial_x+ab \} $B$G$"$k$3$H$r0UL#$9$k(B. @end ifinfo -@node nk_restriction,,, D $B2C72$N@QJ,%$%G%"%k$NHs@Fl9g$O%(%i!<%a%C%;!<%8$,I=<($5$l$k(B. @end itemize +@node nk_restriction.ost_integration_ideal,,, D $B2C72$N@QJ,%$%G%"%k(B +@subsection @code{nk_restriction.ost_integration_ideal} +@comment --- $B:w0zMQ%-!<%o!<%I(B +@findex nk_restriction.ost_integration_ideal + +@comment --- $B4X?t$N4JC1$J@bL@(B --- +$B@QJ,NN0h$,6h4V$ND>@Q$G$"$k$h$&$J@QJ,$NK~$?$9(B +$B%[%m%N%_%C%/@FeC<$rI=$9%j%9%H(B +@end table + +@comment --- $B$3$3$G4X?t$N>\$7$$@bL@(B --- +@comment --- @itemize$B!A(B@end itemize $B$O2U>r=q$-(B --- +@comment --- @bullet $B$O9uE@IU$-(B --- +@itemize @bullet +@item $B2eC<$KL58BBg$r;XDj$9$k$H$-$O(B, $BJ8;zNs(B "inf", "+inf", "-inf" $B$rMQ$$$k(B. +@end itemize + +$B0J2<$O(B, Oaku-Shiraki-Takayama (2003) $B$NNc(B5.1$B$r7W;;$7$?$b$N$G$"$k(B. +@iftex +@tex +$ \int_0^\infty \exp((-t^3+t)x) dt $ +@end tex +$B$NHo@QJ,4X?t$NK~$?$9%[%m%N%_%C%/%$%G%"%k$O(B +@tex +$ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t \rangle $ +@end tex +$B$G$"$k$+$i(B, $B$3$l$rF~NO$H$7$F +$B$G$"$k$+$i(B, $B$3$l$rF~NO$H$7$F\$7$$@bL@(B --- +@comment --- @itemize$B!A(B@end itemize $B$O2U>r=q$-(B --- +@comment --- @bullet $B$O9uE@IU$-(B --- +@itemize @bullet +@item Oaku-Shiraki-Takayama (2003) $B$NBh(B6$B@a$N%"%k%4%j%:%`$NpJs$bJV$9(B. +@end itemize + +$B0J2<$O(B, Oaku-Shiraki-Takayama (2003) $B$NNc(B6.5$B$NHs@F +$B$G$"$k$+$i(B, $B$3$l$rF~NO$H$7$F(B($BL$J,N`(B),,, $BH(B. @item option $B$H$7$F$O(B fit=1 $B$,$"$k(B. Z$B<4$rE,59D4@0$9$k(B. +@item @var{Dom} $B$NC<$O%0%i%UI=<($N;~$K0lIt%+%C%H$5$l$k$N$GCm0U(B. @end itemize @example [1355] import("tk_pf2.rr"); import("mt_graph.rr"); import("tk_pfn.rr"); -[1590] tk_pfn.testgraph(); +[1590] tk_pfn.testgraph1(); $B$3$3$G(B testgraph1() $B$O0J2<$N$H$*$j(B. def testgraph1() { @@ -3137,7 +3321,7 @@ def testgraph1() { Iv = [0.105994,-0.651603,-0.760628]; Dom=[[0.5,1.5],[1.5,9]]; Step = 0.5; - return graph(Pf,Dom,Iv,Step | fit=1); + return tk_pfn.graph(Pf,Dom,Iv,Step | fit=1); } @@ -3151,6 +3335,114 @@ ChangeLog @itemize @bullet @item $B$3$N4X?t$O(B 2010-08 $B$K:G=i$NHG$,=q$+$l$?(B. @item @code{OpenXM/src/asir-contrib/packages/src/tk_pfn.rr} 1.8 +@end itemize + +@node tk_rk.runge_kutta_4,,, $Bl9g$K;H$&(B --- +@table @t +@item tk_rk.runge_kutta_4(@var{Eq},@var{X},@var{Y},@var{X0},@var{Y0},@var{Terminal},@var{Step}) +:: 4$B(B. +@var{Y} $B%j%9%H(B. $B=>B0JQ?t$N%j%9%H(B. +@var{Step} $B9o$_I}(B. +@item X0, Y0, Terminal +@var{X0} $B=PH/E@$N(B @var{X} $B$NCM(B. +@var{Y0} $B=PH/E@$G$N(B @var{Y} $B$N=i4|CM(B. +@var{Terminal} @var{X} $B$N=*CeE@(B. +@end table + +@itemize @bullet +@item taka_runge_kutta.rr $B$r(B import $B$7$F$*$/I,MW$,$"$k(B. +@item $B$3$N4X?t$OO"N)>oHyJ,J}Dx<0(B Y[0]'=Eq[0], Y[1]'=Eq[1], ... $B$r?tCME*$K2r$/(B. +@item $BNc$O%=!<%9%3!<%I(B (@code{OpenXM/lib/asir-contrib/src/taka_runge_kutta.rr} )$B$N(B +@code{tk_rk.test4()} $B$r;2>H(B. +@end itemize + +@example +[1355] import("taka_runge_kutta.rr"); +[1590] tk_rk.test4(); + +$B$3$3$G(B test4() $B$O0J2<$N$H$*$j(B. $B?6F0$NJ}Dx<0(B, y0'=y1, y1'=-y0 (y0''+y0=0). $BEz$O(B y0=cos(x) +taka_plot_auto $B$O2$K:G=i$NHG$,=q$+$l$?(B. 2010$BG/(B Pfaffian $B$N?tCM2r@O$N0Y$K:FEY@0Hw(B +@item @code{OpenXM/src/asir-contrib/packages/src/taka_runge_kutta.rr} 1.17 +@end itemize + +@node tk_rk.runge_kutta_4_linear,,, $Bl9g$K;H$&(B --- +@table @t +@item tk_rk.runge_kutta_4_linear(@var{P},@var{X},@var{Y},@var{X0},@var{Y0},@var{Terminal},@var{Step}) +:: 4$BB0JQ?t(B @var{Y} $B$OITMW(B. +@var{X} $BFHN)JQ?tL>(B. +@var{Y} $B%j%9%H(B. $B=>B0JQ?t$N%j%9%H(B. $B=>B0JQ?t$O<+F0@8@.$5$l$k(B. $B;H$o$l$F$$$J$$$N$G6u%j%9%H$G$h$$(B. +@var{Step} $B9o$_I}(B. +@item X0, Y0, Terminal +@var{X0} $B=PH/E@$N(B @var{X} $B$NCM(B. +@var{Y0} $B=PH/E@$G$N(B @var{Y} $B$N=i4|CM(B. +@var{Terminal} @var{X} $B$N=*CeE@(B. +@end table + +@itemize @bullet +@item taka_runge_kutta.rr $B$r(B import $B$7$F$*$/I,MW$,$"$k(B. +@end itemize + +@example +[1355] import("taka_runge_kutta.rr"); +[1590] A=tk_rk.runge_kutta_4_linear([[0,1],[-1,0]],x,[ ], 0, [1,0], 3.14*2, 0.1); +[1591] taka_plot_auto(A); + +$B?6F0$NJ}Dx<0(B, y0'=y1, y1'=-y0 (y0''+y0=0). $BEz$O(B y0=cos(x) $B$r2r$$$F$$$k(B. +taka_plot_auto $B$O2