is there a table about functionfield'galois_group? only numberfield'galois_group at lmfdb.org
K.<x> = FunctionField(QQ); R.<y> = K[];L.<y> = K.extension(y^5 - x);L;LL.<z> = L[];LL.<z> = K.extension(z - x-y);LL
Function field in y defined by y^5 - x Function field in z defined by z - y - x
{{{id=2| K.maximal_order(); K.galois_group()
Maximal order in Rational function field in x over Rational Field Traceback (most recent call last):