#9894: Group cohomology spkg, version 2.1.2
-------------------------------------------------------+--------------------
Reporter: SimonKing | Owner:
Type: enhancement | Status:
needs_info
Priority: major | Milestone:
sage-5.0
Component: optional packages | Resolution:
Keywords: modular group cohomology solaris t2 | Work issues:
Report Upstream: N/A | Reviewers:
Karl-Dieter Crisman, John Palmieri
Authors: Simon King | Merged in:
Dependencies: | Stopgaps:
-------------------------------------------------------+--------------------
Comment (by SimonKing):
Replying to [comment:66 jhpalmieri]:
> I can run the test suite in the next day or two, once you update the
spkg. So it's fine with me if you want to update it. If you do, could you
also post a diff here, so I can see the changes?
I have updated my spkg (old location) and have attache a diff with respect
to the version that you have reviewed earlier.
Here are the changes:
* The `useSlimgb` resp. `useStd` options had been used only in one
location: There were several places where the default 'groebner' method
of Singular would be used, regardless of the options. That has changed in
the last revision.
* The protocol output of some methods (e.g., `dependent_parameters()`)
are now providing protocol output ''before'' a potentially time-consuming
Gröbner basis computation is started. Background: When I computed the
cohomology of `SmallGroup(128,836)` with the previous revision, I thought
that it hangs in the computation of the Gröbner basis of the relation
ideal - but in fact the problem was in `dependent_parameters()`, which has
not been clear from the protocoll output.
* In Symonds' criterion, parameters in degree one won't contribute to the
degree in which the criterion detects completeness. Hence, adding all
degree one generators to a given list of parameters will not change the
degree bound -- but it may make the computation easier, because killing
degree one generators greatly reduces the difficulty of Gröbner basis
computations. Thus my changes in `dependent_parameters`
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9894#comment:67>
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.
