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


nk_restriction.restriction

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

以下は, イデアル I = D . { x dx -1, y dy - 1 } とおいた時, D 加群 M = D / I の x についての制限加群を計算した例である.

[1432] nk_restriction.restriction([x*dx-1,y*dy-1],[x,y],[dx,dy],[1,0]);
-- generic_bfct_and_gr :0.001sec(0.001629sec)
generic bfct : [[1,1],[s-1,1]]
S0 : 1
B_{S0} length : 2
-- fctr(BF) + base :0.000999sec(0.0005109sec)
[[y*dy-1,(y*dy-1)*dx,-1],[[1],[0]]]

返り値の第 1 番目の要素 [[1],[0]]] は, 制限加群の基底 dx^1, dx^0 を意味し, 返り値の第 0 番目の要素から, 制限加群は (y dy - 1, 0), (0, ydy-1), (-1,0) で生成されることがわかる.


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