LIB "tst.lib";
tst_init();

ring R=(0,a),x,dp;
minpoly =2*a^2-1;
number n = 7;
n>0;

tst_status(1);$