Use P::=QQ[x,y,z];
M:=Module([[x+y+z,x+y+z,x-y+z],[x-y,y-4z,x+2z],[x,y,z]]);
BettiDiagram(M);
0
----------
1: 3
----------
Tot: 3
-------------------------------
LinSyz.Resolution(M,0);
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
[Vector(x + y + z, x + y + z, x - y + z), Vector(x - y, y - 4z, x + 2z), Vector(x, y, z)]
-------------------------------
LinSyz.Resolution(M,1);
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
[ ]
-------------------------------
|