x_T := RationalFunctionField(FiniteField(9));;x_TX := PolynomialAlgebra(x_T);; x_F := FunctionField(x_TX.1^2 - x_T.1^3 - x_T.1);x_O := MaximalOrderFinite(x_F); Order(2*x_O);