|[ << ]||[ < ]||[ Up ]||[ > ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
Term orderings introduced in the previous section can be generalized by setting a weight for each variable.
 dp_td(<<1,1,1>>); 3  dp_set_weight([1,2,3])$  dp_td(<<1,1,1>>); 6
By default, the total degree of a monomial is equal to
the sum of all exponents. This means that the weight for each variable
is set to 1.
In this example, the weights for the first, the second and the third
variable are set to 1, 2 and 3 respectively.
Therefore the total degree of
<<1,1,1>> under this weight,
which is called the weight of the monomial, is
By setting weights, different term orderings can be set under a type of
term ordeing. In some case a polynomial can
be made weighted homogeneous by setting an appropriate weight.
A list of weights for all variables is called a weight vector. A weight vector is called a sugar weight vector if its elements are all positive and it is used for computing a weighted total degree of a monomial, because such a weight is used instead of total degree in sugar strategy. On the other hand, a weight vector whose elements are not necessarily positive cannot be set as a sugar weight, but it is useful for generalizing term order. In fact, such a weight vector already appeared in a matrix order. That is, each row of a matrix defining a term order is regarded as a weight vector. A block order is also considered as a refinement of comparison by weight vectors. It compares two terms by using a weight vector whose elements corresponding to variables in a block is 1 and 0 otherwise, then it applies a tie breaker.
A weight vector can be set by using
However it is more preferable if a weight vector can be set
together with other parapmeters such as a type of term ordering
and a variable order. This is realized as follows.
 B=[x+y+z-6,x*y+y*z+z*x-11,x*y*z-6]$  dp_gr_main(B|v=[x,y,z],sugarweight=[3,2,1],order=0); [z^3-6*z^2+11*z-6,x+y+z-6,-y^2+(-z+6)*y-z^2+6*z-11]  dp_gr_main(B|v=[y,z,x],order=[[1,1,0],[0,1,0],[0,0,1]]); [x^3-6*x^2+11*x-6,x+y+z-6,-x^2+(-y+6)*x-y^2+6*y-11]  dp_gr_main(B|v=[y,z,x],order=[[x,1,y,2,z,3]]); [x+y+z-6,x^3-6*x^2+11*x-6,-x^2+(-y+6)*x-y^2+6*y-11]
In each example, a term ordering is specified as options.
In the first example, a variable order, a sugar weight vector
and a type of term ordering are specified by options
In the second example, an option
order is used
to set a matrix ordering. That is, the specified weight vectors
are used from left to right for comparing terms.
The third example shows a variant of specifying a weight vector,
where each component of a weight vector is specified variable by variable,
and unspecified components are set to zero. In this example,
a term order is not determined only by the specified weight vector.
In such a case a tie breaker by the graded reverse lexicographic ordering
is set automatically.
This type of a term ordering specification can be applied only to builtin
functions such as
dp_gr_mod_main(), not to
user defined functions such as
|[ << ]||[ < ]||[ Up ]||[ > ]||[ >> ]|
This document was generated on December 15, 2017 using texi2html 5.0.