A computer algebra system for the study of commutativity up to coherent homotopies

A. M. Medina-Mardones

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. 

Advanced Studies: Euro-Tbilisi Mathematical Journal, Vol. 14(4) (2021), pp. 147-157