A computer algebra system for the study of commutativity up to coherent homotopies
Anibal M. Medina-Mardones
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.
Topics & Concepts
Commutative propertyAlgebra over a fieldMathematicsSubalgebraSurjective functionPython (programming language)CohomologyAlgebraic structurePure mathematicsComputer scienceProgramming languageHomotopy and Cohomology in Algebraic TopologyAlgebraic structures and combinatorial modelsBlack Holes and Theoretical Physics