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

D.15.14.13 grpres

Procedure from library gradedModules.lib (see gradedModules_lib).

Usage:
grpres(M), graded object M (submodule gens)

Return:
graded module (via coker)

Purpose:
compute graded presentation matrix of submodule generated by columns of M

Example:
 
LIB "gradedModules.lib";
ring r=32003,(x,y,z),dp;
def A = grgroebner( grobj( module([x+y, x, 0, 3], [0, x+y, y, 2], [y, y, z, 1]), intvec(0,0,0,1) ) );
grview(A);
==> Graded homomorphism: r^3 + r(-1) <- r(-1)^3 + r(-2) + r(-3), given by a m\
   atrix, with degrees: 
==>      ..1 ..2 ..3 ..4 ..5 ....
==>      --- --- --- --- --- +...
==>   0 :  1   1   1   2   - |..1
==>   0 :  1   -   1   -   - |..2
==>   0 :  1   1   1   2   3 |..3
==>   1 :  0   0   0   1   2 |..4
==>      === === === === ===     
==>        1   1   1   2   3     
"graded transpose: "; def B = grtranspose(A); grview( B ); print(B);
==> graded transpose: 
==> Graded homomorphism: r(1)^3 + r(2) + r(3) <- r^3 + r(1), given by a matri\
   x, with degrees: 
==>      ..1 ..2 ..3 ..4 ....
==>      --- --- --- --- +...
==>  -1 :  1   1   1   0 |..1
==>  -1 :  1   -   1   0 |..2
==>  -1 :  1   1   1   0 |..3
==>  -2 :  2   -   2   1 |..4
==>  -3 :  -   -   3   2 |..5
==>      === === === ===     
==>        0   0   0  -1     
==> y,   y,z,              1,        
==> x+2y,0,-y+z,           2,        
==> -y,  x,y-z,            1,        
==> y2,  0,-xz,            -x+3y,    
==> 0,   0,y3-x2z-2xyz-y2z,-x2+xy+4y2
"... syzygy: "; def C = grsyz(B); grview(C);
==> ... syzygy: 
==> Graded homomorphism: r^3 + r(1) <- r(-2), given by a matrix, with degrees\
   : 
==>      ..1 ....
==>      --- +...
==>   0 :  2 |..1
==>   0 :  2 |..2
==>   0 :  2 |..3
==>  -1 :  3 |..4
==>      ===     
==>        2     
"... transposed: "; def D = grtranspose(C); grview( D ); print (D);
==> ... transposed: 
==> Graded homomorphism: r(2) <- r^3 + r(-1), given by a matrix, with degrees\
   : 
==>      ..1 ..2 ..3 ..4 ....
==>      --- --- --- --- +...
==>  -2 :  2   2   2   3 |..1
==>      === === === ===     
==>        0   0   0   1     
==> xy-3y2+xz+3yz,-xy+2y2+2xz+2yz,x2-xy-4y2,y3-x2z-2xyz-y2z
"... and back to presentation: "; def E = grsyz( D ); grview(E); print(E);
==> ... and back to presentation: 
==> Graded homomorphism: r^3 + r(-1) <- r(-1)^3, given by a matrix, with degr\
   ees: 
==>      ..1 ..2 ..3 ....
==>      --- --- --- +...
==>   0 :  1   1   1 |..1
==>   0 :  1   1   1 |..2
==>   0 :  1   1   1 |..3
==>   1 :  0   -   - |..4
==>      === === ===     
==>        1   1   1     
==> y,x,   x-2y,
==> y,-2y, x-3y,
==> z,-y-z,-3z, 
==> 1,0,   0    
def F = grgens( E ); grview(F); print(F);
==> Graded homomorphism: r(2) <- r^3 + r(-1), given by a matrix, with degrees\
   : 
==>      ..1 ..2 ..3 ..4 ....
==>      --- --- --- --- +...
==>  -2 :  2   2   2   3 |..1
==>      === === === ===     
==>        0   0   0   1     
==> xy-3y2+xz+3yz,-xy+2y2+2xz+2yz,x2-xy-4y2,y3-x2z-2xyz-y2z
def G = grpres( F ); grview(G); print(G);
==> Graded homomorphism: r^3 + r(-1) <- r(-1)^3, given by a matrix, with degr\
   ees: 
==>      ..1 ..2 ..3 ....
==>      --- --- --- +...
==>   0 :  1   1   1 |..1
==>   0 :  1   1   1 |..2
==>   0 :  1   1   1 |..3
==>   1 :  0   -   - |..4
==>      === === ===     
==>        1   1   1     
==> y,x,   x-2y,
==> y,-2y, x-3y,
==> z,-y-z,-3z, 
==> 1,0,   0    
def M = grtwists( intvec(-2, 0, 4, 4) ); grview(M);
==> Graded homomorphism: r(-2) + r + r(4)^2 <- 0, given by zero (4 x 0) matri\
   x.
def N = grgens(M); grview( N ); print(N);
==> Graded homomorphism: r(-2) + r + r(4)^2 <- r(-2) + r + r(4)^2, given by a\
    diagonal matrix, with degrees: 
==>      ..1 ..2 ..3 ..4 ....
==>      --- --- --- --- +...
==>   2 :  0   -   -   - |..1
==>   0 :  -   0   -   - |..2
==>  -4 :  -   -   0   - |..3
==>  -4 :  -   -   -   0 |..4
==>      === === === ===     
==>        2   0  -4  -4     
==> 1,0,0,0,
==> 0,1,0,0,
==> 0,0,1,0,
==> 0,0,0,1 
def L = grpres( N ); grview( L ); print(L);
==> Graded homomorphism: r(-2) + r + r(4)^2 <- 0, given by zero (4 x 0) matri\
   x.
==> 4 x 0 zero matrix