Beta 8

This is a pre-release of the code that will accompany 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.