A page map is a collection of homomorphisms which are indexed by lists of integers. This is a parent class for the type SpectralSequencePageMap. The output of the method pruningMaps(SpectralSequencePage) is an example of a Page which is not a SpectralSequencePage.
As a specific example consider the filtered complex $K$ below, obtained by multiplying the minimal free resolution of the rational quartic space curve by successive powers of the irrelevant ideal.
|
|
|
|
We compute an example of a pruning map below.
|
|
The object PageMap is a type, with ancestor classes MutableHashTable < HashTable < Thing.