GAP package simpcomp

A GAP toolbox for simplicial complexes

[WWW homepage]

Authors

Felix Effenberger, Jonathan Spreer

Short Description

simpcomp is a GAP package for working with simplicial complexes. It allows the computation of many properties of simplicial complexes (such as the f-, g- and h-vectors, the face lattice, the automorphism group, (co-)homology with explicit basis computation, intersection form, etc.) and provides the user with functions to compute new complexes from old (simplex links and stars, connected sums, cartesian products, handle additions, bistellar flips, etc.). Furthermore, it comes with an extensive library of known triangulations of manifolds and provides the user with the possibility to create own complex libraries.
simpcomp caches computed properties of a simplicial complex, thus avoiding unnecessary computations, internally handles the vertex labeling of the complexes and insures the consistency of a simplicial complex throughout all operations.
simpcomp relies on the GAP package homology for its homology computation, but also provides the user with an own (co-)homology algorithm in case the packacke homology is not available. For automorphism group computation the GAP package GRAPE is used, which in turn uses the program nauty by Brendan McKay. An internal automorphism group calculation algorithm in used as fallback if the GRAPE package is not available.

Version

Current version number 2.1.6   (Released 01/02/2016)

Status

accepted    (communicated by Graham Ellis (Galway), accepted 11/2013)

Dependencies

GAP version: >=4.5
Needed other packages: GAPDoc(>=0.9999), io(>=3.0),
Suggested other packages: Homology(>=1.4.4), GRAPE(>=4.4), Gauss(>=2011.08.22), MatricesForHomalg(>=2011.10.08), homalg(>=2011.10.05), GaussForHomalg(>=2011.08.10), Modules(>=2011.10.05),

Online documentation

simpcomp: [ HTML] version   [ PDF] version  

Download

[README]    simpcomp-2.1.6[.tar.gz  (19MB)]   [.tar.bz2  (11MB)]   [-win.zip  (29MB)]   [.zip  (29MB)]  

Contact

Felix Effenberger
Address:
Max Planck Institute for
Mathematics in the Sciences
Inselstr. 22
WWW: http://personal-homepages.mis.mpg.de/effen/
E-mail: felix.effenberger@mis.mpg.de

Jonathan Spreer
Address:
Computational Geometry and Topology Group
School of Mathematics and Physics
The University of Queensland
WWW: http://www.tacet.de/Jonathan
E-mail: j.spreer@uq.edu.au