version 1.42, 2011/12/08 06:31:22 |
version 1.48, 2014/05/29 13:18:18 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.41 2010/09/29 00:33:23 takayama Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.47 2013/02/18 07:18:32 takayama Exp $ |
\input texinfo |
\input texinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
|
|
@title $B<B83E*;EMM$N4X?t(B |
@title $B<B83E*;EMM$N4X?t(B |
@subtitle Risa/Asir $B<B83E*;EMM4X?t@bL@=q(B |
@subtitle Risa/Asir $B<B83E*;EMM4X?t@bL@=q(B |
@subtitle 1.0 $BHG(B |
@subtitle 1.0 $BHG(B |
@subtitle 2010 $BG/(B 9 $B7n(B |
@subtitle 2013 $BG/(B 2 $B7n(B |
|
|
@author by Risa/Asir committers |
@author by Risa/Asir committers |
@page |
@page |
Line 138 ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe |
|
Line 138 ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe |
|
* tk_pfn.graph:: |
* tk_pfn.graph:: |
* tk_rk.runge_kutta_4:: |
* tk_rk.runge_kutta_4:: |
* tk_rk.runge_kutta_4_linear:: |
* tk_rk.runge_kutta_4_linear:: |
|
* tk_rk.zonal:: |
|
* getpid:: |
@end menu |
@end menu |
|
|
@node $B%/%*!<%H(B,,, $B<B83E*;EMM$N4X?t(B |
@node $B%/%*!<%H(B,,, $B<B83E*;EMM$N4X?t(B |
Line 1838 builtin/dp.c 1.49 |
|
Line 1840 builtin/dp.c 1.49 |
|
@table @var |
@table @var |
@item gentrace |
@item gentrace |
@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B%0%l%V%J!<4pDl$N7W;;7P2a>pJs$r=PNO$9$k(B. |
@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B%0%l%V%J!<4pDl$N7W;;7P2a>pJs$r=PNO$9$k(B. |
@item gentsyz |
@item gensyz |
@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B7W;;$5$l$?%0%l%V%J!<4pDl$KBP$9$k(B syzygy $B$N@8@.7O$r=PNO$9$k(B. |
@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B7W;;$5$l$?%0%l%V%J!<4pDl$KBP$9$k(B syzygy $B$N@8@.7O$r=PNO$9$k(B. |
@item nora |
@item nora |
@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B:G=*%9%F%C%W$GAj8_4JLs$r9T$o$J$$(B. |
@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B:G=*%9%F%C%W$GAj8_4JLs$r9T$o$J$$(B. |
|
|
@comment **************************************************************** |
@comment **************************************************************** |
|
|
@itemize @bullet |
@itemize @bullet |
@item asirgui (Windows $BHG(B) $B$r5/F0$9$k$H(B asirgui.exe $B$N$"$k%U%)%k%@$*$h$S(B $B4D6-JQ?t(B TEMP $B$,Dj5A$5$l$F$$$l$P$3$N%U%!%$%k$,:n@.$5$l$k(B. |
@item asirgui (Windows $BHG(B) $B$r5/F0$9$k$H(B $B4D6-JQ?t(B TEMP $B$G;XDj$5$l$?%U%)%k%@$K$3$N%U%!%$%k$,:n@.$5$l$k(B. |
@item $BCf?H$O#1#0?J@0?t$G(B, asirgui $B$N(B main window $B$N%O%s%I%k$G$"$k(B. $B$3$N%O%s%I%k$"$F$K(B PostMessage $B$r$9$l$P(B, asuirgui $B$K%-!<%\!<%I$+$iF~NO$7$?$N$HF1MM$J8z2L$,F@$i$l$k(B. |
@item $BCf?H$O#1#0?J@0?t$G(B, asirgui $B$N(B main window $B$N%O%s%I%k$G$"$k(B. $B$3$N%O%s%I%k$"$F$K(B PostMessage $B$r$9$l$P(B, asuirgui $B$K%-!<%\!<%I$+$iF~NO$7$?$N$HF1MM$J8z2L$,F@$i$l$k(B. |
@item text editor $B$G:n@.(B, $BJ]B8$7$?%U%!%$%k$r(B text editor $BB&$+$i(B asirgui $B$KFI$_9~$^$;$?$j$9$k$?$a$KMxMQ2DG=(B. |
@item text editor $B$G:n@.(B, $BJ]B8$7$?%U%!%$%k$r(B text editor $BB&$+$i(B asirgui $B$KFI$_9~$^$;$?$j$9$k$?$a$KMxMQ2DG=(B. |
@item http://www.math.kobe-u.ac.jp/Asir/Add-ons $B$K$F(B winfep.exe $B$rG[I[$7$F$$$k(B. winfep $B$G$O$"$i$+$8$a%U%!%$%k$KF~NO%9%/%j%W%H$r=q$$$F$*$$$F(B, asirgui $B$G0l9T$E$D<B9T$5$;$k$3$H$,$G$-$k(B. winfep $B$O%W%l%<%s%F!<%7%g%sMQ$N%=%U%H%&%(%"$G$"$k(B. $B$3$l$O(B asirgui.hnd $B$rMxMQ$7$F$$$k(B. |
@item http://www.math.kobe-u.ac.jp/Asir/Add-ons $B$K$F(B winfep.exe $B$rG[I[$7$F$$$k(B. winfep $B$G$O$"$i$+$8$a%U%!%$%k$KF~NO%9%/%j%W%H$r=q$$$F$*$$$F(B, asirgui $B$G0l9T$E$D<B9T$5$;$k$3$H$,$G$-$k(B. winfep $B$O%W%l%<%s%F!<%7%g%sMQ$N%=%U%H%&%(%"$G$"$k(B. $B$3$l$O(B asirgui.hnd $B$rMxMQ$7$F$$$k(B. |
|
|
@code{pwd} $B$O%+%l%s%H%G%#%l%/%H%j$rJ8;zNs$GJV$9(B. |
@code{pwd} $B$O%+%l%s%H%G%#%l%/%H%j$rJ8;zNs$GJV$9(B. |
@item |
@item |
@code{chdir} $B$O%+%l%s%H%G%#%l%/%H%j$r(B @var{directory} $B$KJQ99$9$k(B. $B@.8y$9$l$P(B 0 $B$r<:GT$9$l$P(B -1 $B$rJV$9(B. |
@code{chdir} $B$O%+%l%s%H%G%#%l%/%H%j$r(B @var{directory} $B$KJQ99$9$k(B. $B@.8y$9$l$P(B 0 $B$r<:GT$9$l$P(B -1 $B$rJV$9(B. |
@item |
|
$B$3$l$i$N4X?t$O(B UNIX $BHG$K$N$_<BAu$5$l$F$$$k(B. |
|
@end itemize |
@end itemize |
|
|
@example |
@example |
|
|
@end itemize |
@end itemize |
|
|
|
|
|
@node getpid,,, $B%7%9%F%`(B |
|
@subsection @code{getpid} |
|
@findex getpid |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B --- |
|
@table @t |
|
@item getpid() |
|
@end table |
|
|
|
@table @var |
|
@item return |
|
$B@0?t(B |
|
@end table |
|
|
|
@itemize @bullet |
|
@item asir $B$N%W%m%;%9HV9f$rLa$9(B. |
|
@item $B%W%m%;%9HV9f$O(B asir, ox_asir $BEy$GFHN)$7$?%W%m%;%9$KBP$7$F%7%9%F%`Fb$G0l0U$G$"$k(B. |
|
@end itemize |
|
|
|
@example |
|
[219] getpid(); |
|
3214 |
|
@end example |
|
|
|
|
|
@comment --- ChangeLog $B$r=q$/(B. $BF05!(B. $B%=!<%9%3!<%I$N0LCV(B. $BJQ99F|;~(B $B$J$I(B CVS$B%5!<%P$r8+$k$?$a(B |
|
@comment --- openxm $B$N30It$+$i$N4sM?$b=R$Y$k(B. Credit. |
|
@noindent |
|
ChangeLog |
|
@itemize @bullet |
|
@item $B$3$N4X?t$O(B ox_work_dir() $B4X?t$,0l0U$J:n6H%U%!%$%kL>$rF@$k$?$a$K;H$o$l$F$$$k(B. |
|
src/asir-contrib/packages/src/misc/rr 1.3, |
|
asir2000/builtin/file.c 1.28, rat.c 1.5, |
|
asir2000/parse/puref.c 1.9 $B$r;2>H(B (2013/02/15, 18). |
|
@end itemize |
|
|
|
|
|
@node loadpath,,, $B%7%9%F%`(B |
|
@subsection @code{loadpath} |
|
@findex loadpath |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B --- |
|
@table @t |
|
@item ctrl(``loadpath''[,list]) |
|
@end table |
|
|
|
@table @var |
|
@item list |
|
$BJ8;zNs(B($B%Q%9(B)$B$N%j%9%H(B |
|
@item return |
|
$BJ8;zNs(B($B%Q%9(B)$B$N%j%9%H(B, $B$^$?$O?t(B(list$B$,M?$($i$l$?$H$-(B) |
|
@end table |
|
|
|
@itemize @bullet |
|
@item asir $B$NAH$_9~$_4X?t(B ctrl $B$N%9%$%C%A$N$R$H$D$G$"$k(B. |
|
@item asir $B$N%m!<%I%Q%9$N=PNO$^$?$O@_Dj$r9T$&(B. |
|
@end itemize |
|
|
|
@example |
|
[0] L=ctrl("loadpath"); |
|
[/home/you/OpenXM/lib/asir-contrib,/home/you/OpenXM/lib/asir,.] |
|
[1] ctrl("loadpath", cons(getenv("HOME")+"/lib",L)); |
|
0 |
|
@end example |
|
|
|
|
|
@comment --- ChangeLog $B$r=q$/(B. $BF05!(B. $B%=!<%9%3!<%I$N0LCV(B. $BJQ99F|;~(B $B$J$I(B CVS$B%5!<%P$r8+$k$?$a(B |
|
@comment --- openxm $B$N30It$+$i$N4sM?$b=R$Y$k(B. Credit. |
|
@noindent |
|
ChangeLog |
|
@itemize @bullet |
|
@item $B$3$N4X?t$O(B 2014-5-12 $B$K%3%_%C%H$5$l$?(B. |
|
$BJQ99$r$&$1$?%=!<%9%3!<%I$O(B builtin/ctrl.c (1.41) $B$G$"$k(B. |
|
@end itemize |
|
|
|
|
|
@node sysinfo,,, $B%7%9%F%`(B |
|
@subsection @code{sysinfo} |
|
@findex sysinfo |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B --- |
|
@table @t |
|
@item sysinfo() |
|
@end table |
|
|
|
@table @var |
|
@item return |
|
$BJ8;zNs$N%j%9%H(B |
|
@end table |
|
|
|
@itemize @bullet |
|
@item asir $B$NF0:n$7$F$$$k%*%Z%l!<%F%#%s%0%7%9%F%`$N>pJs$rJV$9(B. |
|
@item $B%j%9%H$N3F@.J,$O(B, OS$B%?%$%W(B, $B%+!<%M%kL>(B, OS$BL>(B, CPU$B%?%$%W(B, OS$B%P!<%8%g%s(B, $B40A4$J>pJs(B, $B%m%1!<%k$G$"$k(B. |
|
@item OS$B%?%$%W$O(B unix, macosx, windows $B$N$$$:$l$+$G$"$k(B. |
|
@item unix $B$*$h$S(B macosx $B$K$*$$$F$O(B, $B%7%9%F%`%3!<%k$*$h$S(B uname $B%3%^%s%I$K$h$j>pJs$r<hF@$7$F$$$k(B. |
|
windows $B$G$O(B, GetVersionEx() $B$J$I$N(B Win32 API $B$,MQ$$$i$l$F$$$k(B. |
|
@end itemize |
|
|
|
@example |
|
[0] sysinfo(); |
|
[windows,WindowsNT,Windows7,x86_64,6.1.7601,WindowsNT 6.1.7601 Windows7 Service Pack 1 x86_64,ja] |
|
@end example |
|
|
|
|
|
@comment --- ChangeLog $B$r=q$/(B. $BF05!(B. $B%=!<%9%3!<%I$N0LCV(B. $BJQ99F|;~(B $B$J$I(B CVS$B%5!<%P$r8+$k$?$a(B |
|
@comment --- openxm $B$N30It$+$i$N4sM?$b=R$Y$k(B. Credit. |
|
@noindent |
|
ChangeLog |
|
@itemize @bullet |
|
@item $B$3$N4X?t$O(B 2014-5-14 $B$K%3%_%C%H$5$l$?(B. |
|
$BJQ99$r$&$1$?%=!<%9%3!<%I$O(B builtin/ctrl.c (1.42) $B$G$"$k(B. |
|
@end itemize |
|
|
|
|
@comment **************************************************************** |
@comment **************************************************************** |
|
|
|
|
Line 3064 nk_restriction.restriction_ideal( ... |inhomo=1); $B$ |
|
Line 3181 nk_restriction.restriction_ideal( ... |inhomo=1); $B$ |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
$B@QJ,NN0h$,6h4V$ND>@Q$G$"$k$h$&$J@QJ,$NK~$?$9(B |
$B@QJ,NN0h$,6h4V$ND>@Q$G$"$k$h$&$J@QJ,$NK~$?$9(B |
$B%[%m%N%_%C%/@F<!HyJ,J}Dx<07O$rJV$9(B (Oaku-Shiraki-Takayama, 1992). |
$B%[%m%N%_%C%/@F<!HyJ,J}Dx<07O$rJV$9(B (Oaku-Shiraki-Takayama, 2003). |
@table @t |
@table @t |
@item nk_restriction.ost_integration_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W}, @var{LB}, @var{UB}) |
@item nk_restriction.ost_integration_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W}, @var{LB}, @var{UB}) |
:: Heaviside $B4X?t$H$N@Q$NK~$?$9HyJ,J}Dx<07O$N7W;;$K%7%g!<%H%+%C%HK!$rMQ$$$k(B. |
:: Heaviside $B4X?t$H$N@Q$NK~$?$9HyJ,J}Dx<07O$N7W;;$K%7%g!<%H%+%C%HK!$rMQ$$$k(B. |
Line 3095 nk_restriction.restriction_ideal( ... |inhomo=1); $B$ |
|
Line 3212 nk_restriction.restriction_ideal( ... |inhomo=1); $B$ |
|
@item $B2<C<(B, $B>eC<$KL58BBg$r;XDj$9$k$H$-$O(B, $BJ8;zNs(B "inf", "+inf", "-inf" $B$rMQ$$$k(B. |
@item $B2<C<(B, $B>eC<$KL58BBg$r;XDj$9$k$H$-$O(B, $BJ8;zNs(B "inf", "+inf", "-inf" $B$rMQ$$$k(B. |
@end itemize |
@end itemize |
|
|
$B0J2<$O(B, Oaku-Shiraki-Takayama (1992) $B$NNc(B5.1$B$r7W;;$7$?$b$N$G$"$k(B. |
$B0J2<$O(B, Oaku-Shiraki-Takayama (2003) $B$NNc(B5.1$B$r7W;;$7$?$b$N$G$"$k(B. |
@iftex |
@iftex |
@tex |
@tex |
$ \int_0^\infty \exp((-t^3+t)x) dt $ |
$ \int_0^\infty \exp((-t^3+t)x) dt $ |
@end tex |
@end tex |
$B$NHs@QJ,4X?t$NK~$?$9%[%m%N%_%C%/%$%G%"%k$O(B |
$B$NHo@QJ,4X?t$NK~$?$9%[%m%N%_%C%/%$%G%"%k$O(B |
@tex |
@tex |
$ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t \rangle $ |
$ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t \rangle $ |
@end tex |
@end tex |
Line 3135 B_{S0} length : 3 |
|
Line 3252 B_{S0} length : 3 |
|
@end example |
@end example |
$B$3$N=PNO$O(B, $B@QJ,$rNm2=$9$k%[%m%N%_%C%/7O$G$"$k(B. |
$B$3$N=PNO$O(B, $B@QJ,$rNm2=$9$k%[%m%N%_%C%/7O$G$"$k(B. |
|
|
|
@node nk_restriction.ost_sum,,, D $B2C72$N@QJ,%$%G%"%k(B |
|
@subsection @code{nk_restriction.ost_sum} |
|
@comment --- $B:w0zMQ%-!<%o!<%I(B |
|
@findex nk_restriction.ost_sum |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@table @t |
|
@item nk_restriction.ost_sum(@var{Id}, @var{VL}, @var{DVL}, @var{W}) |
|
:: $BOB$NK~$?$9(B($B@F<!(B/$BHs@F<!(B)$B:9J,J}Dx<07O$rJV$9(B. |
|
@end table |
|
|
|
@comment --- $B0z?t$N4JC1$J@bL@(B --- |
|
@table @var |
|
@item Id |
|
$B%$%G%"%k$N@8@.85$N%j%9%H(B |
|
@item VL |
|
$BJQ?t$N%j%9%H(B |
|
@item DVL |
|
$BJQ?t$N%j%9%H(B(@var{VL} $B$KBP1~$9$k:9J,:nMQAG$NJ}$NJQ?t(B) |
|
@item W |
|
$B=E$_%Y%/%H%k$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 Oaku-Shiraki-Takayama (2003) $B$NBh(B6$B@a$N%"%k%4%j%:%`$N<BAu(B. |
|
@item $B%*%W%7%g%s(B inhomo $B$,(B 0 $B$G$J$$$H$-(B, $BHs@F<!ItJ,$rM?$($k>pJs$bJV$9(B. |
|
@end itemize |
|
|
|
$B0J2<$O(B, Oaku-Shiraki-Takayama (2003) $B$NNc(B6.5$B$NHs@F<!ItJ,$^$G7W;;$7$?$b$N$G$"$k(B. |
|
@iftex |
|
@tex |
|
$ \sum_{k=a}^b {n \choose k} $ |
|
@end tex |
|
$B$NHsOB4X?t$NK~$?$9%[%m%N%_%C%/%$%G%"%k$O(B |
|
@tex |
|
$ I = \langle (n-k+1)E_n-(n+1), (k+1)E_k-(n-k) \rangle $ |
|
@end tex |
|
$B$G$"$k$+$i(B, $B$3$l$rF~NO$H$7$F<!$N$h$&$K7W;;$r9T$&(B. |
|
@end iftex |
|
@ifinfo |
|
\sum_{k=a}^b n_C_k |
|
$B$NHsOB4X?t$NK~$?$9%[%m%N%_%C%/%$%G%"%k$O(B |
|
I = < (n-k+1)E_n-(n+1), (k+1)E_k-(n-k) > |
|
$B$G$"$k$+$i(B, $B$3$l$rF~NO$H$7$F<!$N$h$&$K7W;;$r9T$&(B. |
|
@end ifinfo |
|
@example |
|
[1871] Id=[(n-k+1)*en-(n+1), (k+1)*ek-(n-k)]$ |
|
[1872] VL=[k,n]$ |
|
[1873] DVL=[ek,en]$ |
|
[1874] W=[1,0]$ |
|
[1875] nk_restriction.ost_sum(Id,VL,DVL,W|inhomo=1); |
|
-- nd_weyl_gr :0.006667sec(0.004057sec) |
|
-- weyl_minipoly :0sec(0.001163sec) |
|
-- generic_bfct_and_gr :0.01sec(0.007085sec) |
|
generic bfct : [[1,1],[s,1]] |
|
S0 : 0 |
|
B_{S0} length : 1 |
|
-- fctr(BF) + base :0.003333sec(0.001785sec) |
|
-- restriction_ideal_internal :0sec(0.002336sec) |
|
[[(en-2)*n+en-2],[[[[ek-1,[(-en+1)*n-en+1,1]]],1]]] |
|
@end example |
|
|
|
|
@noindent |
@noindent |
ChangeLog |
ChangeLog |
@itemize @bullet |
@itemize @bullet |
|
|
@item 2010-02-05 $B$K(B 3 $B$D$N(B option (@code{inhomo}, @code{param}, @code{s0}) $B$,DI2C$5$l$?(B. 1.7--1.9 $B$r8+$h(B. |
@item 2010-02-05 $B$K(B 3 $B$D$N(B option (@code{inhomo}, @code{param}, @code{s0}) $B$,DI2C$5$l$?(B. 1.7--1.9 $B$r8+$h(B. |
@item 2010-05 $B$+$i(B 2010-07 $B$K$+$1$F(B 2 $B$D$N(B option (@code{ht}, @code{ord}) $B$H(B |
@item 2010-05 $B$+$i(B 2010-07 $B$K$+$1$F(B 2 $B$D$N(B option (@code{ht}, @code{ord}) $B$H(B |
$B?7$?$J4X?t(B trans_inhomo() $B$,DI2C$5$l$?(B. 1.10--1.13 $B$r8+$h(B. |
$B?7$?$J4X?t(B trans_inhomo() $B$,DI2C$5$l$?(B. 1.10--1.13 $B$r8+$h(B. |
|
@item 2011-08 $B$K(B ost_sum() $B$,DI2C$5$l$?(B. 1.20 $B$r8+$h(B. |
@end itemize |
@end itemize |
|
|
@node $B$=$NB>(B($BL$J,N`(B),,, $B<B83E*;EMM$N4X?t(B |
@node $B$=$NB>(B($BL$J,N`(B),,, $B<B83E*;EMM$N4X?t(B |
Line 3443 Todo: exp $B0J30$NFC<l4X?t$K$D$$$F$N(Bsimplification |
|
Line 3627 Todo: exp $B0J30$NFC<l4X?t$K$D$$$F$N(Bsimplification |
|
OpenXM/src/asir-contrib/packages/src/fj_simplify.rr |
OpenXM/src/asir-contrib/packages/src/fj_simplify.rr |
@end itemize |
@end itemize |
|
|
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. |
@node tk_jack.zonal,,, $B<B83E*;EMM$N4X?t(B |
|
@subsection @code{tk_jack.zonal} |
|
@findex tk_jack.zonal |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B --- |
|
@table @t |
|
@item tk_jack.zonel(@var{p},@var{n}) |
|
:: $BJ,3d(B p $B$KBP$9$k(B n $BJQ?t$N(B zonal $BB?9`<0$r=PNO$9$k(B. |
|
@end table |
|
|
|
@table @var |
|
@item return |
|
$BB?9`<0(B. x_1, x_2, ... $B$,JQ?t(B. |
|
@item p |
|
$B?t$N%j%9%H(B. p=[p0,p1,...] $B$N;~(B p0>=p1>=...>0. |
|
@item n |
|
$B<+A3?t(B |
|
@end table |
|
|
|
@itemize @bullet |
|
@item |
|
$B$3$N4X?t$O(B |
|
Koev-Edelman $B$K$h$k(B Pieri $B7?8x<0$rMQ$$$?(B Jack symmetric function $B$N7W;;(B |
|
$B%"%k%4%j%:%`$N<BAu$G$"$k(B. |
|
$B>\$7$/$O(B Wikipedia $B1Q8lHG(B Jack symmetric function $B$N9`$r;2>H(B. |
|
@item zonal(P,N) = jack(P,N,2) $B$G$"$k(B. |
|
@end itemize |
|
|
|
@example |
|
load("tk_jack.rr"); |
|
[1434] tk_jack.zonal([3,2,1],3); |
|
(112*x_3*x_2^2+112*x_3^2*x_2)*x_1^3+(112*x_3*x_2^3+168*x_3^2*x_2^2+112*x_3^3*x_2)*x_1^2+(112*x_3^2*x_2^3+112*x_3^3*x_2^2)*x_1 |
|
[1435] tk_jack.zonal([1,1],3); |
|
(2*x_2+2*x_3)*x_1+2*x_3*x_2 |
|
[1436] tk_jack.jack([1,1],3,2); |
|
(2*x_2+2*x_3)*x_1+2*x_3*x_2 |
|
@end example |
|
|
|
@table @t |
|
@item $B;2>H(B |
|
@end table |
|
|
|
@noindent |
|
ChangeLog |
|
@itemize @bullet |
|
@item |
|
$B$3$N4X?t$O(B wishart $BJ,I[$K=>$&BP>N9TNs$NBh0l8GM-CM$,(B x $B0J2<$G$"$k3NN($N7W;;$r(B |
|
holonomic gradient method $B$G$d$k$?$a$K$=$N=i4|CM$r7W;;$9$k(B C $B$N%W%m%0%i%`$,(B |
|
$BI,MW$G$"$C$?(B. $B$=$l$r(B debug $B$9$k$?$a$K$H$j$"$($:=q$$$?$b$N(B. |
|
@item $B:GE,2=$r$^$@$^$@$5$\$C$F$k(B. |
|
@end itemize |
|
|
|
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. template |
@comment **************************************************************** |
@comment **************************************************************** |
@comment --- $B"~"~"~"~(B $B0J2<B>$N4X?t$K$D$$$F??;w$7$F5-=R$9$k(B. $B"~"~"~"~(B |
@comment --- $B"~"~"~"~(B $B0J2<B>$N4X?t$K$D$$$F??;w$7$F5-=R$9$k(B. $B"~"~"~"~(B |
@comment $B?7$7$$4X?t$N@bL@$r=q$/$?$a$N%F%s%W%l!<%H$G$"$k(B. $B>C$9$J(B. |
@comment $B?7$7$$4X?t$N@bL@$r=q$/$?$a$N%F%s%W%l!<%H$G$"$k(B. $B>C$9$J(B. |