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);Type(x_d);