294:
20:
245:(also explained in Thurston's notes), and then adjusting the shapes of the ideal tetrahedra to give solutions to these equations and the edge equations. For almost all slopes, this gives an incomplete hyperbolic structure on the link complement, whose completion gives a hyperbolic structure on the Dehn-filled manifold. Its volume is the sum of the volumes of the adjusted tetrahedra.
257:
The canonical decomposition allows SnapPea to tell two cusped hyperbolic 3-manifolds apart by turning the problem of recognition into a combinatorial question, i.e. checking if the two manifolds have combinatorially equivalent canonical decompositions. SnapPea is also able to check if two
217:
noted a method for describing the geometric shape of each hyperbolic tetrahedron by a complex number and a set of nonlinear equations of complex variables whose solution would give a complete hyperbolic metric on the 3-manifold. These equations consist of
233:
The local minimality of the triangulation is meant to increase the likelihood that such a solution exists, since heuristically one might expect such a triangulation to be "straightened" without causing degenerations or overlapping of tetrahedra.
253:
SnapPea is usually able to compute the canonical decomposition of a cusped hyperbolic 3-manifold from a given ideal triangulation. If not, then it randomly retriangulates and tries again. This has never been known to fail.
269:
The recognition algorithm allow SnapPea to tell two hyperbolic knots or links apart. Weeks, et al., were also able to compile different censuses of hyperbolic 3-manifolds by using the algorithm to cull lists of duplicates.
73:
extension modules which allow the kernel to be used in a Python program or in the interpreter. They also provide a graphical user interface written in Python which runs under most
419:
394:
565:
570:
163:
source code is extensively commented by
Jeffrey Weeks and contains useful descriptions of the mathematics involved with references.
187:
555:
445:
213:
Once a suitable ideal triangulation is found, SnapPea can try to find a hyperbolic structure. In his
Princeton lecture notes,
241:
on the cusps to obtain more hyperbolic 3-manifolds. SnapPea does this by taking any given slopes which determine certain
70:
51:
522:
560:
81:
510:
145:
89:
149:
160:
43:
238:
351:
179:
191:
47:
105:
550:
117:
141:
153:
129:
113:
125:
101:
85:
237:
From this description of the hyperbolic structure on a link complement, SnapPea can then perform
210:. It then performs a sequence of simplifications to find a locally minimal ideal triangulation.
93:
227:
133:
420:"Adware or APT – SnapPea Downloader - An Android Malware that implements 12 different exploits"
121:
266:
to create cusped hyperbolic 3-manifolds and then using the canonical decomposition as before.
194:. Almost all the other functions of SnapPea rely in some way on one of these decompositions.
345:
214:
74:
55:
470:
207:
183:
66:
24:
328:
SnapPea has several databases of hyperbolic 3-manifolds available for systematic study.
137:
293:
178:
At the core of SnapPea are two main algorithms. The first attempts to find a minimal
19:
544:
109:
39:
35:
230:
to search for solutions. If no solution exists, then this is reported to the user.
203:
395:"Android 'Gooligan' Hackers Just Scored The Biggest Ever Theft Of Google Accounts"
58:. It is not to be confused with the unrelated android malware with the same name.
97:
62:
80:
The following people are credited in SnapPea 2.5.3's list of acknowledgments:
54:, who created the first version as part of his doctoral thesis, supervised by
483:
263:
167:
273:
Additionally, from the canonical decomposition, SnapPea is able to:
381:
Convex hulls and isometries of cusped hyperbolic $ 3$ -manifolds.
516:
69:
and collaborators have extended the SnapPea kernel and written
535:
orbifolds where the orbifold locus contains trivalent vertices
288:
446:"How to Manage Your Android Device from Windows with SnapPea"
262:
hyperbolic 3-manifolds are isometric by drilling out short
304:
202:
SnapPea inputs data in a variety of formats. Given a
532:
hyperbolic manifolds with totally geodesic boundary
27:complement. A fundamental parallelogram is drawn.
370:Weeks, Jeffrey R., SnapPea C source code, (1999)
226:. SnapPea uses an iterative method utilizing
8:
383:Topology Appl. 52 (1993), no. 2, 127—149.
18:
525:Damian Heard's extension, allows :
363:
206:, SnapPea can ideally triangulate the
7:
166:The SnapPeaKernel is released under
484:"SnapPy — SnapPy 2.1 documentation"
471:ReadMe file for the SnapPea kernel
14:
348:incorporates aspects of SnapPea.
292:
519:Culler and Dunfield's extension
61:The latest version is 3.0d3.
1:
566:Free software programmed in C
224:cusp (completeness) equations
77:(see external links below).
50:. The primary developer is
198:Minimal ideal triangulation
186:. The second computes the
44:low-dimensional topologists
587:
280:Compute the symmetry group
571:Free mathematics software
174:Algorithms and functions
277:Compute the Ford domain
249:Canonical decomposition
239:hyperbolic Dehn filling
188:canonical decomposition
556:Computational topology
473:, accessed 2013-09-06.
393:Fox-Brewster, Thomas.
352:Computational topology
301:This section is empty.
243:Dehn filling equations
48:hyperbolic 3-manifolds
28:
285:Computable invariants
192:hyperbolic 3-manifold
22:
16:Mathematical software
379:Weeks, Jeffrey R.,
180:ideal triangulation
561:Numerical software
29:
452:. 4 February 2013
321:
320:
170:2+ as is SnapPy.
106:Martin Hildebrand
75:operating systems
38:designed to help
23:cusp view of the
578:
513:Jeff Weeks' site
495:
494:
492:
491:
480:
474:
468:
462:
461:
459:
457:
442:
436:
435:
433:
431:
424:Check Point Blog
416:
410:
409:
407:
405:
390:
384:
377:
371:
368:
316:
313:
303:You can help by
296:
289:
56:William Thurston
42:, in particular
586:
585:
581:
580:
579:
577:
576:
575:
541:
540:
507:
501:
499:
498:
489:
487:
482:
481:
477:
469:
465:
455:
453:
444:
443:
439:
429:
427:
418:
417:
413:
403:
401:
392:
391:
387:
378:
374:
369:
365:
360:
342:
326:
317:
311:
308:
287:
251:
228:Newton's method
208:link complement
200:
184:link complement
176:
118:A. C. Manoharan
67:Nathan Dunfield
25:Borromean rings
17:
12:
11:
5:
584:
582:
574:
573:
568:
563:
558:
553:
543:
542:
539:
538:
537:
536:
533:
527:
526:
520:
514:
506:
505:External links
503:
497:
496:
486:. Math.uic.edu
475:
463:
437:
426:. 10 July 2015
411:
385:
372:
362:
361:
359:
356:
355:
354:
349:
341:
338:
337:
336:
333:
325:
322:
319:
318:
299:
297:
286:
283:
282:
281:
278:
250:
247:
220:edge equations
199:
196:
175:
172:
142:Carlo Petronio
138:Walter Neumann
40:mathematicians
15:
13:
10:
9:
6:
4:
3:
2:
583:
572:
569:
567:
564:
562:
559:
557:
554:
552:
549:
548:
546:
534:
531:
530:
529:
528:
524:
521:
518:
515:
512:
509:
508:
504:
502:
485:
479:
476:
472:
467:
464:
451:
450:howtogeek.com
447:
441:
438:
425:
421:
415:
412:
400:
396:
389:
386:
382:
376:
373:
367:
364:
357:
353:
350:
347:
344:
343:
339:
335:Closed census
334:
332:Cusped census
331:
330:
329:
323:
315:
306:
302:
298:
295:
291:
290:
284:
279:
276:
275:
274:
271:
267:
265:
261:
255:
248:
246:
244:
240:
235:
231:
229:
225:
221:
216:
211:
209:
205:
197:
195:
193:
189:
185:
181:
173:
171:
169:
164:
162:
157:
155:
154:Makoto Sakuma
151:
147:
146:Mark Phillips
143:
139:
135:
131:
130:Rob Meyerhoff
127:
123:
119:
115:
114:Diane Hoffoss
111:
110:Craig Hodgson
107:
103:
99:
95:
91:
87:
83:
78:
76:
72:
68:
64:
59:
57:
53:
52:Jeffrey Weeks
49:
45:
41:
37:
36:free software
33:
26:
21:
500:
488:. Retrieved
478:
466:
454:. Retrieved
449:
440:
428:. Retrieved
423:
414:
402:. Retrieved
398:
388:
380:
375:
366:
327:
309:
305:adding to it
300:
272:
268:
259:
256:
252:
242:
236:
232:
223:
219:
212:
204:link diagram
201:
190:of a cusped
177:
165:
158:
126:Dick McGehee
102:Charlie Gunn
90:Pat Callahan
86:Bill Arveson
79:
60:
31:
30:
551:3-manifolds
312:August 2021
182:of a given
94:Joe Christy
82:Colin Adams
63:Marc Culler
545:Categories
490:2014-03-12
399:forbes.com
358:References
134:Lee Mosher
98:Dave Gabai
264:geodesics
150:Alan Reid
122:Al Marden
340:See also
324:Censuses
215:Thurston
46:, study
511:SnapPea
168:GNU GPL
32:SnapPea
517:SnapPy
456:21 May
430:21 May
404:21 May
346:Regina
260:closed
152:, and
71:Python
458:2017
432:2017
406:2017
222:and
159:The
523:Orb
307:.
34:is
547::
448:.
422:.
397:.
156:.
148:,
144:,
140:,
136:,
132:,
128:,
124:,
120:,
116:,
112:,
108:,
104:,
100:,
96:,
92:,
88:,
84:,
65:,
493:.
460:.
434:.
408:.
314:)
310:(
161:C
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.