On Mon, Apr 28, 2008 at 11:29 AM, John Cremona <[EMAIL PROTECTED]> wrote: > > David, I don't think you understood my suggestion. We are talking > about groups A which are finitely-generated and torsion-free, so > abstractly isomorphic to Z^n, together with a suitable blinear > function on AxA taking values in Z or Q, and I wish to include R > -valued forms.
John see below. > > 2008/4/28 David Joyner <[EMAIL PROTECTED]>: > > > > 3. Implement a LatticeQuotient class (for now, just full sublattices, > > > i.e., finite quotients). > > > -- Inherit from FreeModule_ZZ_quotient? > > > -- Inherit from AbelianGroup? > > > > -1 is my vote on this. Infinite AbelianGroup instances are not > > completely implemented. I think David is -1'ing *only* having LatticeQuotient inherit from AbelianGroup, not the entire proposal. His reasoning is that AbelianGroup is not implemented sufficiently well in Sage, and perhaps he feels some responsibility related to this since he did the current AbelianGroup implementation in Sage. I disagree with David -- if AbelianGroup is the right thing to derive form (I'm not saying it is!), but AbelianGroups aren't "good enough", the right thing to do is fix them. Don't underestimate the boundless energy and capabilities of the students working on this project. Either Robert Miller or David Roe could likely do in a day or two whatever needs to be done with the AbelianGroup class to make it substantially better for the purposes of the above proposal. -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
