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