Go to the first, previous, next, last section, table of contents.
- 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.