LIB "tst.lib";
tst_init();

ring s=0,(x,y,z,a,b,c),dp;
minpoly= 1;

tst_status(1);$