//SINGULAR Example 3.1.6




ring A  =0,(x,y,z,a,b,c),lp;
ideal M =a-(xy)^3-x2-z,b-y2+1,c-z3,xy;
ideal SM=std(M);
lead(SM);                 //get leading terms of SM
kill A;

ring B  = 0,(x,y,z),dp;
ideal I = x-zy;
LIB"surf.lib";
plot(I);

LIB"algebra.lib";
ring A = 0,(u,v),dp;
setring B;
map phi1 = A,x,y;      //projection to (x,y)-plane
mapIsFinite(phi1,A,I); 

map phi2 = A,y,z;      //projection to (y,z)-plane
mapIsFinite(phi2,A,I);