sweeneyde

"""
Monoid Homology Calculator
written by Dennis Sweeney

Given a monoid M, we can produce a topological space (cw complex) BM,
whose n-cells are n-tuples of non-identity elements of M.
This program computes the integral homology of the space BM.

The problem of deciding whether two words are equal is not computable,
so we restrict to nice classes of monoid presentations. In particular,