x_QX := PolynomialAlgebra(Q); x_QY := PolynomialAlgebra(x_QX); x_f := x_QY.1^2+2; x_ff := FunctionField(x_f); x_p := PrimitiveElement(MaximalOrderFinite(x_ff)); Norm(x_p);