-- -*- M2-comint -*- hash: 1244906468

i1 : A = QQ{x,y,z}

o1 = A

o1 : NCPolynomialRing

i2 : I = ncIdeal{x*z-z*x, y*z, x*y^2-y^2*x, x^3*y-y*x^3}

                                    2    2     3  3
o2 = Two-sided ideal {-zx+xz, yz, -y x+xy , -yx +x y}

o2 : NCIdeal

i3 : J = quadraticClosure I

o3 = Two-sided ideal {-zx+xz, yz}

o3 : NCIdeal

i4 : 
