We show how the classical notions of cohomology with local coefficients, CW-complex, covering space, homeomorphism equivalence, simple homotopy tubular neighbourhood, and spinning can be encoded on a computer used to calculate ambient isotopy invariants continuous embeddings N ↪ M one topological manifold into another. More specifically, we describe an algorithm for computing homology H n ( X ,...