# This proc takes in a polynomial f in the variable t and checks if all the coefficients are positive
postest := proc(f)
local i,fDegree;
fDegree := degree(f,t);
for i from 0 to fDegree do
    if (coeff(f,t,i) <= 0) then
        printf("Negative coefficient in f at term %d!\n",i);
    fi;
od;
end proc;