//SINGULAR Example 2.5.18




ring R=0,(x,y,z),(c,dp);
ideal I=yz+z2,y2+xz,xy+z2,z3,xz2,x2z;

resolution Re=mres(I,0);//A minimal resolution of I
Re;
print(Re);

resolution Se=sres(I,0); //Schreyer's resolution of I
Se;
print(Se);

print(minres(Se));  //the minimized Schreyer's resolution