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

• Usage:

  b = isStronglyCM I

• Inputs:
  • I, an ideal,
• Outputs:
  • b, a Boolean value, true if I is Strongly Cohen Macaulay

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