Home Online Manual
Top
Back: spcurve_lib
Forward: CMtype
FastBack:
FastForward:
Up: spcurve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.16.1 isCMcod2

Procedure from library spcurve.lib (see spcurve_lib).

Usage:
isCMcod2(i); i an ideal

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

Example:
 
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