nk_restriction.ost_sum
以下は, 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
inhomo
, param
, s0
) が追加された. 1.7--1.9 を見よ.
ht
, ord
) と
新たな関数 trans_inhomo() が追加された. 1.10--1.13 を見よ.
Go to the first, previous, next, last section, table of contents.