|  |  5.1.171 weightKB Procedure from librarystandard.lib(see  standard_lib).
 
Example:Syntax:
weightKB (module_expression,int_expression,list_expression)
 weightKB (ideal_expression,int_expression,list_expression)
Return:
the same as the input type of the first argument
Purpose:
If I,d,wimdenotes the three arguments then weightKB
computes the weighted degree-dpart of a vector space basis
(consisting of monomials) of the quotient ring, resp. of the
quotient module, moduloIw.r.t. weights given bywimThe information about the weights is given as a list of two intvec:wim[1]weights for all variables (positive),wim[2]weights for the module generators.
Note:
This is a generalization of the command kbasewith the same
first two arguments.
 See also:
 kbase.|  |   ring R=0, (x,y), wp(1,2);
weightKB(ideal(0),3,intvec(1,2));
==> _[1]=x3
==> _[2]=xy
 | 
 
 |