Needed by polgalois to compute Galois group in degrees 8 through 11.
