//SINGULAR ExampleA.5.3




ring R=0,(x,y,z),dp;
ideal M=maxideal(1);
ideal I=(x2z+y3)*M^2;
I;
LIB"elim.lib";
sat(I,M);