//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;