BISTELLAR

The GAP program BISTELLAR is a heuristics to: 1. recognize combinatorial d-spheres; and thus can be used to test whether a pure simplicial complex is a combinatorial manifold; 2. obtain small or even minimal triangulations of simplicial manifolds by reducing the number of vertices of a given triangulation; 3. determine the homeomorphism type of a simplicial manifold