x_QX:=PolynomialAlgebra(Q); x_f:=x_QX.1^4+x_QX.1^2 +2; x_F:=NumberField(x_f); DivisorGroup(x_F);