x_F3:=FiniteField(3);x_F3x:=PolynomialAlgebra(x_F3); x_F3xy:=PolynomialAlgebra(x_F3x);x_f:=x_F3xy.1^2+1; x_F:=FunctionField(x_f); x_O:=MaximalOrderFinite(x_F);FieldOfFractions(x_O);