x_gf5:=FiniteField(5); x_gf5x:=PolynomialAlgebra(x_gf5); x_gf5xy:=PolynomialAlgebra(x_gf5x); x_f:=x_gf5xy.1^2+2; x_F:=FunctionField(x_f); x_O:=MaximalOrderFinite(x_F); x_p:=PrimitiveElement(x_O); x_m:=x_p*x_gf5x.1+2; x_d:=Differential(x_m); x_s := Decomposition(x_O,x_gf5x.1); x_P := Place(x_s[1]); Residue(x_d, x_P);