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

### `dp_initial_term`

`dp_initial_term(f | v=vv, order=oo)`
  :: dp_initial_term は与えられた weight に対する先頭項の和を戻す.

return
  分散表現多項式または分散表現多項式のリスト.
f
  分散表現多項式か分散表現多項式のリスト.
vv
  リスト (変数のリスト)
oo
  リスト (順序をあらわすリスト)

- dp_initial_term は与えられた weight w に対する先頭項の和を戻す. これは多くの教科書で @tex ${\rm in}_w(f)$ @end tex と書かれている.
- 順序を表すリストは dp_gr_main で定義した文法に従う. このリストの先頭が weight vector で無い場合はエラーとなる. たとえば order=[[@lex,...]] はエラーとなる.
- 結果は与えられた順序に関してソートされてるわけではない.

    [1220] F=<<2,0,0>>+<<1,1,0>>+<<0,0,1>>;
    (1)*<<2,0,0>>+(1)*<<1,1,0>>+(1)*<<0,0,1>>
    [1220] dp_initial_term(F | order=[[1,1,1]]);
    [ 1 1 1 ]
    [ R R R ]
    (1)*<<2,0,0>>+(1)*<<1,1,0>>
    [1221] dp_initial_term(F | v=[x,y,z], order=[[x,1]]);
    [ 1 0 0 ]
    [ R R R ]
    (1)*<<2,0,0>>

`参照`
  section `dp_gr_main`, section `dp_weyl_gr_main`, section `dp_order`, @xref{dp_hm}

ChangeLog

- OpenXM_contrib2/asir2000 の下の次の各ファイルが修正をうけた. builtin/dp-supp.c 1.32 builtin/dp.c 1.49

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