#18514: Upgrade of group cohomology spkg
-------------------------------------+-------------------------------------
       Reporter:  SimonKing          |        Owner:
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.8
      Component:  packages:          |   Resolution:
  optional                           |    Merged in:
       Keywords:  group cohomology   |    Reviewers:
        Authors:  Simon King         |  Work issues:  Create a new-style
Report Upstream:  None of the above  |  package with least effort
  - read trac for reasoning.         |       Commit:
         Branch:                     |     Stopgaps:
   Dependencies:  #18494             |
-------------------------------------+-------------------------------------

Comment (by SimonKing):

 Replying to [comment:61 SimonKing]:
 > Replying to [comment:59 jdemeyer]:
 > > Use whatever name that upstream uses. If you're free to choose that, I
 prefer `modular_resolutions`.

 I got answer of David Green.
 - He agrees that, by porting the code on top of the new meataxe, I became
 a co-author.
 - He coined his package "present", because the original purpose was to
 deal with presentations of modular group algebras of prime power groups.
 - If I understand correctly, he wouldn't mind renaming it.

 I believe that the main purpose of the code is not to compute a
 presentation of a modular group algebra, but to compute a minimal
 projective resolution of the modular group algebra. At least that's what I
 am using it for.

 Since the old package is called p_group_cohomology and the cohomology part
 will be moved to the Sage library, the package's responsibility will be to
 compute resolutions. Perhaps (to remind the old name) p_resolution? I find
 modular_resolution too long, Jeroen finds modres too abbreviated (I
 guess).

--
Ticket URL: <http://trac.sagemath.org/ticket/18514#comment:65>
Sage <http://www.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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to