Spectral sequences, although notoriously technical, are very useful in applications---especially when they degenerate quickly. By contrast, little is known about their general structure when they fail to degenerate quickly. Even in cases when the terms in the spectral sequences are well understood, the maps remain mysterious. One of the motivations behind this package is to shed light on spectral sequences through examples. Its purpose is to allow for effective calculations of particular kinds of spectral sequences. As one general situation, which illustrates some capabilities of this package, let k be a computable field, S a k-algebra of finite type, C a bounded chain complex of finitely generated S-modules, and FC a bounded ascending filtration of C. This package is capable of computing, under these assumptions, the spectral sequence---especially the differentials on each page---determined by FC. ## Constructors used in this package

## Other examples which illustrate this package

## More easy topological examples

- How to make filtered complexes from chain complex maps
- Filtrations and tensor product complexes
- Filtrations and homomorphism complexes
- Filtered complexes and simplicial complexes
- I-adic filtrations of chain complexes and their spectral sequences

- Computing the Serre Spectral Sequence associated to a Hopf Fibration
- Balancing Tor
- Spectral sequences and hypercohomology calculations
- Spectral sequences and connecting morphisms
- Spectral sequences and non-Koszul syzygies
- A spectral sequence which fails to degenerate quickly
- Seeing Cancellations
- Edge homomorphisms
- Examples of change of rings Spectral Sequences

- Types
- FilteredComplex -- the type of all filtered complexes
- Page -- the type of all pages
- PageMap -- the type of all page maps
- SpectralSequence -- the type of all spectral sequences
- SpectralSequencePage -- the type of all spectral sequence pages
- SpectralSequencePageMap -- the type of all spectral sequence page maps

- Functions and commands
- associatedGradedHomologyObject -- compute the associated graded homology object
- connectingMorphism -- use spectral sequences to compute connecting morphisms
- edgeComplex -- the edge homomorphisms
- filteredComplex -- make a filtered complex
- filteredHomologyObject -- compute the filtered homology object
- homologyIsomorphism -- compute the homology isomorphism
- netPage -- display a small portion of a given Spectral Sequence page
- page
- pruningMaps -- compute the pruning maps on a spectral sequence page
- spectralSequence -- construct a spectral sequence
- spectralSequencePage -- construct a spectral sequence page from a filtered complex
- spectralSequencePageMap -- compute the maps on a spectral sequence page
- spots -- which spots does the given page has a module.

- Methods
- associatedGradedHomologyObject(ZZ,ZZ,FilteredComplex), see associatedGradedHomologyObject -- compute the associated graded homology object
- basis(List,SpectralSequencePage) -- generators of a particular degree
- basis(ZZ,SpectralSequencePage), see basis(List,SpectralSequencePage) -- generators of a particular degree
- ChainComplex ** FilteredComplex -- filtered tensor product of complexes
- FilteredComplex ** ChainComplex, see ChainComplex ** FilteredComplex -- filtered tensor product of complexes
- chainComplex(FilteredComplex) -- the ambient chain complex of a filtered complex
- chainComplex(SpectralSequence) -- the underlying chain complex of a Spectral Sequence
- degree(Page)
- describe(Page) -- real description
- describe(PageMap) -- real description
- describe(SpectralSequence) -- real description
- describe(SpectralSequencePage) -- real description
- describe(SpectralSequencePageMap) -- real description
- edgeComplex(SpectralSequence), see edgeComplex -- the edge homomorphisms
- expression(SpectralSequence)
- FilteredComplex ^ InfiniteNumber, see FilteredComplex ^ ZZ -- the filtered pieces
- FilteredComplex ^ ZZ -- the filtered pieces
- FilteredComplex _ InfiniteNumber, see FilteredComplex _ ZZ -- the filtered pieces
- FilteredComplex _ ZZ -- the filtered pieces
- filteredComplex(SpectralSequence) -- obtain the filtered complex associated to the spectral sequence
- filteredHomologyObject(ZZ,ZZ,FilteredComplex) -- compute the filtered homology object
- hilbertPolynomial(SpectralSequencePage) -- the Hilbert polynomial of a spectral sequence page
- Hom(ChainComplex,FilteredComplex), see Hom(FilteredComplex,ChainComplex) -- the filtered Hom complex
- Hom(FilteredComplex,ChainComplex) -- the filtered Hom complex
- homologyIsomorphism(SpectralSequence,ZZ,ZZ,ZZ) -- the homology isomorphism
- inducedMap(FilteredComplex,ZZ) -- the i th inclusion map in a filtered complex
- max(FilteredComplex) -- maximum spot where the given filtered complex has a module.
- min(FilteredComplex) -- minimum spot where the given filtered complex has a module.
- minimalPresentation(SpectralSequence) -- a minimal presentation of a spectral sequence
- prune(SpectralSequence), see minimalPresentation(SpectralSequence) -- a minimal presentation of a spectral sequence
- minimalPresentation(SpectralSequencePage) -- a minimal presentation of a spectral sequence page
- prune(SpectralSequencePage), see minimalPresentation(SpectralSequencePage) -- a minimal presentation of a spectral sequence page
- net(FilteredComplex)
- net(Page)
- net(PageMap)
- net(SpectralSequence)
- net(SpectralSequencePage)
- netPage(Page,List,List), see netPage -- display a small portion of a given Spectral Sequence page
- page(List,List,Page), see page
- Page _ List
- page(SpectralSequencePage)
- PageMap _ List
- pruningMaps(SpectralSequencePage) -- compute the pruning maps on a spectral sequence page
- ring(Page)
- SpectralSequence ^ InfiniteNumber -- the infinity page of a spectral sequence
- SpectralSequence _ InfiniteNumber, see SpectralSequence ^ InfiniteNumber -- the infinity page of a spectral sequence
- SpectralSequence ^ ZZ -- the kth page of a spectral sequence
- SpectralSequence _ ZZ -- the kth page of a spectral sequence
- spectralSequence(FilteredComplex) -- construct a spectral sequence from a filtered complex
- SpectralSequencePage ^ List -- the module in the i,j position on the page
- SpectralSequencePage _ List -- the module in the i,j position on the page
- spectralSequencePage(FilteredComplex,ZZ) -- construct a spectral sequence page from a filtered complex
- spectralSequencePageMap(FilteredComplex,ZZ), see spectralSequencePageMap -- compute the maps on a spectral sequence page
- SpectralSequencePageMap ^ List -- the p,q th map on of a spectral sequence page
- SpectralSequencePageMap _ List -- The p,q th map on of a spectral sequence page
- spots(Page), see spots -- which spots does the given page has a module.
- spots(FilteredComplex) -- which spots does the given filtered complex has a module.
- spots(PageMap)
- support(FilteredComplex)
- support(Page) -- which non-zero modules appear in the given page.
- support(PageMap)
- support(SpectralSequencePage)

- Symbols
- pageMap
- ReducedHomology -- name for an optional argument
- Shift -- name for an optional argument
- sourcePruningMap
- targetPruningMap