Compute Galois closure of an extension of a function field
Say I want to look at the field extension Quot(Q[x,y]/y7−x) over Q(x) and then compute its Galois closure. How do I do that?
Ideally it could be done on the scheme-level (to define the scheme-morphism: (the projectivization of the affine plane curve y7−x) mapping to (the projective x-line); and then compute its Galois closure -- a scheme!). But I don't know how to implement either version.
i think this question needs a better title. "how to implement this computation?" does not tell anything about the content.