nk_restriction.restriction
[1,1,0,0,0]
は OK だが、 [1,0,1,0,0]
はダメ)
=[x,y,z]
, W =[1,1,0]
であれば,
x,y について制限を行う.
以下は, イデアル 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.