-- -*- M2-comint -*- {* hash: -957168015 *} i1 : R = QQ[x,y,z]/ideal(x^6-z^6-y^2*z^4); i2 : isNormal R o2 = false i3 : isNormal(integralClosure R) o3 = true i4 :
-- -*- M2-comint -*- {* hash: -957168015 *} i1 : R = QQ[x,y,z]/ideal(x^6-z^6-y^2*z^4); i2 : isNormal R o2 = false i3 : isNormal(integralClosure R) o3 = true i4 :