
5.1.164 weightKB
Procedure from library standard.lib (see standard_lib).
 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,wim denotes the three arguments then weightKB
computes the weighted degree d part of a vector space basis
(consisting of monomials) of the quotient ring, resp. of the
quotient module, modulo I w.r.t. weights given by wim
The 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
kbase with the same
first two arguments.
Example:
 ring R=0, (x,y), wp(1,2);
weightKB(ideal(0),3,intvec(1,2));
==> _[1]=x3
==> _[2]=xy
 See also:
kbase.
