x_QX := PolynomialAlgebra(Q); x_QY := PolynomialAlgebra(x_QX); x_f := x_QY.1^4 - 11; x_ff := FunctionField(x_f); MultiplicationTable(MaximalOrderFinite(x_ff));