Hi, I'm doing some simple things with class groups, and some things don't work as expected. Let G be a class group of a number field. I am interested in obtaining the actual ideal classes (is there an easy direct way? list(G) returns abstract elements. Is it possible to obtain a map from the class group to the ideal group, mapping class group elements to representatives?) Since generators of G can be obtained as ideal classes, to obtain all of them you just have to multiply powers of the generators, and for that it would be useful to know the orders of the generators. When I call (G.0).order() it shows an error message saying that it is not implemented (which seems strange). I tried to work around this by generating the subgroups of G generated by these generators of G in turn to obtain their orders, but when I say G.subgroup([G.0]) or G.subgroup(G.gens()) an error results, saying that the elements passed don't belong to G.
--~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://sage.math.washington.edu/sage/ and http://sage.scipy.org/sage/ -~----------~----~----~----~------~----~------~--~---
