//SINGULAR Example 1.1.10



ring A = 0,(a,b,c),dp;
poly f = a+b+ab+c3;

ring B = 0,(x,y,z),dp;
map F  = A, x+y,x-y,z;//map F from ring A (to basering B) 
                     //sending a -> x+y, b -> x-y, c -> z
poly g = F(f);       //apply F
g;

ring A1 = 0,(x,y,c,b,a,z),dp;
imap(A,f);           //imap preserves names of variables

fetch(A,f);          //fetch preserves order of variables