next | previous | forward | backward | up | top | index | toc | Macaulay2 website
TorAlgebra :: isCI(Ideal)

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

Synopsis

Description

Checks if 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