• 那些涉及到学工作和学习管位于3D空间,类似于Eucliedean空间的本地能需要的软件解决方案,用于检查这样的项目。 活泼的是开发的应用程序,以便向用户提供一种方式容易地载荷为3-管、预览它们的结构,并研究它们的相应的拓扑结构和几何形状。

    该应用程序是围绕着一个Python接口,代表了主要的相互作用成分使用的人在处理该应用程序。 定义德恩-填充物可以规定每个边界的部件,因此允许一个创说明为关闭3-管和orbifolds的。

    活泼的支持纺正常的表面吧-Natan是超级快纠结为基础的算法计算的亚历山大多项式和塞弗特基质的计算。 一个将能够检查管在主要收看的地区,也作为文本输入,用于创建形。

    结合一个链接编辑和3D图像用于尖端的邻居和狄利克雷域的应用程序允许用户查看的尖horoballs和执行管普查。 他们将能够访问的歧浏览器窗口,便于管检查,分歧沿面的不负拉特点或概括托勒密阻碍。

    严格的核查双曲的结构也是可用的,结合有圣人的特定功能,可以很容易地访问方法的形。 人们将能够转换为从SageMath链接和辫子的实用工具,也允许他们进行快速的核查的非四面体的规范的细胞分解的。

  • हैं, जो उन लोगों में शामिल गणितीय कार्य और अध्ययन manifolds स्थित है 3 डी अंतरिक्ष में जैसा दिखता है कि Eucliedean अंतरिक्ष स्थानीय स्तर पर की आवश्यकता सकता है एक सॉफ्टवेयर समाधान के लिए इस तरह के निरीक्षण आइटम नहीं है. तेज़ है कि एक आवेदन विकसित किया गया था, क्रम में करने के लिए उपयोगकर्ताओं को प्रदान करने के लिए एक रास्ता आसानी से लोड 3 manifolds, पूर्वावलोकन उनकी संरचना और अध्ययन उनके इसी टोपोलॉजी और ज्यामिति.

    आवेदन के आसपास केंद्रित है एक अजगर इंटरफ़ेस का प्रतिनिधित्व करता है कि मुख्य बातचीत घटक लोगों द्वारा प्रयोग किया जाता के साथ काम कर जब आवेदन है । कस्टम Dehn-fillings निर्दिष्ट किया जा सकता है प्रत्येक के लिए सीमा घटकों, इसलिए बनाने के लिए अनुमति देता विवरण के लिए बंद कर दिया 3 manifolds और orbifolds.

    तेज़ का समर्थन करता है घूमती सामान्य सतहों, बार-Natan के सुपर तेजी से उलझन-आधारित एल्गोरिथ्म कंप्यूटिंग के लिए अलेक्जेंडर बहुपद और Seifert मैट्रिक्स संगणना. में सक्षम हो जाएगा का निरीक्षण करने के लिए manifolds में मुख्य देखने के क्षेत्र है, जो भी कार्य करता है के रूप में पाठ इनपुट के लिए बनाने के manifolds.

    संयोजन एक लिंक संपादक और 3 डी ग्राफिक्स के मुहाने पड़ोस और Dirichlet डोमेन, आवेदन के उपयोगकर्ताओं की अनुमति देता है के लिए देखने के मुहाने horoballs और प्रदर्शन कई गुना जनगणना है । वे में सक्षम हो जाएगा का उपयोग करने के लिए एक कई गुना ब्राउज़र विंडो के लिए आसान कई गुना निरीक्षण, विभाजन manifolds के साथ सतहों के गैर-नकारात्मक Euler विशेषताओं या सामान्यीकरण Ptolemy अवरोधों.

    कठोर सत्यापन के hyperbolic संरचनाओं भी उपलब्ध है, के साथ संयुक्त ऋषि-विशिष्ट कार्यों के लिए है कि आसानी से पहुँचा जा सकता के रूप में तरीकों की Manifolds. लोगों में सक्षम हो जाएगा करने के लिए कन्वर्ट करने के लिए / से SageMath लिंक और braids और उपयोगिता, यह भी की अनुमति देता है और उन्हें प्रदर्शन करने के लिए त्वरित सत्यापन के गैर-tetrahedral विहित सेल decompositions.

  • Those who are involved into mathematical work and study manifolds located into 3D space that resembles Eucliedean space locally could require a software solution for inspecting such items. SnapPy is an application that was developed in order to provide users a way to easily load 3-manifolds, preview their structure and study their corresponding topology and geometry.

    The application is centered around a Python interface that represents the main interaction component used by people when dealing with the application. Custom Dehn-fillings can be specified for each boundary components, therefore allowing one to create descriptions for closed 3-manifolds and orbifolds.

    SnapPy supports spun normal surfaces, Bar-Natan’s super fast tangle-based algorithm for computing the Alexander polynomial and Seifert matrix computations. One will be able to inspect the manifolds in the main viewing area, which also serves as the text input for creating manifolds.

    Combining a link editor and 3D graphics for cusp neighborhoods and Dirichlet domains, the application allows users to view cusp horoballs and perform manifold censuses. They will be able to access a manifold browser window for easy manifold inspection, split manifolds along surfaces of non-negative Euler characteristics or generalize Ptolemy obstructions.

    Rigorous verification of hyperbolic structures is also available, combined with sage-specific functions that can be easily accessed as methods of Manifolds. People will be able to convert to / from SageMath links and braids and the utility also allows them to perform quick verifications of non-tetrahedral canonical cell decompositions.