Go to the first, previous, next, last section, table of contents.


nk_restriction.ost_sum

nk_restriction.ost_sum(Id, VL, DVL, W)
:: 和の満たす(斉次/非斉次)差分方程式系を返す.
Id
イデアルの生成元のリスト
VL
変数のリスト
DVL
変数のリスト(VL に対応する差分作用素の方の変数)
W
重みベクトルを表すリスト

以下は, Oaku-Shiraki-Takayama (2003) の例6.5の非斉次部分まで計算したものである. \sum_{k=a}^b n_C_k の非和関数の満たすホロノミックイデアルは I = < (n-k+1)E_n-(n+1), (k+1)E_k-(n-k) > であるから, これを入力として次のように計算を行う.

[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]]]

ChangeLog


Go to the first, previous, next, last section, table of contents.