#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 jhpalmieri):
Okay, the 64-bit change looks good; I haven't looked at the "MAKE" vs.
"make" change yet. Builds on both 32- and 64-bit, and spkg-check works
almost completely: with the 64-bit build, all tests pass, and with the
32-bit build, I get
{{{
Testing the components of the package pGroupCohomology...
pGroupCohomology --> Error
}}}
and then everything else passes. The log file says
{{{
sage -t -optional -long "RecDoctest.py"
**********************************************************************
File "/Users/palmieri/.sage/temp/Macintosh.local/90792/RecDoctest.py",
line 399:
sage: H0.massey_products(H0.2,H0.3,H0.2,H0.3)
Expected:
set([c_2_2, a 2-Cochain in H^*(D8; GF(2)),
b_1_0^2+c_2_2, a 2-Cochain in H^*(D8; GF(2)),
b_1_1^2+b_1_0^2+c_2_2, a 2-Cochain in H^*(D8; GF(2)),
b_1_1^2+c_2_2, a 2-Cochain in H^*(D8; GF(2))])
Got:
set([b_1_0^2+c_2_2, a 2-Cochain in H^*(D8; GF(2)), c_2_2, a 2-Cochain
in H^*(D8; GF(2)), b_1_1^2+c_2_2, a 2-Cochain in H^*(D8; GF(2)),
b_1_1^2+b_1_0^2+c_2_2, a 2-Cochain in H^*(D8; GF(2))])
**********************************************************************
File "/Users/palmieri/.sage/temp/Macintosh.local/90792/RecDoctest.py",
line 404:
sage: H0.massey_products(H0.2*H0.1,H0.3*H0.1,H0.2*H0.1) # long time
Expected:
set([c_2_2*b_1_0^6+c_2_2^2*b_1_0^4, a 8-Cochain in H^*(D8; GF(2)),
c_2_2*b_1_0^6, a 8-Cochain in H^*(D8; GF(2)),
c_2_2^3*b_1_0^2, a 8-Cochain in H^*(D8; GF(2)),
c_2_2^2*b_1_0^4+c_2_2^3*b_1_0^2, a 8-Cochain in H^*(D8; GF(2)),
c_2_2*b_1_0^6+c_2_2^2*b_1_0^4+c_2_2^3*b_1_0^2, a 8-Cochain in
H^*(D8; GF(2)),
c_2_2^2*b_1_0^4, a 8-Cochain in H^*(D8; GF(2)),
0, a 8-Cochain in H^*(D8; GF(2)),
c_2_2*b_1_0^6+c_2_2^3*b_1_0^2, a 8-Cochain in H^*(D8; GF(2))])
Got:
set([c_2_2^2*b_1_0^4, a 8-Cochain in H^*(D8; GF(2)),
c_2_2*b_1_0^6+c_2_2^2*b_1_0^4, a 8-Cochain in H^*(D8; GF(2)),
c_2_2*b_1_0^6+c_2_2^2*b_1_0^4+c_2_2^3*b_1_0^2, a 8-Cochain in H^*(D8;
GF(2)), c_2_2^2*b_1_0^4+c_2_2^3*b_1_0^2, a 8-Cochain in H^*(D8; GF(2)), 0,
a 8-Cochain in H^*(D8; GF(2)), c_2_2*b_1_0^6+c_2_2^3*b_1_0^2, a 8-Cochain
in H^*(D8; GF(2)), c_2_2*b_1_0^6, a 8-Cochain in H^*(D8; GF(2)),
c_2_2^3*b_1_0^2, a 8-Cochain in H^*(D8; GF(2))])
}}}
I haven't check carefully, but these look like the same sets, just in
different orders.
By the way, to be really nitpicky, could we change "a 8-cochain" to "an
8-cochain"? (What other numbers need this: 11, 18, 80-89?)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6750#comment:33>
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
-~----------~----~----~----~------~----~------~--~---
