里贾纳

基于Regina的计算拓扑：算法，启发式和实现。Regina是一个研究3流形三角剖分和法向曲面的软件包。它包括一个图形用户界面和Python绑定，还支持角度结构、普查计数、三角剖分的组合识别，以及3球识别、未知识别和连通和分解等高级功能。本文介绍了3流形拓扑学家对Regina的最新研究成果，并首次在文献中记录了对Regina性能至关重要的一些关键算法、启发式和实现。其中包括至关重要的简化启发法、数据结构和算法的关键选择，以缓解法向曲面枚举中的瓶颈，3球识别和连通和分解的现代实现，等等。我们还介绍了该项目的一些历史背景，包括Rubinstein在15年前的创立过程中所起的关键作用，并讨论了未来发展的当前方向。