nk_restriction.restriction_ideal

nk_restriction.restriction_ideal(Id, VL, DVL, W)

:: ホロノミック D イデアル Id を重みベクトル W についての制限イデアルを返す。

Id

イデアルの生成元のリスト

VL

変数のリスト

DVL

変数のリスト(VL に対応する微分作用素の方の変数)

W

重みベクトルを表すリスト

• W の要素は非負整数で、0 番目の要素から連続して正の整数が入らなければならない。 (すなわち、[1,1,0,0,0] は OK だが、 [1,0,1,0,0] はダメ)
• 正の重みを持つ変数についての制限を行う。 例えば、VL =[x,y,z], W =[1,1,0] であれば x,y について制限を行う。

以下は、イデアル I = D . { x dx -1, y dy - 1 } の x についての制限イデアルを計算した例である。

[1346] nk_restriction.restriction_ideal([x*dx-1,y*dy-1],[x,y],[dx,dy],[1,0]);
-- generic_bfct_and_gr :0.002sec(0.001652sec)
generic bfct : [[1,1],[s-1,1]]
S0 : 1
B_{S0} length : 2
-- fctr(BF) + base :0sec(0.000566sec)
-- restriction_ideal_internal :0.001sec(0.0007441sec)
[-1]

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