Go to the first, previous, next, last section, table of contents.
- cbase(A)
-
:: A で定義される A-超幾何方程式系の Pfaffian の基底を求める.
- return
-
Pfaffianの基底(微分作用素のモノミアル)のリスト
- A
-
整数を成分とする行列 (maximal rank のもの)を表すリスト
- A-超幾何イデアルの Q(x)[dx] における標準基底は Pfaffian の基底となるが, 逆はかならずしも真ではない. 個数はもちろん同じである.
-
アルゴリズムは
T.Hibi, K.Nishiyama, N.Takayama, Pfaffian Systems of A-Hypergeometric Equations I, Bases of Twisted Cohomology Groups, arxiv:1212.6103
による.
さらにパラメータ b を数に特殊化する確率算法を用いている.
[2190] import("ot_hgm_ahg.rr");
1
[2191] ot_hgm_ahg.cbase([[1,1,1,1],[0,1,2,3]]);
We use a probabilistic algorithm to determine the base.[dx2^2,dx3*dx2,dx3^2]
[dx3,dx4,1]
- 参照
-
@xref{get_mat2}
ChangeLog
-
この関数は 2012 から 2014-春休みにかけてかかれた.
- version 1.1 以前の版は h-mle/A-hg/Prog (研究グループの共有フォルダ) にあり.
Go to the first, previous, next, last section, table of contents.