 LIB "rinvar.lib";
ring B = 0,(x,y),dp;
ideal I = x4  y4;
ideal F = x2, y2, x*y;
def R = ImageVariety(I, F);
==>
==> // 'ImageVariety' created a new ring.
==> // To see the ring, type (if the name 'R' was assigned to the return valu\
e):
==> show(R);
==> // To access the ideal of the image variety, type
==> setring R; imageid;
==>
setring R;
imageid;
==> imageid[1]=Y(1)*Y(2)Y(3)^2
==> imageid[2]=Y(1)^2Y(2)^2
==> imageid[3]=Y(2)^3Y(1)*Y(3)^2
