Topological Software
to compute homology:
to compute fundamental groups:
- FundamentalGroup (Version Nov/2003):
GAP routine by Frank H. Lutz
to compute a "small" presentation of the fundamental group
of a finite simplicial complex.
to compute cohomology/intersection form:
- application TOPAZ (TOPology Application Zoo) of
the polymake system:
software package by Ewgenij Gawrilow and
Michael Joswig et al.
to enumerate triangulations of surfaces and 3-manifolds:
other GAP programs by Frank H. Lutz:
- BISTELLAR (Version Nov/2003):
heuristics to reduce the size of a given triangulated manifold;
it can be used to recognize combinatorial d-spheres and therefore
to test whether a pure simplicial complex is a combinatorial manifold;
- BISTELLAR_EQUIVALENT (Version Feb/1999);
- MANIFOLD_VT (Version Apr/2002);
- SEIFERT (Version Nov/2003):
produces triangulations of all Seifert manifolds.
- DiscreteMorse (Version May/2015):
searches for discrete Morse vectors with few critical cells.
for visualization:
Last modified: Tue May 12 23:16:09 CEST 2015