Erratum to “Integrating functional programming and symbolic computation”: Math. Comp. Simul. 42 (1996) 467–473

Functional programming and symbolic computation provide software for explicit calculations in algebraic topology. We present here one such application to the design of algorithms for computations in the homology of a central extension of groups.