#13295: p_group_cohomology 2.1.3
----------------------------------------------------------------+-----------
Reporter: SimonKing |
Owner:
Type: defect |
Status: needs_work
Priority: major |
Milestone: sage-5.4
Component: optional packages |
Resolution:
Keywords: group cohomology | Work
issues: Fix tests
Report Upstream: None of the above - read trac for reasoning. |
Reviewers:
Authors: Simon King | Merged
in:
Dependencies: database_gap-4.4.12.p1, #13123 |
Stopgaps:
----------------------------------------------------------------+-----------
Changes (by SimonKing):
* owner: tbd =>
Comment:
Indeed it seems to be some kind of corruption in my home directory. After
removing `~/.sage/pGroupCohomology` and re-installation of the package,
I'm left with two copies of a single error:
{{{
pGroupCohomology:
File
"/Users/SimonKing/.sage/temp/bsd.math.washington.edu/77179/dir_0/file_0.py"
, line 941:
sage: (I*I).NF('std(0)').interred() #long time
Expected:
a_4_8*a_6_8*a_1_0^3*a_1_3
Got:
a_4_8*a_6_8*a_1_0^3*a_1_3,
a_4_8*a_6_8*c_8_16*a_1_0^3*a_1_3
**********************************************************************
pGroupCohomology.cohomology.COHO.essential_ideal:
File
"/Users/SimonKing/.sage/temp/bsd.math.washington.edu/77179/dir_0/file_67.py",
line 140:
sage: (I*I).NF('std(0)').interred() #long time
Expected:
a_4_8*a_6_8*a_1_0^3*a_1_3
Got:
a_4_8*a_6_8*a_1_0^3*a_1_3,
a_4_8*a_6_8*c_8_16*a_1_0^3*a_1_3
}}}
Isn't that actually a Singular bug? After all, I do interreduction, and
`a_4_8*a_6_8*c_8_16*a_1_0^3*a_1_3` is clearly reducible by
`a_4_8*a_6_8*a_1_0^3*a_1_3`.
Provided that it is an upstream bug, what shall we do? The point of that
test is that the square of the essential ideal is generated by a single
non-zero element.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13295#comment:16>
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.
