f = subst(f,variable(f),'varA);
pol = Pol(vector(#coeffs-1,i,Polrev(coeffs[i],'varA)));
n = poldegree(f);
gettime();
fac = lift(nffactor(f, pol ));
zeit = gettime();
p2v(n,b)=vector(n,j,polcoeff(b,j-1));
f2v(n,v)=vector(#v,i,p2v(n,v[i]));
print("[ ");
{
for(i=1,#fac[,1],
for(j=1,fac[i,2],
print(f2v(n, Vec(fac[i,1]) ),",");
)
);
}
print1(zeit);
print("];");