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


nk_restriction.module_restriction

nk_restriction.module_restriction(M, VL, DVL, W)
:: D 加群 D^r/M (M は D^r の部分加群) の重みベクトル W についての制限加群を返す.
M
D 自由加群 D^r の部分加群
VL
変数のリスト
DVL
変数のリスト(VL に対応する微分作用素の方の変数)
W
重みベクトルを表すリスト

以下は, D 自由加群 D^2 の部分加群 M = D . { (dx, dy), (dy, dx), (x, y) } をとり, D 加群 D^2 / M の x ついての制限加群を計算した例である.

[2691] nk_restriction.module_restriction([[dx,dy],[dy,dx],[x,y]], [x,y], [dx,dy], [1,0]);
....
bfunction : 
s
[[1,1],[s,1]]
integer roots :
[0,0]
Generators: 
[e1,e2]
Relations: 
[-8*e2*dy,4*e2*dy^2,-4*e2*dy^3,4*e1*y*dy-4*e1,-4*e1*dy^2,-4*e2,-e2*y*dy^2+2*e2*dy,-e1*y*dy+e1,e1*y*dy-e1]
[[0,-1],[-dy^2,0],[y*dy-1,0]]

制限加群は (0, -1), (-dy^2, 0), (y, dy-1, 0) で生成されることがわかる.


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