LIB "tst.lib"; tst_init();
LIB "mregular.lib";
ring r=0,(x,y,z,t,w),dp;
ideal i=y2t,x2y-x2z+yt2,x2y2,xyztw,x3z2,y5+xz3w-x2zw2,x7-yt2w4;
satiety(i);
ideal I=lead(std(i));
satiety(I);   // First  method: direct computation
satiety(I,1); // Second method: doing changes of coordinates
// Additional information is displayed if you change printlevel (=1);
tst_status(1);$