On Sat, Oct 3, 2009 at 8:07 PM, Rob Beezer <goo...@beezer.cotse.net> wrote: > > On Oct 3, 6:05 pm, William Stein <wst...@gmail.com> wrote: >> And this has already been almost completed by David Loeffler based >> on work by me. http://trac.sagemath.org/sage_trac/ticket/6449 > > The work at #6449 creates additive abelian groups by extending the > class for finitely-generated modules over ZZ. Assuming that approach, > is there a natural way to get all the subgroups?
I don't think so. I have a hazy recollection that maybe a book by Henri Cohen on explicit class field theory has such an algorithm nicely described... > If so, I'm not > seeing it. Or would David Loeffler's routine for all subgroups of a > multiplicative abelian group need to be translated to the additive > version? Probably the latter. David Loeffler might want to comment, since I cc'd him. > > Rob > > > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
