dp_set_weight
, dp_set_top_weight
, dp_weyl_set_weight
dp_set_weight
sets the sugar weight=weight. It returns the current sugar weight.
A sugar weight is a vector with positive integer components and it represents the weights of variables.
It is used for computing the weight of a monomial in a graded ordering.
It is recommended to append a component 1 at the end of the weight vector for a homogenizing variable.
dp_set_top_weight
sets the top weight=weight. It returns the current top weight.
It a top weight is set, the weights of monomials under the top weight are firstly compared.
If the the weights are equal then the current term ordering is applied as a tie breaker, but
the top weight is not used in the tie breaker.
dp_weyl_set_weight
sets the weyl weigh=weight. It returns the current weyl weight.
If a weyl weight w is set, in the comparsion by the term order type 11, a term order with
the top weight=(-w,w) and the tie breaker=graded reverse lex is applied.
Go to the first, previous, next, last section, table of contents.