Go to the first, previous, next, last section, table of contents.
- nk_restriction.ann_mul(I, J, VL, DVL)
-
:: f を零化するホロノミック D イデアル I,
g を零化するホロノミック D イデアルを J としたとき,
fg を零化するホロノミック D イデアルを返す.
- I
-
イデアルの生成元のリスト
- J
-
イデアルの生成元のリスト
- VL
-
変数のリスト
- DVL
-
変数のリスト(VL に対応する微分作用素の方の変数)
- test_ann_mul(), test_ann_mul2(), test_ann_mul3() を参照.
Go to the first, previous, next, last section, table of contents.