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.

Beta 7 (Milgram's homotopy classification)

This is a first (and experimental) release. The following classifications of positively curved Eschenburg spaces are supported:
– classification up to homotopy equivalence
– classification up to tangential homotopy equivalence
– classification up homeomorphism
The classification up to homotopy equivalence relies on the polynomial homotopy invariants developed by Milgram. The Kreck-Stolz invariants are used only for the homeomorphism classification.