AI 中文总结
本文提出两种新算法，分别用于计算双曲3-流形的长度谱和最优Margulis数，无需Dirichlet域，支持区间算术验证，且更快，已集成到SnapPy。
AI 中文摘要
我们提出了一种新算法，用于计算有向、有限体积双曲3-流形$M$的长度谱流。与Hodgson-Weeks现有算法相比，其优势在于我们的算法无需寻找Dirichlet域，因此可以使用区间算术来验证结果。在某些情况下，我们的算法也明显更快。我们还提出了一种新算法来计算$M$的最优Margulis数。作者已将这些算法集成到SnapPy中。
英文摘要
We present a new algorithm to compute a stream for the length spectrum of an oriented, finite-volume hyperbolic 3-manifold $M$. The advantage over the existing algorithm by Hodgson-Weeks is that our algorithm does not require finding a Dirichlet domain and thus can use interval arithmetic to verify the result. Our algorithm is also significantly faster in some cases. We also present a new algorithm to compute the optimal Margulis number of $M$. The authors have made these algorithms available in SnapPy.
Comments53 Pages, 8 Figures, 4 Algorithms
