|  |  D.6.16.1 isCMcod2 Procedure from libraryspcurve.lib(see  spcurve_lib).
 
Example: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   
 | 
 
 |