x_k:=FiniteField(3); x_kx:=PolynomialAlgebra(x_k); x_kxy:=PolynomialAlgebra(x_kx); x_f:=x_kxy.1^2+1; x_F:=FunctionField(x_f); x_o:=MaximalOrderFinite(x_F); x_s:=Decomposition(x_o,x_kx.1); x_p := Place(x_s[1]); x_D:=Divisor(x_p);