Macaulay2 » Documentation
Packages » TorAlgebra :: isCI
next | previous | forward | backward | up | index | toc

isCI -- whether the ring is complete intersection



Checks if the local ring obtained by localizing R at the irrelevant maximal ideal is complete intersection. It is also possible to call the function on the defining ideal of R; see isCI(Ideal).

i1 : Q = QQ[x,y,z];
i2 : isCI (Q/ideal(x^2,x*y,y*z,z^2))

o2 = false
i3 : isCI (Q/ideal(x^2,y^2))

o3 = true

Ways to use isCI :

For the programmer

The object isCI is a method function.