i1 : R = QQ[x,y]/ideal(x+2); |
i2 : icMap R o2 = map(R,R,{-2, y}) o2 : RingMap R <--- R |
i3 : S = QQ[a,b,c]/ideal(a^6-c^6-b^2*c^4); |
i4 : conductor(icMap S) 3 2 3 4 o4 = ideal (c , a*c , a c, a ) o4 : Ideal of S |
i5 : integralClosure S; |
i6 : S.icMap QQ[w , w , a, b, c] 7 6 o6 = map(---------------------------------------------,S,{a, b, c}) 2 2 2 2 2 (w c - a , w c - w a, w a - w , w - b - c ) 6 7 6 7 6 7 QQ[w , w , a, b, c] 7 6 o6 : RingMap --------------------------------------------- <--- S 2 2 2 2 2 (w c - a , w c - w a, w a - w , w - b - c ) 6 7 6 7 6 7 |