LIB "tst.lib"; tst_init();
LIB "elim.lib";
ring r=0,(x,y,t,s,z),(c,dp);
ideal i=x-y,y-z2,z-t3,s-x+y3;
ideal j=select1(i,1);j;
module m=i*(gen(1)+gen(2)); m;
select1(m,1..2);
select1(matrix(m),1..2);
tst_status(1);$