Galois group command for Magma online calculator?

Question

I need to test if a family of 7th deg and 13 deg equations are solvable. I'm new to Magma, so my apologies, but what would I type in,

http://magma.maths.usyd.edu.au/calc/

to determine the Galois group of $x^5+5x-12=0$ (for example)?

Answer 1

> P< x >:=PolynomialAlgebra(Rationals());

> f:=x^5+5*x-12;

> G:=GaloisGroup(f);

> print G;

Symmetric group G acting on a set of cardinality 5 Order = 120 = 2^3 * 3 * 5

Although the permutation group on [1..Degree($f$)] is permutationally isomorphic to the Galois group, the bijection with the set of roots of your separable irreducible polynomial $f$ is not determined. For more details see the Magma handbook.