ring r; ideal i=x2+y3,y3+z4,y5+z2; std(i); ideal k=_; k; ideal kk=_+_*x; kk; LIB "tst.lib";tst_status(1);$