Hi Nicolas, On 4 Mrz., 23:16, "Nicolas M. Thiery" <nicolas.thi...@u-psud.fr> wrote: > On Wed, Mar 04, 2009 at 01:59:59PM -0800, Georg S. Weber wrote: > > do I understand you correctly that something like ZZ[G] is already in > > Sage today? For an infinite group G, say PSL_2(Z), or some congruence > > subgroup? > > GroupAlgebra? > > I haven't tried it with infinite groups myself though. >
yep, found it (I just didn't look for the obvious ;-( ), and it does work for infinite groups. Trés chic. Thanks for the tip! Unfortunately, computing with cohomology does seem to be implemented for finite groups only ... yet ... Cheers, gsw > Cheers, > Nicolas > > <advertisement> > With the upcoming category framework, it is now trivial to further > endow ZZ[G] with it's Hopf algebra structure. > </advertisement> > > -- > Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>http://Nicolas.Thiery.name/ --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
