qt_set_weight
fnode f の weight w(f) は次の式で計算する.
f が葉の場合は原則 0. qt_weight_vector で weight が与えられている不定元に ついてはその値. f がnodeの場合は次の規則で再帰的にきめる. w(f+g) = max(w(f),w(g)) w(f g) = w(f) + w(g) w(f^n) = n w(f) 関数については? -----まだ書いてない.
dp_gr_main
も参照.
ctrl("print_quote",2); qt_set_weight([[x,-1],[y,-1]]); 結果: [[x,-1],[y,-1]] qt_normalize(quote( 1+(x+y)+(x+y)^2),1); 結果: (1)+(y)+(x)+((y)^(2))+((y)*(x))+((x)^(2))+((x)*(y))
qt_normalize
,
section qt_set_ord
,
section qt_set_weight
,
section dp_gr_main
ChangeLog
Go to the first, previous, next, last section, table of contents.