#9894: Group cohomology spkg, version 2.1
----------------------------------------------------------------------------------------+
Reporter: SimonKing
| Owner: tbd
Type: enhancement
| Status: needs_work
Priority: major
| Milestone: sage-4.6
Component: optional packages
| Keywords: modular group cohomology solaris t2
Author: Simon King
| Upstream: N/A
Reviewer:
| Merged:
Work_issues: tests should work independent of the data the user has on his/her
system |
----------------------------------------------------------------------------------------+
Comment(by SimonKing):
Replying to [comment:4 kcrisman]:
> Finally, here is one of the typical failures replicated. I can check
some other stuff (possibly not until rather later, though) if you give
very explicit instructions as to what commands to run.
There are various lists occuring inside {{{find_relations}}}. There is
also some Singular commands used to determine coefficients of lists, so,
the error could be there as well.
Since I can not replicate it on my computer, can you please do/answer the
following?
What version of Sage are you using? What version of Singular is it?
Remove your "private cohomology database" in order to be sure that there
is no debris left. You will probably not mind to do it by {{{rm -r
~/.sage/pGroupCohomology/db/*}}} (or you can move the contents of the
folder to a backup location). The folder itself must be present, though.
Do the following in Sage:
{{{
sage: from pGroupCohomology import CohomologyRing, _cache
sage: G = gap('AlternatingGroup(8)')
sage: H = CohomologyRing(G,prime=2,GroupName='A8')
sage: for X in _cache.values():
....: print X.autosave_name(), X.completed
....:
}}}
This should give something like
{{{
/home/king/.sage/pGroupCohomology/db/H6gp1mod2.sobj True
/home/king/SAGE/sage-4.4.2/data/pGroupCohomology/8gp3/H8gp3.sobj True
/home/king/SAGE/sage-4.4.2/data/pGroupCohomology/32gp49/H32gp49.sobj True
/home/king/.sage/pGroupCohomology/db/H192gp1493mod2.sobj True
/home/king/SAGE/sage-4.4.2/data/pGroupCohomology/32gp27/H32gp27.sobj True
/home/king/SAGE/sage-4.4.2/data/pGroupCohomology/2gp1/H2gp1.sobj True
/home/king/SAGE/sage-4.4.2/data/pGroupCohomology/64gp138/H64gp138.sobj
True
/home/king/.sage/pGroupCohomology/db/HA8mod2.sobj False
/home/king/SAGE/sage-4.4.2/data/pGroupCohomology/16gp14/H16gp14.sobj True
/home/king/SAGE/sage-4.4.2/data/pGroupCohomology/8gp5/H8gp5.sobj True
}}}
These are all cohomology rings that one needs to know in order to compute
{{{H}}}. But since the construction of {{{H}}} fails for you, the list
might be different, and at least the {{{.../HA8mod2.sobj}}} should be
missing.
You see that the cohomology rings of prime power groups are in the public
database {{{SAGE_ROOT/data/...}}}, whereas the non prime power groups are
in your private database {{{~/.sage/...}}}.
Do you get a {{{False}}} after a prime power group in the above list?
According to the traceback you got, I expect that you have a {{{False}}}
after {{{H192gp1493mod2.sobj}}}. Can you please post (or send me by
e-mail) all files from the above list which are followed by {{{False}}}?
Then I can do further debugging with them.
Best regards,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9894#comment:10>
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 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.
