x_R := PolynomialAlgebra( IntegerRing() ); x_x := Generator(x_R, 1); x_O := MaximalOrder(x_x^2 - 23); x_a := Element(x_O, [0,1] ); x_h := AbsoluteLogarithmicHeight(x_a); Exp(x_h)^2;