Cataloguing PL 4-Manifolds by Gem-Complexity

[摘要] We describe an algorithm to subdivide automatically a given set of PL $n$-manifolds (via coloured triangulations or, equivalently, via crystallizations) into classes whose elements are PL-homeomorphic. The algorithm, implemented in the case n=4, succeeds

[学科分类] 离散数学和组合数学

[关键词] 4-Manifold;Crystallization;Coloured triangulation;Combinatorial move;Gem-complexity