-- -*- M2-comint -*- {* hash: 1411608918 *} i1 : R = QQ[x,y,z]/(x^3-x^2*z^5-z^2*y^5) o1 = R o1 : QuotientRing i2 : S = integralClosure R o2 = S o2 : QuotientRing i3 : icFractions R 3 y z o3 = {---, x, y, z} x o3 : List i4 : gens S o4 = {w , x, y, z} 1,0 o4 : List i5 : trim ideal S 3 2 5 2 2 5 o5 = ideal (w x - y z, w y z + x*z - x , w + y*z - x*y) 1,0 1,0 1,0 o5 : Ideal of QQ[w , x, y, z] 1,0 i6 :