December 2021 A computer algebra system for the study of commutativity up to coherent homotopies
Anibal M. Medina-Mardones
Tbilisi Math. J. 14(4): 147-157 (December 2021). DOI: 10.32513/asetmj/1932200819

Abstract

The Python package ComCH, is a lightweight specialized computer algebra system that provides models for well-known objects, the surjection and Barratt-Eccles operads, parameterizing the product structure of algebras that are commutative in a derived sense. The primary examples of such algebras treated by ComCH, are the cochain complexes of spaces, for which it provides effective constructions of Steenrod cohomology operations at all primes.

Funding Statement

The author acknowledges financial support from Innosuisse grant 32875.1 IP-ICT - 1 and the hospitality of the Laboratory for Topology and Neuroscience at EPFL while part of this work developed.

Version Information

The current pdf replaces the original pdf file, first available on 16 December 2021. The new version corrects the DOI prefix to read 10.32513.

Acknowledgments

Citation

Download Citation

Anibal M. Medina-Mardones. "A computer algebra system for the study of commutativity up to coherent homotopies." Tbilisi Math. J. 14 (4) 147 - 157, December 2021. https://doi.org/10.32513/asetmj/1932200819

Information

Received: 15 February 2021; Accepted: 8 July 2021; Published: December 2021
First available in Project Euclid: 16 December 2021

MathSciNet: MR4425165
zbMATH: 1487.55001
Digital Object Identifier: 10.32513/asetmj/1932200819

Subjects:
Primary: 18M60
Secondary: 18M70 , 55N31 , 55S05

Keywords: cohomology operations , computer algebra system , cubical set , cup product , Homotopical algebra , operads , Python , Simplicial set

Rights: Copyright © 2021 Tbilisi Centre for Mathematical Sciences

JOURNAL ARTICLE
11 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.14 • No. 4 • December 2021
Back to Top