//SINGULAR Example 1.8.15


ring A  =0,(x,y,z),dp;
ideal I1=x5z3,xyz,yz4;
ideal I2=z;

LIB"elim.lib";
sat(I1,I2);                      //the SINGULAR procedure

ideal J=quotient(I1,I2);         //the way described above
int k;
while(size(reduce(J,std(I1)))!=0)
{
   k++;
   I1=J;
   J=quotient(I1,I2);   
}
J;
k;