|
5.1.142 weightKB
Procedure from library standard.lib (see standard_lib).
- Usage:
- weightKB(stc,dd,wim);
stc ideal/module (standard basis),
dd int (degree of the result),
wim list of intvec (weights of the degree):
wim[1] for all variables (>0),
wim[2] only for module for the generators.
- Return:
- same type as stc
(the terms of the kbase w.r.t. stc with
weighted degree equals dd)
|