Hey John, IndexedFreeAbelianGroup is also introduced in the ticket. Mainly I want to use this to create polynomial rings with arbitrarily indexed variables (well any ring with a monomial basis whose variables can be ordered, my particular usage will be universal enveloping algebras of a Lie algebra, but exterior algebras with infinite generators would be another potential usage). As for the product_on_basis(), it's more about which type of group should we use, additive or multiplicative. I think of the elements of the group as actual terms, as opposed to exponent indices. Perhaps this is a bikeshed issue since it's an implementation detail and I'm not actually implementing any of these rings here.
Hey Simon, I believe John was referring to the catalog of groups (which I forgot about, thanks!) and proposing a similar catalog for algebras (which I support). Best, Travis -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.