Go to the first, previous, next, last section, table of contents.
- hgm_ahg_contiguity(A,StdMon,Line,X0,InitVal,Start,End)
-
:: A で定義される A-超幾何方程式系のcontiguity relation
を Sylvester matrix を用いて計算し, それを用いて超幾何関数の値を求める.
- return
-
基底を超幾何関数に作用させたベクトルの値 F(End;X0) ??
- A
-
整数を成分とする行列 (maximal rank のもの)を表すリスト.
- StdMon
-
リスト. Pfaffian の基底を与える微分作用素のモノミアルのリスト.
- Line
-
リスト [ContiDir,Beta,Z].
- X0
-
リスト. x 変数の値.
- InitVal
-
リスト. 基底を超幾何関数に作用させたベクトルの初期値 F(Start;X0)
- Start
-
リスト. Z パラメータの初期値??
- End
-
リスト. Z パラメータの終端値??
- Todo, この関数のインタフェースは変更される予定.
- X0 は有理数のリスト.
- ContiDir は End-Start と同じ方向.
- Beta. A超幾何関数の B パラメータの初期値 ??
- Z. ContiDir での一次元 contiguity を表現するための不定元の名前.
- ソース中の利用例. test_fd_conti(), test_c111_conti()
-
アルゴリズムおよび利点は
K.Ohara, N.Takayama, Pfaffian Systems of A-Hypergeometric Equations II, Holonomic Gradient Method
参照.
[2190] import("ot_hgm_ahg.rr");
1
[2191] ot_hgm_ahg.test_fd_conti();
(Todo, 引数がどうなるかの例を加える.)
- 参照
-
@xref{get_mat2}
@xref{hgm_ahg_expected_value_contiguity}
@xref{hgm_ahg}
ChangeLog
-
この関数は 2014-07-11 に最初の版が 1.10版 ot_hgm_ahg.rr に commit された.
- インタフェースが更新された版は, 1.??版.
Go to the first, previous, next, last section, table of contents.