Changes between Version 85 and Version 89 of Ticket #18514


Ignore:
Timestamp:
10/05/15 11:28:18 (4 years ago)
Author:
SimonKing
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18514 – Description

    v85 v89  
    1 '''OUTDATED:'''
    2 
    3 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.
     1The 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.
    42
    53Hence, 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.
    64
    7 The new spkg is at http://users.minet.uni-jena.de/cohomology/p_group_cohomology-2.1.5.spkg
     5There 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.
     6
     7The new package shall be modularised as follows.
     8
     9- First, install meataxe (see #12103).
     10- Second, get the branch from here.
     11- Third, get the sources for modular_resolution-1.0. It is based on code of David Green, which I refactored rather extensively:
     12  * 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.
     13  * It propagates errors (at least to some extent). The original version would just crash if a file was missing.
     14  * It is autotoolized.
     15
     16I 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).
     17
     18The 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.
     19
     20And 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.