x_o := MaximalOrder(X^5-5*X^3+7*X^2-15*X+16); x_cl := ClassGroup(x_o); x_F:=AbelianExtension(x_cl.ext1); Type(x_F);