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


nk_restriction.module_integration

nk_restriction.module_integration(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 . { (x, y), (y, x), (dx, dy) } をとり, D 加群 D^2 / M の x についての積分加群を計算した例である.

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

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

ChangeLog


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