Top
Back: D.4.3.9 homology
Forward: D.4.3.11 isFlat
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.4.3 homolog_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.4.3.10 isCM

Procedure from library homolog.lib (see homolog_lib).

Usage:

isCM(M); M module

Return:

1 if M’=coker(M) is Cohen-Macaulay;
0 if this is not the case.

Assume:

basering is local.

Example:

LIB "homolog.lib";
ring R=0,(x,y,z),ds;  // local ring R = Q[x,y,z]_<x,y,z>
module M=xz,yz,z2;   
isCM(M);             // test if R/<xz,yz,z2> is Cohen-Macaulay
→ 0
M=x2+y2,z7;          // test if R/<x2+y2,z7> is Cohen-Macaulay
isCM(M);
→ 1

Top Back: D.4.3.9 homology Forward: D.4.3.11 isFlat FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.4.3 homolog_lib Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texi2html.