isCI(Ideal) -- whether the ring is complete intersection

• Function: isCI

• Usage:

  isCI R or isCI I

• Inputs:
  • I, an ideal, of a polynomial algebra contained in the irrelevant maximal ideal
• Outputs:
  • a Boolean value, whether the local ring obtained by localizing the quotient by I at the irrelevant maximal ideal is complete intersection

i1 : Q = QQ[x,y,z];

i2 : isCI (ideal(x^2,x*y,y*z,z^2))

o2 = false

i3 : isCI (ideal(x^2,y^2))

o3 = true