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


nk_restriction.integration

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

以下は, イデアル I = D . {2 t dx + dt, t dt + 2 x dx + 2 } とおいた時, D 加群 M = D / I の t についての積分加群を計算した例である. ([SST, Ex5.5.2, Ex5.5.6])

[1351] nk_restriction.integration([2*t*dx+dt,2*x*dx+t*dt+2],[t,x],
[dt,dx],[1,0]);
-- generic_bfct_and_gr :0.001sec(0.001796sec)
generic bfct : [[1,1],[s,1],[s-1,1]]
S0 : 1
B_{S0} length : 2
-- fctr(BF) + base :0.001sec(0.0006731sec)
[[4*x*dx^2+6*dx,-4*t*x*dx^2-6*t*dx,2*x*dx+1,-2*t*x*dx,2*t*dx],[[1],[0]]]

返り値の第 1 番目の要素 [[1],[0]]] は, 積分加群の基底 t^1, t^0 を意味し, 返り値の第 0 番目の要素から, 積分加群は (4 x dx^2 + 6 dx, 0), (0, -4 x dx^2 - 6 dx), (0, -2 x dx), (0, 2 dx) で生成されることがわかる.


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