Home Online Manual
Top
Back: truncateFast
Forward: sheafCohBGG
FastBack:
FastForward:
Up: sheafcoh_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.16.3 CM_regularity

Procedure from library sheafcoh.lib (see sheafcoh_lib).

Usage:
CM_regularity(M); M module

Assume:
M is graded, and it comes assigned with an admissible degree vector as an attribute

Return:
integer, the Castelnuovo-Mumford regularity of coker(M)

Note:
procedure calls mres

Example:
 
LIB "sheafcoh.lib";
ring R=0,(x,y,z,u),dp;
resolution T1=mres(maxideal(1),0);
module M=T1[3];
intvec v=2,2,2,2,2,2;
attrib(M,"isHomog",v);
CM_regularity(M);
==> 2