Perhaps it will be of use if I add here what "PL ball complex" means, just a quotation from Nikolai Mnev's paper arXiv:math/0609257v3 :
A PL-ball complex is a pair (X, U), where X is a compact Euclidean polyhedron and U is a covering of X by closed PL-balls such that the following axioms are...
Dear all,
Recently, some young people and I started a project that may be called "Piecewise-linear ball complexes: calculations with GAP". As to me, my direct aim is to make calculations in some TQFT's (topological quantum field theories) naturally defined on PL ball complexes of any...