x_QX:=PolynomialAlgebra(Q); x_f:=x_QX.1^3 + 3*x_QX.1^2+3; x_F:=NumberField(x_f); RegulatorLowerBound(x_F);