x_f5 := FiniteField(5); x_f5t := PolynomialAlgebra(x_f5); x_f5ty := PolynomialAlgebra(x_f5t); x_k := FunctionField(x_f5ty.1^4-x_f5t.1^5); x_O := MaximalOrderFinite(x_k); CoefficientRing(x_O);