Computing spectral sequences (Q2457386): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Julio Jesús Rubio García / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jonathan P. E. Hodgson / rank | |||
Normal rank |
Revision as of 19:35, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computing spectral sequences |
scientific article |
Statements
Computing spectral sequences (English)
0 references
23 October 2007
0 references
As a computational tool spectral sequences suffer from the fact that although one can compute the chain groups of the \(E^{r}\) term from the \(E^{r-1}\) terms and \(d_{r-1}\), the determination of the differential \(d_{r}\) requires additional insight. This paper uses examples to explain how the notion of an ``object with effective homology'' allows one to determine algorithmically not only the \(E^{r}\) terms of a spectral sequence but also the differentials. The paper concentrates on descriptions of illustrative examples that use the Kenzo system -- a homological algebra computation system written in LISP -- to compute examples of the Serre and Eilenberg-Moore spectral sequences.
0 references
Symbolic computation
0 references
spectral sequence
0 references
effective homology
0 references
common LISP
0 references