#18514: Upgrade of group cohomology spkg
-------------------------------------+-------------------------------------
Reporter: SimonKing | Owner:
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.8
Component: packages: | Resolution:
optional | Merged in:
Keywords: group cohomology | Reviewers:
Authors: Simon King | Work issues: Create a new-style
Report Upstream: None of the above | package with least effort
- read trac for reasoning. | Commit:
Branch: | ad6cea059d383bbb0a97c8430caca125d2ca78b7
u/SimonKing/upgrade_of_group_cohomology_spkg| Stopgaps:
Dependencies: #18494 |
-------------------------------------+-------------------------------------
Description changed by SimonKing:
Old description:
> '''OUTDATED:'''
>
> The current "official" version of `p_group_cohomology` is 2.1.4. However,
> due to recent backward incompatible changes in Sage, the package would
> not install, respectively it would install if some header were present
> but wouldn't work.
>
> Hence, an upgrade is needed. While I was at it, I have also improved the
> computation of Poincaré series, depth and filter degree type (the latter
> now uses a Hilbert-driven computation of Gröbner bases in elimination
> order, which works since in that setting the Hilbert function is easily
> available), and I added new functionality related with nilpotency.
>
> The new spkg is at http://users.minet.uni-
> jena.de/cohomology/p_group_cohomology-2.1.5.spkg
New description:
The current "official" version of `p_group_cohomology` is 2.1.4. However,
due to recent backward incompatible changes in Sage, the package would not
install, respectively it would install if some header were present but
wouldn't work. Note that such backward incompatible changes happened
repeatedly.
Hence, an upgrade is needed. While I was at it, I have also improved the
computation of Poincaré series, depth and filter degree type (the latter
now uses a Hilbert-driven computation of Gröbner bases in elimination
order, which works since in that setting the Hilbert function is easily
available), and I added new functionality related with nilpotency.
There is an old-style spkg at http://users.minet.uni-
jena.de/cohomology/p_group_cohomology-2.1.5.spkg that users can install if
they want to do cohomology calculations *now*. However, I suggest to a
version 3.0 of the package, which shall be a new-style package.
The new package shall be modularised as follows.
- First, install meataxe (see #12103).
- Second, get the branch from here.
- Third, get the sources for modular_resolution-1.0. It is based on code
of David Green, which I refactored rather extensively:
* It now uses the optional meataxe-2.4.24 package, rather than
meataxe-2.2.4 whose sources used to be part of the old spkg.
* It propagates errors (at least to some extent). The original version
would just crash if a file was missing.
* It is autotoolized.
I am upstream, and you find the tarball at http://users.minet.uni-
jena.de/cohomology/ (To be precise: http://users.minet.uni-
jena.de/cohomology/modular_resolution-1.0.tar.bz2).
The next step will be to relocate all the Cython and Python source files
from the old package into the !SageMath library, say,
sage.groups.modular_cohomology.
And the final step will be to fix the doctests somehow. I think there
should be a way to declare that the tests of all files in
sage.group.modular_cohomology are optional.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18514#comment:89>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
