Abstract | ||
---|---|---|
In this paper, we present a new module for the Kenzo system which makes it possible to compute the effective homotopy of the total space of a fibration, using the well-known long exact sequence of homotopy of a fibration defined by Jean-Pierre Serre. The programs are written in Common Lisp and require the implementation of new classes and functions corresponding to the definitions of setoid group (SG) and effective setoid group (ESG). Moreover, we have included a new module for working with finitely generated abelian groups, choosing the representation of a free presentation by means of a matrix in canonical form. These tools are then used to implement the long exact homotopy sequence of a fibration. We illustrate with examples some applications of our results. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1016/j.jsc.2018.08.001 | Journal of Symbolic Computation |
Keywords | Field | DocType |
Constructive algebraic topology,Effective homotopy,Fibrations,Homotopy groups,Serre exact sequence,Finitely generated groups,Central extensions,Setoid groups,Effective setoid groups | Exact sequence,Common Lisp,Setoid,Discrete mathematics,Abelian group,Matrix (mathematics),Pure mathematics,Canonical form,Homotopy,Fibration,Mathematics | Journal |
Volume | ISSN | Citations |
94 | 0747-7171 | 0 |
PageRank | References | Authors |
0.34 | 4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ana Romero | 1 | 8 | 3.76 |
J. Rubio | 2 | 202 | 31.12 |
Francis Sergeraert | 3 | 52 | 10.39 |