nk_restriction.module_integration
=[x,y,z]
, W =[1,0,0]
であれば
x について積分を行う.
以下は, 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
inhomo
, param
, s0
) が追加された. 1.7--1.9 を見よ.
ht
, ord
) と
新たな関数 trans_inhomo() が追加された. 1.10--1.13 を見よ.
Go to the first, previous, next, last section, table of contents.