On Wed, Nov 11, 2015 at 11:37:39AM -0500, Benoit Jacob wrote: > On Wed, Nov 11, 2015 at 11:34 AM, Dima Pasechnik < > dmitrii.pasech...@cs.ox.ac.uk> wrote: > > > On Wed, Nov 11, 2015 at 10:52:29AM -0500, Benoit Jacob wrote: > > > I need to compute cohomology groups of the form > > > > > > H^n(G, A) > > > > > > where G is a finite group and A is a nontrivial G-module. More > > > specifically, A is a finite-dimensional vector space over Z/2Z on which G > > > acts non-trivially. > > > > > > Any example code would be greatly appreciated; I searched for existing > > help > > > and documentation but only found examples dealing with trivial G-modules. > > > > did you look at GAP's packages? E.g. > > http://gap-system.org/Packages/hap.html > > seems to be just what you need. > > > > Thanks for the answer. HAP does seem like just what I need, but, being a > GAP beginner, I need something more pedestrian than the functions reference > documentation I see there. Is there any self-contained example code going > through the steps of defining a G-module, then computing its cohomology?
did you look at http://hamilton.nuigalway.ie/Hap/www/ ? (it's more or less the 1st link on http://gap-system.org/Packages/hap.html) It has a section called Tutorial. HTH, Dima _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
