#6491: [with spkg, needs review] Modular Cohomology Rings of Finite p-Groups
-------------------------------+--------------------------------------------
Reporter: SimonKing | Owner: SimonKing
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-4.1.1
Component: optional packages | Keywords: cohomology ring finite p-group
Reviewer: | Author: Simon King
Merged: |
-------------------------------+--------------------------------------------
Comment(by SimonKing):
I created a new version 1.0.1 of our package. You can install and test it
by
{{{
sage -i
http://sage.math.washington.edu/home/SimonKing/Cohomology/p_group_cohomology-1.0.1
}}}
I did not open a new ticket for the new package version, since the changes
mainly concern the points that were discussed here: Licenc/se...
- The (modified) MeatAxe version in our package is now GPL2+. Many thanks
to Michael Ringe for making this happen!
- As I point out in the file SPKG.txt (that you find after opening the
package with "tar -xj"), the licence of the package is GPL2+, while the
data base and the documentation are CC By-SA.
- The licence is also stated in the package's documentation, namely at
http://sage.math.washington.edu/home/SimonKing/Cohomology/#licence
- When the package gets installed, a file LICENCE is copied into the
folder containing the data base (SAGE_ROOT/local/pGroupCohomology/db/),
and a similar file is also at
http://sage.math.washington.edu/home/SimonKing/Cohomology/db/
Now you certainly think I am paranoid.
Apart from that, I did the following changes:
- There is a new method for cochains, returning the right multiplication
by that cochain as a map of cohomology rings. So, this is a map that is
not of degree zero and couldn't be dealt with before. There are new doc
tests for composition of those maps.
- The test suite "spkg-check" (in the standard location, i.e. after
opening the package with "tar -xj") now does the tests one at a time, so
that Singular will not be overworked. The new test suite "spkg-check-
quickly" is quicker, but may result in the Singular errors that David
found on some machines. Both test suites have to be executed in a Sage
shell.
- The Massey products are not included yet, I need a lot more time for
them.
I ask the reviewer(s) to do the following:
- Install the new package version, including platforms such as OS X (I am
really happy and surprised that it worked with the first version!!)
- Run the test suite(s)
- Do some reading in the documentation
http://sage.math.washington.edu/home/SimonKing/Cohomology/ and see if you
find it useful
Should a positive review result: Must I start a voting on sage-devel
before it can become an optional package?
Best regards
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6491#comment:31>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
