 ring r=32003,(x,y,z),dp;
ideal i=x2,xy,y5;
eliminate(i,x);
==> _[1]=y5
ring R=0,(x,y,t,s,z),dp;
ideal i=xt,yt2,zt3,sx+y3;
eliminate(i,ts);
==> _[1]=y2xz
==> _[2]=xyz
==> _[3]=x2y
ideal j=x2,xy,y2;
intvec v=hilb(std(j),1);
eliminate(j,y,v);
==> _[1]=x2
