LIB "tst.lib"; tst_init(); option(prot); ring r = 32003,(x(1..7)),ds; ideal i = -2*x(4)*x(5)-2*x(3)*x(6)^2-2*x(2)*x(7)-1*x(1)^3, -2*x(1)*x(2)-2*x(4)*x(6)^2-2*x(3)*x(7)-1*x(2)^3, -2*x(1)*x(3)-2*x(5)*x(6)^2-2*x(4)*x(7)-1*x(3)^3, -2*x(2)*x(3)-2*x(1)*x(4)-2*x(5)*x(7)-1*x(4)^3, -2*x(2)*x(5)-2*x(1)^2; ideal j=std( i); tst_status(1);$