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


qt_set_weight

qt_set_weight(WeightVector)
:: 変数について weight ベクトルを設定する.
return
リスト
WeightVector
リスト

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)
   関数については? -----まだ書いてない.
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))
参照
section 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.