dp_set_weight
, dp_set_top_weight
, dp_weyl_set_weight
dp_set_weight
は sugar weight を weight に設定する. 引数がない時,
現在設定されている sugar weight を返す. sugar weight は正整数を成分とするベクトルで,
各変数の重みを表す. 次数つき順序において, 単項式の次数を計算する際に用いられる.
斉次化変数用に, 末尾に 1 を付け加えておくと安全である.
dp_set_top_weight
は top weight を weight に設定する. 引数がない時,
現在設定されている top weight を返す. top weight が設定されているとき,
まず top weight による単項式比較を先に行う. tie breaker として現在設定されている
項順序が用いられるが, この比較には top weight は用いられない.
dp_weyl_set_weight
は weyl weight を weight に設定する. 引数がない時,
現在設定されている weyl weight を返す. weyl weight w を設定すると,
項順序型 11 での計算において, (-w,w) を top weight, tie breaker を graded reverse lex
とした項順序が設定される.
Go to the first, previous, next, last section, table of contents.