nk_restriction.integration_ideal
[1,1,0,0,0]
は OK だが、 [1,0,1,0,0]
はダメ)
=[x,y,z]
, W =[1,1,0]
であれば
x,y について積分を行う。
以下は、イデアル I = D . {2 t dx + dt, t dt + 2 x dx + 2 } の t についての積分イデアルを計算した例である。([SST, Ex5.5.2, Ex5.5.6])
[1431] nk_restriction.integration_ideal([2*t*dx+dt,t*dt+2*x*dx+2],[t,x], [dt,dx],[1,0]); -- generic_bfct_and_gr :0.002999sec(0.002623sec) generic bfct : [[1,1],[s,1],[s-1,1]] S0 : 1 B_{S0} length : 2 -- fctr(BF) + base :0.001sec(0.001091sec) -- integration_ideal_internal :0.002sec(0.001879sec) [2*x*dx+1] [1432]
Go to the first, previous, next, last section, table of contents.