i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing |
i2 : I = ideal(y^3,y^2*z^2-x^3,x*y^2*z,x^3*z-x*y) 3 2 2 3 2 3 o2 = ideal (y , y z - x , x*y z, x z - x*y) o2 : Ideal of R |
i3 : cv = isCellular (I,returnCellVars=>true) o3 = {z} o3 : List |
i4 : cellularBinomialRadical (I,cellVariables=>cv) o4 = ideal (x, y) o4 : Ideal of R |