x_QX:=PolynomialAlgebra(Q); x_QY:=PolynomialAlgebra(x_QX); x_f:=x_QY.1^2+2; x_F:=FunctionField(x_f); MaximalOrderInfinite(x_F);