5.1.171 weightKB

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.

  ring R=0, (x,y), wp(1,2);
weightKB(ideal(0),3,intvec(1,2));
==> _[1]=x3
==> _[2]=xy