-- -*- M2-comint -*- hash: 14897402404819374017

i1 : A = QQ<|x,y,z|>

o1 = A

o1 : FreeAlgebra

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

                               2    2    3       3
o2 = ideal (x*z - z*x, y*z, x*y  - y x, x y - y*x )

o2 : Ideal of A

i3 : J = quadraticClosure I

o3 = ideal (x*z - z*x, y*z)

o3 : Ideal of A

i4 : 
