LIB "tst.lib";
tst_init();

ring r = (integer),(x,y,z),dp;
ideal i = 5x-3y,xy+3yz,2z2+5y;
ideal stdi = std(i);
ideal sbai = sba(i,1,0);
std(reduce(stdi,sbai));
std(reduce(sbai,stdi));


tst_status(1);
$