Home Online Manual
Top
Back: grrndmap
Forward: grlifting
FastBack:
FastForward:
Up: gradedModules_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.14.26 grrndmap2

Procedure from library gradedModules.lib (see gradedModules_lib).

Usage:
grrndmap2(D,S), graded objects S and D

Return:
graded object

Purpose:
construct a random 0-deg graded homomorphism between target of D and S.

Example:
 
LIB "gradedModules.lib";
ring r=32003,(x,y,z),dp;
module D=grobj(module([y,0,z],[x2+y2,z,0]),intvec(0,1,0));
grview(D);
==> Graded homomorphism: r + r(-1) + r <- r(-1) + r(-2), given by a matrix, w\
   ith degrees: 
==>      ..1 ..2 ....
==>      --- --- +...
==>   0 :  1   2 |..1
==>   1 :  -   1 |..2
==>   0 :  1   - |..3
==>      === ===     
==>        1   2     
module S=grobj(module([x,0,y],[xy,zy+x2,0]),intvec(0,0,0));
grview(S);
==> Graded homomorphism: r^3 <- r(-1) + r(-2), given by a matrix, with degree\
   s: 
==>      ..1 ..2 ....
==>      --- --- +...
==>   0 :  1   2 |..1
==>   0 :  -   2 |..2
==>   0 :  1   - |..3
==>      === ===     
==>        1   2     
def G=grrndmap2(D,S);
grview(G);
==> Graded homomorphism: r^3 <- r + r(-1) + r, given by a square matrix, with\
    degrees: 
==>     .1 .2 .3 ...
==>     -- -- -- +..
==>  0 : 0  1  0 |.1
==>  0 : 0  1  0 |.2
==>  0 : 0  1  0 |.3
==>     == == ==    
==>      0  1  0