x_F5 := FiniteField(5);x_F5x := PolynomialAlgebra(x_F5); x_F5X := PolynomialAlgebra(x_F5x);x_f := x_F5X.1^4+3*x_F5X.1^2+x_F5x.1; x_k := FunctionField(x_f);x_o := MaximalOrderFinite(x_k); x_s := Decomposition(x_o,x_F5x.1);x_p := Place(x_s[2]); FunctionField(x_p);