-- -*- M2-comint -*- hash: 16092972472781012469

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : I = ideal"x2,y3,yz"

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

o2 : Ideal of R

i3 : P = NP I

o3 = P

o3 : Polyhedron

i4 : J = integralClosure(I,1)

                  2   3     2
o4 = ideal (y*z, x , y , x*y )

o4 : Ideal of R

i5 : P == NP J

o5 = true

i6 : 
