LIB "tst.lib";
tst_init();

ring R;
(x+1)*(gen(1)+gen(3))/(x+1);

tst_status(1);$