On Oct 5, 6:12 pm, John H Palmieri <[email protected]> wrote: > First, you might want to post this on sage-combinat-devel and/or sage- > algebra, as well as sage-devel.
ok; thanks for the pointer > > Second, I think having something with Hopf algebroids would be great! > Please cc me on any ticket. > > Third, the file devel/sage/sage/categories/examples/ > hopf_algebras_with_basis.py is an instructive, although brief, > application of the basic Hopf algebra structure. At least you can see > how to use CombinatorialFreeModule combined with a method like > "antipode_on_basis" to define an antipode. > > Fourth, if you want to review <http://trac.sagemath.org/sage_trac/ > ticket/10052>, you'll see how I used the Hopf algebra stuff in Sage to > rewrite the implementation of the Steenrod algebra. (Don't feel any > obligation, but I'm not sure who else to ask to do this...) Thanks; I'll take a look at these! > > A while ago, I polled people about topological ideas that might get > added to Sage: see <http://wiki.sagemath.org/topology>. Unfortunately > there seems to be nothing about Hopf algebroids (although formal group > laws were mentioned). If you feel like adding to that page, please > do. wow; there are a lot of things already on that list. Amusingly, the person who made the formal group law request (Justin Noel) is my collaborator, and it was our project together that got me started writing sage code (after a detour through Mathematica). I've already written a patch for multivariate power series (#1956 [1]; it's waiting for review!), and I think Hopf algebroids are another necessary step toward formal group laws in algebraic topology -- the formal group laws are my basic motivation though :) On Oct 6, 12:12 am, jvkersch <[email protected]> wrote: > Hi Niles, > > Like John, I would like to be cc'd on any tickets about this. Sure; will do. > Apart > from the obvious mathematical importance, I'm quite interested in > finding out the right way of implementing these structures. Having looked at sage-algebra, it seems that there is more discussion on that topic there than there is on this list, so you might want to take a look too [2], [3]. On Oct 6, 8:12 am, Jason Bandlow <[email protected]> wrote: > Hello, > > The resources from sage days 20.5 may be helpful for this. See > > http://wiki.sagemath.org/days20.5/schedule > > and in particular my May 5 talk: > > An introduction to categories and coercions in Sage > Great! I'll look at these too :) > > As John said, please cross-post any followup questions to > sage-combinat-devel where the relevant people are more likely to see > your message. well, ok, but I have to say that signing up for more and more groups is a little annoying. Thanks for the help though :) all best, Niles [1]: http://trac.sagemath.org/sage_trac/ticket/1956 [2]: http://groups.google.com.au/group/sage-algebra/browse_thread/thread/a6ff1efe22943a4c [3]: http://groups.google.com.au/group/sage-algebra/browse_thread/thread/98dd89af9460de6a -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
