1\\ compute factors of poly defined by coeffs over Q_f
2f = subst(f,variable(f),'varA);
3pol = Pol(vector(#coeffs-1,i,Polrev(coeffs[i],'varA)));
4n = poldegree(f);
5gettime();
6fac = lift(nffactor(f, pol ));
7zeit = gettime();
8
9p2v(n,b)=vector(n,j,polcoeff(b,j-1));
10f2v(n,v)=vector(#v,i,p2v(n,v[i]));
11
12\\ print result
13print("[ ");
14{
15  for(i=1,#fac[,1],
16    for(j=1,fac[i,2],
17        print(f2v(n, Vec(fac[i,1]) ),",");
18    )
19  );
20}
21print1(zeit);
22print("];");
23