-- -*- M2-comint -*- {* hash: -1663901616 *}
i1 : R = QQ[x,y,z]/ideal(x^7-z^7-y^2*z^5);
i2 : icFractions R
3 2
x x
o2 = {--, --, x, y, z}
2 z
z
o2 : List
i3 : F = icMap R
QQ[w , w , x, y, z]
5,0 4,0
o3 = map(--------------------------------------------------------------------------------------------------------,R,{x, y, z})
2 2 2 2 3 2 2 2 3 2 2
(w z - x , w z - w x, w x - w , w x - y z - z , w w - x*y - x*z , w - w y - x z)
4,0 5,0 4,0 5,0 4,0 5,0 5,0 4,0 5,0 4,0
QQ[w , w , x, y, z]
5,0 4,0
o3 : RingMap -------------------------------------------------------------------------------------------------------- <--- R
2 2 2 2 3 2 2 2 3 2 2
(w z - x , w z - w x, w x - w , w x - y z - z , w w - x*y - x*z , w - w y - x z)
4,0 5,0 4,0 5,0 4,0 5,0 5,0 4,0 5,0 4,0
i4 : conductor F
4 3 2 2 4 5
o4 = ideal (z , x*z , x z , x z, x )
o4 : Ideal of R
i5 : conductor R
4 3 2 2 4 5
o5 = ideal (z , x*z , x z , x z, x )
o5 : Ideal of R
i6 :
