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 |
The object isCI is a method function.