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

### `dp_order`

`dp_order(f | v=vv, order=oo)`
  :: dp_order は与えられた weight に対する次数の最大値を戻す.

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

- 順序を表すリストは dp_gr_main で定義した文法に従う. このリストの先頭が weight vector で無い場合はエラーとなる. たとえば order=[[@lex,...]] はエラーとなる.
- dp_order は与えられた weight w に対する次数の最大値を戻す. これを @tex ${\rm ord}_w(f)$ @end tex と書く論文や教科書もある.
- 引数がリストの場合各要素の次数が計算される.

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

`参照`
  section `dp_gr_main`, section `dp_weyl_gr_main`, section `dp_initial_term`, @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.