Third SAIR competition: inverse Galois challenge

I am happy to announce the third SAIR challenge, which is focused on obtaining numerical data for the infamous inverse Galois problem. This is a collaborative project with the L-functions and modular forms database (LMFDB), and is organized by John Jones, Jen Paulhus, David Roe, Andrew Sutherland, and myself. The challenge is somewhat similar to my own Equational Theories Project, in that one is trying to complete a large mathematical data set in a verified fashion, except that the target data set had an existing mathematical interest. Also, the verification will be done by MAGMA (as well as PARI/GP) rather than Lean. Let me first quickly review the inverse Galois problem. Suppose one has an irreducible polynomial of one variable of some degree and integer coefficients; take for instance . Then will have distinct roots ; in this case the roots happen to be The roots generate some degree extension of the rational numbers . Any automorphism of this field extension must permute the roots…