|
5.1.170 weight
Syntax:
weight ( ideal_expression )
weight ( module_expression )
Type:
- intvec
Purpose:
- computes an "optimal" weight vector for an ideal, resp. module,
which may be used as weight vector for the variables in order to speed
up the standard basis algorithm. If the input is weighted homogeneous,
a weight vector for which the input is weighted homogeneous is found.
Example:
| ring h1=32003,(t,x,y,z),dp;
ideal i=
9x8+y7t3z4+5x4y2t2+2xy2z3t2,
9y8+7xy6t+2x5y4t2+2x2yz3t2,
9z8+3x2y3z2t4;
intvec e=weight(i);
e;
==> 5,7,5,7
ring r=32003,(a,b,c,d),wp(e);
map f=h1,a,b,c,d;
ideal i0=std(f(i));
|
See
ideal;
intvec;
qhweight.
|