Ask Your Question

Revision history [back]

Hi,

Currently you can create such a field

sage: K.<x> = FunctionField(QQ, 'x')
sage: R.<y> = PolynomialRing(K)
sage: p = y^7 - x
sage: K2 = K.extension(p)
sage: K2
Function field in y defined by y^7 - x

But, sadly, there is no such feature as computing the Galois closure...

Vincent