x_QX := PolynomialAlgebra(Q); x_QY := PolynomialAlgebra(x_QX); x_f := x_QY.1^2+2; x_ff := FunctionField(x_f); x_mo := MaximalOrderFinite(x_ff); Module(x_mo, 2);