in the book introduction to groebner bases page 178
i input the following, syz is only 0,
it said using degrevlex , x>y>z
ring r = 0,(x,y,z),dp
module MD = [1,x2+y,x*yy*z,0,0],[0,x*zy,zx,0,0],[0,0,0,x2+y,x*yy*z],[1,0,0,x*zy,zx];
module MK = syz(MD);
matrix MM = MK;
print(MM);
module N =[x2+y,x*zy],[x*yy*z,zx];
quotient(N,freemodule(nrows(MK)));
in the book introduction to groebner bases page 178
i input the following, syz is only 0,
it said using degrevlex , x>y>z
ring r = 0,(x,y,z),dp
module MD = [1,x2+y,x*yy*z,0,0],[0,x*zy,zx,0,0],[0,0,0,x2+y,x*yy*z],[1,0,0,x*zy,zx];
module MK = syz(MD);
matrix MM = MK;
print(MM);
module N =[x2+y,x*zy],[x*yy*z,zx];
quotient(N,freemodule(nrows(MK)));
