Procedure from library
standard.lib (see standard_lib).
weightKB ( module_expression
weightKB ( ideal_expression
- the same as the input type of the first argument
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
The information about the weights is given as a list of two intvec:
wim weights for all variables (positive),
wim weights for the module generators.
- This is a generalization of the command
kbase with the same
first two arguments.
ring R=0, (x,y), wp(1,2);