On Wed, Jul 8, 2009 at 6:52 PM, Simon King<simon.k...@uni-jena.de> wrote: > > Dear Sage-Devel, > > I'd like to announce our Sage package for the computation of > cohomology rings with coefficients in GF(p) for finite p-groups. > > The trac ticket is at http://trac.sagemath.org/sage_trac/ticket/6491 > and the documentation at > http://sage.math.washington.edu/home/SimonKing/Cohomology/
I added the spkg to experimental right off, so people can just do sage -i p_group_cohomology-1.0 It would be very useful if you could post on the ticket *PRECISELY* what you think a person should do to referee it and sign off on it being officially added to the optional package repo. I.e., 1. Install on the following hardware/OS combos as follows. 2. Run the following commands (and here is what should happen). 3. Look in the spkg and read the following, checking for ...: Whether or not the referee will agree that this is enough testing is up to them. However, it will be tremendously helpful to get them going. > Let me draw your attention to the fact that with this package we were > able to compute the cohomology rings for all groups of order 128 and > for all but six groups of order 243. These data are available on > sage.math, and the package is able to download them. The result for > the groups of order 64 are included in the package. > > Note that these computations for order 128 and 243 seemed to be far > beyond the realm of possibilities. As much as I know, Sage is > currently the only CAS that can do those things (only with the > package, of course....). > > Since it depends on the SmallGroups library being installed, the > package can only be an optional package. Actually I don't know the > inclusion procedure for new packages, but I am sure you will tell > me... > > Cheers, > Simon > > > > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
