next | previous | forward | backward | up | top | index | toc | Macaulay2 website
ResidualIntersections :: isStronglyCM

isStronglyCM -- Checks if the given ideal is Strongly Cohen Macaulay

Synopsis

Description

I is Strongly Cohen Macaulay if each Koszul homology module is Cohen-Macaulay. The routine computes the Koszul homology with koszulDepth.

i1 : R = ZZ/101[x_1..x_5];
i2 : I = ideal{x_1*x_3,x_2*x_4,x_3*x_4,x_1*x_5,x_3*x_5};

o2 : Ideal of R
i3 : isStronglyCM I

o3 = true

See also

Ways to use isStronglyCM :

For the programmer

The object isStronglyCM is a method function.