Needed by PARI/GP function "polgalois" to compute Galois group
in degrees 8 through 11.