x_k := FiniteField(2); x_kx := PolynomialAlgebra(x_k); x_kxy := PolynomialAlgebra(x_kx); x_f:= x_kxy.1^2 + x_kxy.1 + x_kx.1^3 + x_kx.1 + 1; x_F:=FunctionField(x_f); x_o:=MaximalOrderFinite(x_F); x_iel:=Element(x_o,[1,1])*x_o; Different(x_iel);