Home Online Manual
Top
Back: weight
Forward: write
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.165 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.