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);