Simplicial blowups and discrete normal surfaces in simpcomp

TL;DR

The paper introduces new features in simpcomp, a GAP extension, including simplicial blowups and discrete normal surfaces, along with new triangulation functions and improved software interfaces.

Contribution

It adds unique functionalities for simplicial blowups and discrete normal surfaces to simpcomp, enhancing its capabilities in computational discrete algebra.

Findings

Implementation of simplicial blowups and discrete normal surfaces in simpcomp.

New functions for constructing infinite triangulation series.

Enhanced interfaces to other software packages.

Abstract

simpcomp is an extension to GAP, the well known system for computational discrete algebra. It allows the user to work with simplicial complexes. In the latest version, support for simplicial blowups and discrete normal surfaces was added, both features unique to simpcomp. Furthermore, new functions for constructing certain infinite series of triangulations have been implemented and interfaces to other software packages have been improved to previous versions.