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

### `nk_restriction.integration`

`nk_restriction.integration(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 . {2 t dx + dt, t dt + 2 x dx + 2 } の t についての積分イデアルを計算した例である。([SST, Ex5.5.2, Ex5.5.6])

    [1351] nk_restriction.integration([2*t*dx+dt,2*x*dx+t*dt+2],[t,x],
    [dt,dx],[1,0]);
    -- generic_bfct_and_gr :0.001sec(0.001796sec)
    generic bfct : [[1,1],[s,1],[s-1,1]]
    S0 : 1
    B_{S0} length : 2
    -- fctr(BF) + base :0.001sec(0.0006731sec)
    [[4*x*dx^2+6*dx,-4*t*x*dx^2-6*t*dx,2*x*dx+1,-2*t*x*dx,2*t*dx],[[1],[0]]]

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