===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.44
retrieving revision 1.47
diff -u -p -r1.44 -r1.47
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2011/12/09 02:18:48	1.44
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2013/02/18 07:18:32	1.47
@@ -1,4 +1,4 @@
-%% $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.46 2012/09/18 11:41:18 takayama Exp $
 \input texinfo
 @iftex
 @catcode`@#=6
@@ -38,7 +38,7 @@
 @title 実験的仕様の関数
 @subtitle Risa/Asir 実験的仕様関数説明書
 @subtitle 1.0 版
-@subtitle 2010 年 9 月
+@subtitle 2013 年 2 月
 
 @author  by Risa/Asir committers
 @page
@@ -138,6 +138,8 @@ ChangeLog の項目は www.openxm.org の cvswe
 * tk_pfn.graph::
 * tk_rk.runge_kutta_4::
 * tk_rk.runge_kutta_4_linear::
+* tk_rk.zonal::
+* getpid::
 @end menu
 
 @node クオート,,, 実験的仕様の関数
@@ -1838,7 +1840,7 @@ builtin/dp.c 1.49
 @table @var
 @item gentrace
 @var{value} が 0 でないとき, グレブナー基底の計算経過情報を出力する.
-@item gentsyz
+@item gensyz
 @var{value} が 0 でないとき, 計算されたグレブナー基底に対する syzygy の生成系を出力する.
 @item nora
 @var{value} が 0 でないとき, 最終ステップで相互簡約を行わない.
@@ -2093,6 +2095,44 @@ ChangeLog
 @end itemize
 
 
+@node getpid,,, システム
+@subsection @code{getpid}
+@findex getpid
+
+@comment --- 関数の簡単な説明 ---
+@comment --- @itemx は複数に対して説明を一つつける場合に使う ---
+@table @t
+@item getpid()
+@end table
+
+@table @var
+@item return
+整数
+@end table
+
+@itemize @bullet
+@item asir のプロセス番号を戻す.
+@item プロセス番号は asir, ox_asir 等で独立したプロセスに対してシステム内で一意出ある.
+@end itemize
+
+@example
+[219] getpid()
+3214
+@end example
+
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@comment --- openxm の外部からの寄与も述べる. Credit.
+@noindent
+ChangeLog
+@itemize @bullet
+@item この関数は ox_work_dir() 関数が一意な作業ファイル名を得るために使われている.
+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 を参照 (2013/02/15, 18).
+@end itemize
+
+
 @comment ****************************************************************
 
 
@@ -3510,7 +3550,60 @@ Todo: exp 以外の特殊関数についてのsimplification
 OpenXM/src/asir-contrib/packages/src/fj_simplify.rr
 @end itemize
 
-@comment -----------  以下は見本. 消すな.
+@node tk_jack.zonal,,, 実験的仕様の関数
+@subsection @code{tk_jack.zonal}
+@findex tk_jack.zonal
+
+@comment --- 関数の簡単な説明 ---
+@comment --- @itemx は複数に対して説明を一つつける場合に使う ---
+@table @t
+@item tk_jack.zonel(@var{p},@var{n})
+:: 分割 p に対する n 変数の zonal 多項式を出力する. 
+@end table
+
+@table @var
+@item return
+多項式. x_1, x_2, ... が変数.
+@item p
+数のリスト. p=[p0,p1,...] の時 p0>=p1>=...>0. 
+@item n
+自然数
+@end table
+
+@itemize @bullet
+@item
+この関数は
+Koev-Edelman による Pieri 型公式を用いた Jack symmetric function の計算
+アルゴリズムの実装である.
+詳しくは Wikipedia 英語版 Jack symmetric function の項を参照.
+@item zonal(P,N) = jack(P,N,2) である.
+@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 参照
+@end table
+
+@noindent
+ChangeLog
+@itemize @bullet
+@item 
+この関数は wishart 分布に従う対称行列の第一固有値が x 以下である確率の計算を 
+holonomic gradient method でやるためにその初期値を計算する C のプログラムが
+必要であった. それを debug するためにとりあえず書いたもの.
+@item 最適化をまだまださぼってる.
+@end itemize
+
+@comment -----------  以下は見本. 消すな.  template
 @comment ****************************************************************
 @comment --- ◯◯◯◯  以下他の関数について真似して記述する. ◯◯◯◯
 @comment 新しい関数の説明を書くためのテンプレートである. 消すな.