Top
Back: getTorsion
Forward: getModuleGrading
FastBack: monomialideal_lib
FastForward: paraplanecurves_lib
Up: multigrading_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.5.4 setModuleGrading

Procedure from library multigrading.lib (see multigrading_lib).

Usage:
setModuleGrading(m, G), m module/vector, G intmat

Purpose:
attaches the multiweights of free module generators to 'm'

Warning:
The method does not verify whether the multigrading makes the module/vector homogenous. One can do that using isHomogenous(m).

Example:
 
LIB "multigrading.lib";
ring R = 0, (x,y), dp;
intmat M[2][2]=
1, 1,
0, 2;
intmat T[2][5]=
1,  2,  3,  4, 0,
0, 10, 20, 30, 1;
setBaseMultigrading(M, T);
ideal I = x, y, xy^5;
intmat V = mDeg(I);
// V == M; modulo T
print(V);
==>      1     1    10
==>      0     2    10
module S = syz(I);
S = setModuleGrading(S, V);
getModuleGrading(S) == V;
==> 1
print(S);
==> -y,x4y5,
==> x, 0,   
==> 0, -1   
vector v = S[1]; v = setModuleGrading(v, V);
getModuleGrading(v) == V;
==> 1
print( mDeg(v) );
==> 2,
==> 2 
isHomogenous(S);
==> 1
print( mDeg(S) );
==>      2    10
==>      2    10


Top Back: getTorsion Forward: getModuleGrading FastBack: monomialideal_lib FastForward: paraplanecurves_lib Up: multigrading_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.