LIB "tst.lib"; tst_init(); ring r = (integer),(x,y,z),dp; ideal i = 24xyz+56x2,60xyz+74xy; ideal stdi = std(i); ideal sbai = sba(i,1,0); std(reduce(stdi,sbai)); std(reduce(sbai,stdi)); tst_status(1); $