x_F5:=FiniteField(5); x_F5X:=PolynomialAlgebra(x_F5); x_F5XY:=PolynomialAlgebra(x_F5X);x_f:=x_F5XY.1^2+2; x_F:=FunctionField(x_f);x_O:=MaximalOrderFinite(x_F); x_p:=PrimitiveElement(x_O);x_m:=x_p*x_F5X.1+2; x_d:=Differential(x_m);x_D:=Parent(x_d);FunctionField(x_D);