Hi Niles, Like John, I would like to be cc'd on any tickets about this. Apart from the obvious mathematical importance, I'm quite interested in finding out the right way of implementing these structures. I don't know if I'll be able to contribute immediately, but I'm looking forward to seeing how this goes.
Incidentally, for the DifferentialForms class I took the implementation of the Steenrod algebra as my starting point. Maybe having a better understanding of the categorical framework, etc. will help me out with my DifferentialForms too. All the best, Joris On 5 okt, 14:41, Niles <[email protected]> wrote: > Hello all, > > I'm interested in implementing some computational algebraic topology > using Hopf algebroids. As a warm-up, I thought I would see what > functionality exists in Sage for coalgebras, comodules, Hopf algebras, > etc. What currently exists seems to be placeholder categories (e.g. > [1], [2]), and some implementation for group algebras (see [3]). I've > read through the Category Theory Primer (Draft) [4] and the Categories > Tutorial (Draft) [5], but none of this leaves me with a good sense of > how to proceed. It's clear that someone has a vision of how new > functionality (like computations with Hopf algebroids) should be added > to Sage, but it's not clear to me what that vision is (beyond step > one, which seems to be "make a placeholder category for it"). > > If I just want to extend Sage's capabilities for, say, Hopf algebras > (build some new classes for Hopf algebras other than group algebras, > and add some new generic functionality), what would be the right place > to start? Or the right example to follow? Or is there another source > I should be looking at? Whatever answer you give me, does the same > answer hold for comodules over coalgebras, and the like? > > thanks, > Niles > > p.s. Just before sending this, I remembered that I should also look > in existing open-source software for an implementation of these things > which I could import into Sage; I'll do that, but if you already know > of one, maybe you could let me know :) > > [1]:http://www.sagemath.org/doc/reference/sage/categories/coalgebras.html > [2]:http://www.sagemath.org/doc/reference/sage/categories/hopf_algebras_w... > [3]:http://trac.sagemath.org/sage_trac/ticket/8589 > [4]:http://www.sagemath.org/doc/reference/sage/categories/primer.html > [5]:http://www.sagemath.org/doc/reference/sage/categories/tutorial.html -- 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
