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


nk_restriction.restriction

nk_restriction.restriction(Id, VL, DVL, W)
:: ホロノミック D イデアル Id を重みベクトル W についての制限加群を返す。
Id
イデアルの生成元のリスト
VL
変数のリスト
DVL
変数のリスト(VL に対応する微分作用素の方の変数)
W
重みベクトルを表すリスト

以下は、イデアル の の の の についての積分イデアルを計算した例である。([SST, Ex5.5.2, Ex5.5.6])

[1431]  nk_restriction.integration_ideal([2*t*dx+dt,t*dt+2*x*dx+2],[t,x],
[dt,dx],[1,0]);
-- generic_bfct_and_gr :0.002999sec(0.002623sec)
generic bfct : [[1,1],[s,1],[s-1,1]]
S0 : 1
B_{S0} length : 2
-- fctr(BF) + base :0.001sec(0.001091sec)
-- integration_ideal_internal :0.002sec(0.001879sec)
[2*x*dx+1]
[1432]

ChangeLog


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