version 1.44, 2011/12/09 02:18:48 |
version 1.46, 2012/09/18 11:41:18 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.43 2011/12/08 06:40:52 nisiyama Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.45 2012/02/26 01:25:30 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 2012 $BG/(B 9 $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:: |
@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 1839 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. |
Line 3508 Todo: exp $B0J30$NFC<l4X?t$K$D$$$F$N(Bsimplification |
|
Line 3509 Todo: exp $B0J30$NFC<l4X?t$K$D$$$F$N(Bsimplification |
|
@item |
@item |
$B$3$N4X?t$O(B 2010.01 $B$K(B M.Fujimoto $B$K$h$j:G=i$NHG$,=q$+$l$?(B. |
$B$3$N4X?t$O(B 2010.01 $B$K(B M.Fujimoto $B$K$h$j:G=i$NHG$,=q$+$l$?(B. |
OpenXM/src/asir-contrib/packages/src/fj_simplify.rr |
OpenXM/src/asir-contrib/packages/src/fj_simplify.rr |
|
@end itemize |
|
|
|
@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 |
@end itemize |
|
|
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. |
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. |