2.2.22 Ring Mapping Example |
Example |
Use S ::= QQ[a,b,c]; I := Ideal(a^2+b^2,ab-c^2); Use R ::= QQ[x,y]; -- the current ring is R F := RMap(x+y,x-y,y^2); -- define a map F:S --> R sending a to x+y, -- b to x-y, and c to y^2 Image(I, F); -- the image of I under F Ideal(2x^2 + 2y^2, -y^4 + x^2 - y^2) ------------------------------- |