Eschenburg calculator

This is a pre-release of the code that accompanies the first arxived version of our paper Open manifolds with non-homeomorphic positively curved souls. The following classifications of positively curved Eschenburg spaces are implemented:

– classification up to homotopy equivalence

– classification up to tangential homotopy equivalence

– classification up to homeomorphism

The implementation relies on the classification results of Kruggel using Kreck-Stolz invariants.