D.6.21.1 isCMcod2

Usage:

isCMcod2(i); i an ideal

Return:

presentation matrix of i, if i is Cohen-Macaulay of codimension 2
a zero matrix otherwise

LIB "spcurve.lib";
ring r=32003,(x,y,z),ds;
ideal i=xz,yz,x^3-y^4;
print(isCMcod2(i));
==> -y,-x2,
==> x, y3, 
==> 0, z