#6750: [with spkg, needs review] New version of optional Group Cohomology spkg
-------------------------------+--------------------------------------------
Reporter: SimonKing | Owner: SimonKing
Type: enhancement | Status: assigned
Priority: major | Milestone:
Component: optional packages | Keywords: cohomology ring p-group
Reviewer: | Author: Simon King
Merged: |
-------------------------------+--------------------------------------------
Comment(by SimonKing):
Here is a comment of Mikael:
Replying to [comment:40 SimonKing]:
> I just had a chat with Mikael, and if I understood him correctly then
the results of the current package version on the cohomology of C_4 times
C_4 are what he expected.
>
> Mikael, please correct me if the following contains too much nonsense.
[...]
> Usually, the Massey products behave multiplicatively in the first and
last position:
> ...
Mikael answered[[BR]]
"""[[BR]]
I would hesitate to say _usually_ without an actual argument backing
it up. In what I have observed when computing on A-infinity
structures, this seems very often to be the case.[[BR]]
"""
I misunderstood that there is a theorem for it.
Anyway, here apparently it is the case.
Cheers,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6750#comment:41>
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
-~----------~----~----~----~------~----~------~--~---
