Revision history [back]

It would be nice if the conversion (from number field element to element of the "abstract" unit group) was automated. Currently you can just do the conversion into the abstract group manually:

sage: U.subgroup([U(-u[0]^3 + u[1]^2 - u[1] + 1)])
Multiplicative Abelian subgroup isomorphic to C2 x C5 generated by {u0^9}
sage: zeta5 = k.gen()
sage: U.subgroup([U(zeta5^3 + zeta5^2 + zeta5 + 1)])
Multiplicative Abelian subgroup isomorphic to C2 x C5 generated by {u0^9}