next | previous | forward | backward | up | top | index | toc | packages | Macaulay2 website
SpectralSequences :: PageMap

PageMap -- the type of all page maps

Description

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.

i1 : B = QQ[a..d];
i2 : J = ideal vars B;

o2 : Ideal of B
i3 : C = complete res monomialCurveIdeal(B,{1,3,4});
i4 : K = filteredComplex(J,C,4);

We compute an example of a pruning map below.

i5 : E = prune spectralSequence K;
i6 : pruningMaps E^2

--error or time limit reached in conversion of output to net: type 'debugError()' to run it again; will try conversion to string

o6 = PageMap{...31...}

o6 : PageMap

See also

Types of page map :

Methods that use a page map :

For the programmer

The object PageMap is a type, with ancestor classes MutableHashTable < HashTable < Thing.