LIB "tst.lib"; tst_init();
ring p = 0,(y1,y),dp;
y1^2*y^12;
short=1;
y1^2*y^12;
tst_status(1);$