//SINGULAR Example 1.8.9


ring A =0,(x,y,z),dp;
ideal I=x5,xy3,y7,z3+xyz;
poly f =x+y+z;

ring B =0,(t,x,y,z),dp; //need t for radical test
ideal I=imap(A,I);
poly f =imap(A,f);
I=I,1-t*f;
std(I);

LIB"primdec.lib";   //just to see, we compute the radical
setring A;
radical(I);