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

- WeightVector でまず順序の比較をして, それから qt_set_order による順序, 最後に既定の順序で比較する. WeightVector に現れない変数についての weight は 0 となる.
- qt_normalize およびその機能を用いる関数がこの機能の影響を受ける. qt_normalize での展開では, この順序を用いて項がソートされる.
- qt_comp およびその機能を用いる関数がこの機能の影響を受ける.
- weight ベクトルによる順序比較についてはグレブナ基底の節section `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))

`参照`
  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.