id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
18514 Upgrade of group cohomology spkg SimonKing "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) and database_gap.
- 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.
" defect needs_work major sage-6.8 packages: optional group cohomology jhpalmiery vbraun jdemeyer schilly frederichan david.green@… Simon King None of the above - read trac for reasoning. Create a new-style package with least effort u/SimonKing/upgrade_of_group_cohomology_spkg ad6cea059d383bbb0a97c8430caca125d2ca78b7 #18494