// factorization of polynomials over finite fields k := GF(2, 100); P := PolynomialRing(k); time Factorization(x^100 + x + 1);