Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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}