I am in fact planning on reimplementing finitely generated abelian groups soon, so my vote would be to have the quotient of lattices L/L' (with L' a full sublattice or not) be an abelian group A with a canonical map L -> A. David
On Mon, Apr 28, 2008 at 2:33 PM, William Stein <[EMAIL PROTECTED]> wrote: > > 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 -~----------~----~----~----~------~----~------~--~---
