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); x_p:=PrimitiveElement(x_O); x_D:=Divisor(x_p);FunctionField(x_D);