regina 7.3.1.1__cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of regina might be problematic. Click here for more details.
- regina/__init__.py +203 -0
- regina/engine.cpython-313-x86_64-linux-gnu.so +0 -0
- regina/plainCompleter.py +221 -0
- regina/pyCensus/__init__.py +14 -0
- regina/pyCensus/christy-knots-links.tdb +0 -0
- regina/pyCensus/closed-hyp-census-full.tdb +0 -0
- regina/pyCensus/closed-nor-census-11.tdb +0 -0
- regina/pyCensus/closed-or-census-11.tdb +0 -0
- regina/pyCensus/cusped-hyp-nor-census-9.tdb +0 -0
- regina/pyCensus/cusped-hyp-or-census-9.tdb +0 -0
- regina/sageRegina/__init__.py +2 -0
- regina/sageRegina/config.py +9 -0
- regina/sageRegina/test.py +132 -0
- regina/sageRegina/testsuite/CMakeLists.txt +60 -0
- regina/sageRegina/testsuite/O2_1.rga +15 -0
- regina/sageRegina/testsuite/O2_1.tri +28 -0
- regina/sageRegina/testsuite/README.txt +20 -0
- regina/sageRegina/testsuite/alltypes.out +1551 -0
- regina/sageRegina/testsuite/alltypes.test +88 -0
- regina/sageRegina/testsuite/angles.out +102 -0
- regina/sageRegina/testsuite/angles.test +72 -0
- regina/sageRegina/testsuite/basic_callback.out +124 -0
- regina/sageRegina/testsuite/basic_sub.out +7 -0
- regina/sageRegina/testsuite/bool.out +6 -0
- regina/sageRegina/testsuite/bool.test +64 -0
- regina/sageRegina/testsuite/bytes.out +17 -0
- regina/sageRegina/testsuite/bytes.test +78 -0
- regina/sageRegina/testsuite/callbacks.out +515 -0
- regina/sageRegina/testsuite/callbacks.test +281 -0
- regina/sageRegina/testsuite/census.out +120 -0
- regina/sageRegina/testsuite/census.test +157 -0
- regina/sageRegina/testsuite/clone.out +18 -0
- regina/sageRegina/testsuite/clone.test +101 -0
- regina/sageRegina/testsuite/constructors.out +14 -0
- regina/sageRegina/testsuite/constructors.test +97 -0
- regina/sageRegina/testsuite/cube.orb +87 -0
- regina/sageRegina/testsuite/discs.out +3 -0
- regina/sageRegina/testsuite/discs.test +40 -0
- regina/sageRegina/testsuite/docstrings.filter +19 -0
- regina/sageRegina/testsuite/docstrings.out +808 -0
- regina/sageRegina/testsuite/docstrings.out.v2 +808 -0
- regina/sageRegina/testsuite/docstrings.test +57 -0
- regina/sageRegina/testsuite/dodec.orb +309 -0
- regina/sageRegina/testsuite/embeddings.out +23 -0
- regina/sageRegina/testsuite/embeddings.test +89 -0
- regina/sageRegina/testsuite/enumerate.out +62 -0
- regina/sageRegina/testsuite/enumerate.test +82 -0
- regina/sageRegina/testsuite/equality.out +112 -0
- regina/sageRegina/testsuite/equality.test +310 -0
- regina/sageRegina/testsuite/euler.out +15 -0
- regina/sageRegina/testsuite/euler.test +95 -0
- regina/sageRegina/testsuite/exception.out +7 -0
- regina/sageRegina/testsuite/exception.test +100 -0
- regina/sageRegina/testsuite/facenumbering.out +546 -0
- regina/sageRegina/testsuite/facenumbering.test +74 -0
- regina/sageRegina/testsuite/faces.out +40 -0
- regina/sageRegina/testsuite/faces.test +72 -0
- regina/sageRegina/testsuite/file.out +1229 -0
- regina/sageRegina/testsuite/file.test +70 -0
- regina/sageRegina/testsuite/file1.rga +0 -0
- regina/sageRegina/testsuite/file2.rga +0 -0
- regina/sageRegina/testsuite/file3.rga +119 -0
- regina/sageRegina/testsuite/flype.out +37 -0
- regina/sageRegina/testsuite/flype.test +50 -0
- regina/sageRegina/testsuite/generic.out +116 -0
- regina/sageRegina/testsuite/generic.test +76 -0
- regina/sageRegina/testsuite/groups.out +70 -0
- regina/sageRegina/testsuite/groups.test +117 -0
- regina/sageRegina/testsuite/hypersurfaces.out +681 -0
- regina/sageRegina/testsuite/hypersurfaces.test +90 -0
- regina/sageRegina/testsuite/i18n-latin1.rga +8 -0
- regina/sageRegina/testsuite/i18n-utf8.rga +8 -0
- regina/sageRegina/testsuite/i18n.out +6 -0
- regina/sageRegina/testsuite/i18n.test +91 -0
- regina/sageRegina/testsuite/id.out +2 -0
- regina/sageRegina/testsuite/id.test +47 -0
- regina/sageRegina/testsuite/index.out +2 -0
- regina/sageRegina/testsuite/index.test +43 -0
- regina/sageRegina/testsuite/integer.out +74 -0
- regina/sageRegina/testsuite/integer.test +56 -0
- regina/sageRegina/testsuite/italian.orb +90 -0
- regina/sageRegina/testsuite/iterators.out +118 -0
- regina/sageRegina/testsuite/iterators.test +128 -0
- regina/sageRegina/testsuite/knotted-Y.orb +47 -0
- regina/sageRegina/testsuite/listener.out +43 -0
- regina/sageRegina/testsuite/listener.test +101 -0
- regina/sageRegina/testsuite/listview.out +416 -0
- regina/sageRegina/testsuite/listview.test +253 -0
- regina/sageRegina/testsuite/lookup.out +13 -0
- regina/sageRegina/testsuite/lookup.test +44 -0
- regina/sageRegina/testsuite/memory1.out +62 -0
- regina/sageRegina/testsuite/memory1.test +154 -0
- regina/sageRegina/testsuite/memory2.out +62 -0
- regina/sageRegina/testsuite/memory2.test +124 -0
- regina/sageRegina/testsuite/memory3.out +92 -0
- regina/sageRegina/testsuite/memory3.test +216 -0
- regina/sageRegina/testsuite/misc.out +7 -0
- regina/sageRegina/testsuite/misc.test +56 -0
- regina/sageRegina/testsuite/operators.out +129 -0
- regina/sageRegina/testsuite/operators.test +61 -0
- regina/sageRegina/testsuite/orb.out +441 -0
- regina/sageRegina/testsuite/orb.test +49 -0
- regina/sageRegina/testsuite/pdf.out +4 -0
- regina/sageRegina/testsuite/pdf.test +49 -0
- regina/sageRegina/testsuite/perm.out +55 -0
- regina/sageRegina/testsuite/perm.test +96 -0
- regina/sageRegina/testsuite/plantri.out +12 -0
- regina/sageRegina/testsuite/plantri.test +60 -0
- regina/sageRegina/testsuite/presentations.out +11 -0
- regina/sageRegina/testsuite/presentations.test +61 -0
- regina/sageRegina/testsuite/refs.out +51 -0
- regina/sageRegina/testsuite/refs.test +128 -0
- regina/sageRegina/testsuite/repr.out +951 -0
- regina/sageRegina/testsuite/repr.out.v2 +951 -0
- regina/sageRegina/testsuite/repr.test +548 -0
- regina/sageRegina/testsuite/safeheldtype_basic.out +17 -0
- regina/sageRegina/testsuite/safeheldtype_basic.test +113 -0
- regina/sageRegina/testsuite/safeheldtype_packet.out +58 -0
- regina/sageRegina/testsuite/safeheldtype_packet.test +181 -0
- regina/sageRegina/testsuite/sample.pdf +0 -0
- regina/sageRegina/testsuite/sets.out +7 -0
- regina/sageRegina/testsuite/sets.test +44 -0
- regina/sageRegina/testsuite/skeleton.out +308 -0
- regina/sageRegina/testsuite/skeleton.test +54 -0
- regina/sageRegina/testsuite/snappea.out +82 -0
- regina/sageRegina/testsuite/snappea.test +107 -0
- regina/sageRegina/testsuite/snapshot.out +15 -0
- regina/sageRegina/testsuite/snapshot.test +78 -0
- regina/sageRegina/testsuite/sort.out +57 -0
- regina/sageRegina/testsuite/sort.test +53 -0
- regina/sageRegina/testsuite/special.out +4 -0
- regina/sageRegina/testsuite/special.test +47 -0
- regina/sageRegina/testsuite/standardtri.out +12101 -0
- regina/sageRegina/testsuite/standardtri.test +455 -0
- regina/sageRegina/testsuite/surfaces.out +2133 -0
- regina/sageRegina/testsuite/surfaces.test +114 -0
- regina/sageRegina/testsuite/swapping.out +25 -0
- regina/sageRegina/testsuite/swapping.test +88 -0
- regina/sageRegina/testsuite/testall.in +176 -0
- regina/sageRegina/testsuite/testbasic.in +279 -0
- regina/sageRegina/testsuite/testcallback.in +150 -0
- regina/sageRegina/testsuite/testsub.in +150 -0
- regina/sageRegina/testsuite/theta_in_solid_torus.orb +65 -0
- regina/sageRegina/testsuite/tightencode.out +40 -0
- regina/sageRegina/testsuite/tightencode.test +108 -0
- regina/sageRegina/testsuite/treedecomp.out +135 -0
- regina/sageRegina/testsuite/treedecomp.test +66 -0
- regina/sageRegina/testsuite/treetraversal.out +52 -0
- regina/sageRegina/testsuite/treetraversal.test +190 -0
- regina/sageRegina/testsuite/trigeneral.out +1251 -0
- regina/sageRegina/testsuite/trigeneral.test +155 -0
- regina/sageRegina/testsuite/utf8.out +42 -0
- regina/sageRegina/testsuite/utf8.test +94 -0
- regina/sageRegina/version.py +5 -0
- regina/sageSetup.py +41 -0
- regina/test.py +6 -0
- regina-7.3.1.1.dist-info/METADATA +109 -0
- regina-7.3.1.1.dist-info/RECORD +163 -0
- regina-7.3.1.1.dist-info/WHEEL +6 -0
- regina-7.3.1.1.dist-info/top_level.txt +4 -0
- regina.libs/libbz2-a273e504.so.1.0.6 +0 -0
- regina.libs/libgmp-afec2dd4.so.10.2.0 +0 -0
- regina.libs/libgmpxx-25f6cf8d.so.4.4.0 +0 -0
|
@@ -0,0 +1,1229 @@
|
|
|
1
|
+
************************************************************
|
|
2
|
+
*
|
|
3
|
+
* Label: Container
|
|
4
|
+
* Type: Container
|
|
5
|
+
* Parent: (none)
|
|
6
|
+
*
|
|
7
|
+
************************************************************
|
|
8
|
+
|
|
9
|
+
Container with 5 children, 17 descendants
|
|
10
|
+
|
|
11
|
+
|
|
12
|
+
************************************************************
|
|
13
|
+
*
|
|
14
|
+
* Label: Sample Data File
|
|
15
|
+
* Type: Text
|
|
16
|
+
* Parent: Container
|
|
17
|
+
*
|
|
18
|
+
************************************************************
|
|
19
|
+
|
|
20
|
+
In this file you will find some sample packets that illustrate the objects with
|
|
21
|
+
which Regina can work.
|
|
22
|
+
|
|
23
|
+
|
|
24
|
+
************************************************************
|
|
25
|
+
*
|
|
26
|
+
* Label: LaTeX Document
|
|
27
|
+
* Type: Attachment
|
|
28
|
+
* Parent: Container
|
|
29
|
+
*
|
|
30
|
+
************************************************************
|
|
31
|
+
|
|
32
|
+
Attachment (36228 bytes): attachment.pdf
|
|
33
|
+
|
|
34
|
+
|
|
35
|
+
************************************************************
|
|
36
|
+
*
|
|
37
|
+
* Label: Triangulations
|
|
38
|
+
* Type: Container
|
|
39
|
+
* Parent: Container
|
|
40
|
+
*
|
|
41
|
+
************************************************************
|
|
42
|
+
|
|
43
|
+
Container with 4 children, 10 descendants
|
|
44
|
+
|
|
45
|
+
|
|
46
|
+
************************************************************
|
|
47
|
+
*
|
|
48
|
+
* Label: Figure 8 Knot Complement
|
|
49
|
+
* Type: 3-D triangulation
|
|
50
|
+
* Parent: Triangulations
|
|
51
|
+
*
|
|
52
|
+
************************************************************
|
|
53
|
+
|
|
54
|
+
Size of the skeleton:
|
|
55
|
+
Tetrahedra: 2
|
|
56
|
+
Triangles: 4
|
|
57
|
+
Edges: 2
|
|
58
|
+
Vertices: 1
|
|
59
|
+
|
|
60
|
+
Tetrahedron gluing:
|
|
61
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
62
|
+
-----+-------------------------------------------------------
|
|
63
|
+
0 | 1 (210) 1 (230) 1 (301) 1 (321)
|
|
64
|
+
1 | 0 (210) 0 (230) 0 (301) 0 (321)
|
|
65
|
+
|
|
66
|
+
Vertices:
|
|
67
|
+
Tet | vertex: 0 1 2 3
|
|
68
|
+
-----+--------------------------
|
|
69
|
+
0 | 0 0 0 0
|
|
70
|
+
1 | 0 0 0 0
|
|
71
|
+
|
|
72
|
+
Edges:
|
|
73
|
+
Tet | edge: 01 02 03 12 13 23
|
|
74
|
+
-----+--------------------------------
|
|
75
|
+
0 | 0 1 1 0 1 0
|
|
76
|
+
1 | 0 1 1 0 1 0
|
|
77
|
+
|
|
78
|
+
Triangles:
|
|
79
|
+
Tet | face: 012 013 023 123
|
|
80
|
+
-----+------------------------
|
|
81
|
+
0 | 0 1 2 3
|
|
82
|
+
1 | 0 2 1 3
|
|
83
|
+
|
|
84
|
+
|
|
85
|
+
|
|
86
|
+
************************************************************
|
|
87
|
+
*
|
|
88
|
+
* Label: Tri-Quad Normal Surfaces
|
|
89
|
+
* Type: Normal surface list
|
|
90
|
+
* Parent: Figure 8 Knot Complement
|
|
91
|
+
*
|
|
92
|
+
************************************************************
|
|
93
|
+
|
|
94
|
+
Embedded, legacy surfaces
|
|
95
|
+
Coordinates: Standard normal (tri-quad)
|
|
96
|
+
Number of surfaces is 1
|
|
97
|
+
1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
98
|
+
|
|
99
|
+
|
|
100
|
+
************************************************************
|
|
101
|
+
*
|
|
102
|
+
* Label: Quad Normal Surfaces
|
|
103
|
+
* Type: Normal surface list
|
|
104
|
+
* Parent: Figure 8 Knot Complement
|
|
105
|
+
*
|
|
106
|
+
************************************************************
|
|
107
|
+
|
|
108
|
+
Embedded, legacy surfaces
|
|
109
|
+
Coordinates: Quad normal
|
|
110
|
+
Number of surfaces is 4
|
|
111
|
+
inf inf inf inf ; 2 0 0 || inf inf inf inf ; 0 0 1
|
|
112
|
+
inf inf inf inf ; 0 2 0 || inf inf inf inf ; 0 0 1
|
|
113
|
+
inf inf inf inf ; 0 0 1 || inf inf inf inf ; 2 0 0
|
|
114
|
+
inf inf inf inf ; 0 0 1 || inf inf inf inf ; 0 2 0
|
|
115
|
+
|
|
116
|
+
|
|
117
|
+
************************************************************
|
|
118
|
+
*
|
|
119
|
+
* Label: Angle Structures
|
|
120
|
+
* Type: Angle structure list
|
|
121
|
+
* Parent: Figure 8 Knot Complement
|
|
122
|
+
*
|
|
123
|
+
************************************************************
|
|
124
|
+
|
|
125
|
+
5 vertex angle structures (no restrictions):
|
|
126
|
+
1 0 0 ; 0 1 0
|
|
127
|
+
0 1 0 ; 1 0 0
|
|
128
|
+
0 0 1 ; 0 0 1
|
|
129
|
+
0 0 1 ; 1/2 1/2 0
|
|
130
|
+
1/2 1/2 0 ; 0 0 1
|
|
131
|
+
|
|
132
|
+
|
|
133
|
+
************************************************************
|
|
134
|
+
*
|
|
135
|
+
* Label: Layered Solid Torus
|
|
136
|
+
* Type: 3-D triangulation
|
|
137
|
+
* Parent: Triangulations
|
|
138
|
+
*
|
|
139
|
+
************************************************************
|
|
140
|
+
|
|
141
|
+
Size of the skeleton:
|
|
142
|
+
Tetrahedra: 4
|
|
143
|
+
Triangles: 9
|
|
144
|
+
Edges: 6
|
|
145
|
+
Vertices: 1
|
|
146
|
+
|
|
147
|
+
Tetrahedron gluing:
|
|
148
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
149
|
+
-----+-------------------------------------------------------
|
|
150
|
+
0 | boundary boundary 1 (012) 1 (130)
|
|
151
|
+
1 | 0 (023) 0 (312) 2 (012) 2 (130)
|
|
152
|
+
2 | 1 (023) 1 (312) 3 (013) 3 (120)
|
|
153
|
+
3 | 2 (312) 2 (023) 3 (312) 3 (230)
|
|
154
|
+
|
|
155
|
+
Vertices:
|
|
156
|
+
Tet | vertex: 0 1 2 3
|
|
157
|
+
-----+--------------------------
|
|
158
|
+
0 | 0 0 0 0
|
|
159
|
+
1 | 0 0 0 0
|
|
160
|
+
2 | 0 0 0 0
|
|
161
|
+
3 | 0 0 0 0
|
|
162
|
+
|
|
163
|
+
Edges:
|
|
164
|
+
Tet | edge: 01 02 03 12 13 23
|
|
165
|
+
-----+--------------------------------
|
|
166
|
+
0 | 0 1 2 2 1 3
|
|
167
|
+
1 | 1 2 3 3 2 4
|
|
168
|
+
2 | 2 3 4 4 3 5
|
|
169
|
+
3 | 3 5 4 4 5 4
|
|
170
|
+
|
|
171
|
+
Triangles:
|
|
172
|
+
Tet | face: 012 013 023 123
|
|
173
|
+
-----+------------------------
|
|
174
|
+
0 | 0 1 2 3
|
|
175
|
+
1 | 2 3 4 5
|
|
176
|
+
2 | 4 5 6 7
|
|
177
|
+
3 | 7 6 8 8
|
|
178
|
+
|
|
179
|
+
|
|
180
|
+
|
|
181
|
+
************************************************************
|
|
182
|
+
*
|
|
183
|
+
* Label: Normal Surfaces
|
|
184
|
+
* Type: Normal surface list
|
|
185
|
+
* Parent: Layered Solid Torus
|
|
186
|
+
*
|
|
187
|
+
************************************************************
|
|
188
|
+
|
|
189
|
+
Embedded, legacy surfaces
|
|
190
|
+
Coordinates: Standard normal (tri-quad)
|
|
191
|
+
Number of surfaces is 12
|
|
192
|
+
0 0 0 0 ; 0 0 1 || 0 0 0 0 ; 0 1 0 || 0 0 0 0 ; 1 0 0 || 0 0 0 0 ; 0 1 0
|
|
193
|
+
0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 0 0 ; 1 0 0 || 0 0 0 0 ; 0 2 0
|
|
194
|
+
0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0 || 1 1 0 0 ; 1 0 0 || 0 0 0 0 ; 0 2 0
|
|
195
|
+
2 2 0 0 ; 0 0 1 || 1 1 0 0 ; 0 0 1 || 1 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0
|
|
196
|
+
1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 0 0 ; 1 0 0 || 0 0 0 0 ; 0 2 0
|
|
197
|
+
0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
198
|
+
0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
199
|
+
1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
200
|
+
0 0 0 0 ; 0 0 2 || 0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0
|
|
201
|
+
0 0 0 0 ; 2 0 0 || 0 0 0 0 ; 0 0 2 || 0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0
|
|
202
|
+
2 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 2 || 0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0
|
|
203
|
+
4 4 0 0 ; 0 0 3 || 3 3 0 0 ; 0 0 1 || 1 1 0 0 ; 0 0 2 || 1 1 0 0 ; 0 0 1
|
|
204
|
+
|
|
205
|
+
|
|
206
|
+
************************************************************
|
|
207
|
+
*
|
|
208
|
+
* Label: Almost Normal Surfaces
|
|
209
|
+
* Type: Normal surface list
|
|
210
|
+
* Parent: Layered Solid Torus
|
|
211
|
+
*
|
|
212
|
+
************************************************************
|
|
213
|
+
|
|
214
|
+
Embedded, legacy surfaces
|
|
215
|
+
Coordinates: Standard almost normal (tri-quad-oct)
|
|
216
|
+
Number of surfaces is 33
|
|
217
|
+
0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
218
|
+
1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
219
|
+
0 0 2 2 ; 0 0 0 ; 0 0 0 || 0 0 2 2 ; 0 2 0 ; 0 0 0 || 0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0
|
|
220
|
+
1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
221
|
+
2 2 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 2 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0
|
|
222
|
+
0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
223
|
+
0 0 2 2 ; 0 2 0 ; 0 0 0 || 0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0
|
|
224
|
+
1 1 0 0 ; 0 1 0 ; 0 0 0 || 0 0 0 0 ; 0 0 0 ; 0 1 0 || 1 1 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
225
|
+
2 2 0 0 ; 0 4 0 ; 0 0 0 || 0 0 2 2 ; 0 0 0 ; 0 2 0 || 2 2 2 2 ; 0 2 0 ; 0 0 0 || 2 2 3 3 ; 1 0 0 ; 0 0 0
|
|
226
|
+
0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0
|
|
227
|
+
2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
228
|
+
0 0 0 0 ; 0 0 2 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
229
|
+
0 0 2 2 ; 0 0 0 ; 0 2 0 || 2 2 2 2 ; 0 2 0 ; 0 0 0 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0
|
|
230
|
+
0 0 0 0 ; 0 0 1 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 0 ; 0 1 0
|
|
231
|
+
2 2 0 0 ; 0 0 5 ; 0 0 0 || 2 2 0 0 ; 0 3 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 2 0 || 2 2 1 1 ; 0 0 1 ; 0 0 0
|
|
232
|
+
4 4 0 0 ; 0 0 2 ; 0 0 0 || 2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
233
|
+
2 2 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
234
|
+
1 1 0 0 ; 0 0 0 ; 0 1 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
235
|
+
4 4 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 3 ; 0 0 0 || 1 1 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 0 1
|
|
236
|
+
4 4 0 0 ; 0 0 3 ; 0 0 0 || 3 3 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0
|
|
237
|
+
1 1 0 0 ; 0 0 0 ; 0 3 0 || 3 3 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0
|
|
238
|
+
3 3 1 1 ; 0 0 1 ; 0 0 0 || 2 2 0 0 ; 0 0 0 ; 0 1 0 || 1 1 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0
|
|
239
|
+
6 6 0 0 ; 0 0 4 ; 0 0 0 || 4 4 0 0 ; 0 0 2 ; 0 0 0 || 2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0
|
|
240
|
+
0 0 0 0 ; 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 2 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0
|
|
241
|
+
0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
242
|
+
1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
243
|
+
0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
244
|
+
0 0 1 1 ; 0 1 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 0 1 || 1 1 0 0 ; 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 3 0 ; 0 0 0
|
|
245
|
+
0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 0 0 ; 3 0 0 ; 0 0 0 || 0 0 0 0 ; 0 6 0 ; 0 0 0
|
|
246
|
+
2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
247
|
+
0 0 0 0 ; 0 0 1 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0 || 0 0 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
248
|
+
0 0 1 1 ; 0 0 0 ; 0 1 0 || 1 1 1 1 ; 0 1 0 ; 0 0 0 || 1 1 0 0 ; 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 3 0 ; 0 0 0
|
|
249
|
+
1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
250
|
+
|
|
251
|
+
|
|
252
|
+
************************************************************
|
|
253
|
+
*
|
|
254
|
+
* Label: Poincaré Homology Sphere
|
|
255
|
+
* Type: 3-D triangulation
|
|
256
|
+
* Parent: Triangulations
|
|
257
|
+
*
|
|
258
|
+
************************************************************
|
|
259
|
+
|
|
260
|
+
Size of the skeleton:
|
|
261
|
+
Tetrahedra: 5
|
|
262
|
+
Triangles: 10
|
|
263
|
+
Edges: 6
|
|
264
|
+
Vertices: 1
|
|
265
|
+
|
|
266
|
+
Tetrahedron gluing:
|
|
267
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
268
|
+
-----+-------------------------------------------------------
|
|
269
|
+
0 | 4 (312) 3 (231) 2 (312) 1 (231)
|
|
270
|
+
1 | 4 (230) 3 (302) 2 (230) 0 (312)
|
|
271
|
+
2 | 4 (301) 3 (130) 1 (302) 0 (230)
|
|
272
|
+
3 | 4 (120) 2 (301) 1 (130) 0 (301)
|
|
273
|
+
4 | 3 (201) 2 (120) 1 (201) 0 (120)
|
|
274
|
+
|
|
275
|
+
Vertices:
|
|
276
|
+
Tet | vertex: 0 1 2 3
|
|
277
|
+
-----+--------------------------
|
|
278
|
+
0 | 0 0 0 0
|
|
279
|
+
1 | 0 0 0 0
|
|
280
|
+
2 | 0 0 0 0
|
|
281
|
+
3 | 0 0 0 0
|
|
282
|
+
4 | 0 0 0 0
|
|
283
|
+
|
|
284
|
+
Edges:
|
|
285
|
+
Tet | edge: 01 02 03 12 13 23
|
|
286
|
+
-----+--------------------------------
|
|
287
|
+
0 | 0 1 2 3 4 5
|
|
288
|
+
1 | 1 2 0 4 5 3
|
|
289
|
+
2 | 4 0 3 5 1 2
|
|
290
|
+
3 | 3 5 1 2 4 0
|
|
291
|
+
4 | 5 2 4 3 0 1
|
|
292
|
+
|
|
293
|
+
Triangles:
|
|
294
|
+
Tet | face: 012 013 023 123
|
|
295
|
+
-----+------------------------
|
|
296
|
+
0 | 0 1 2 3
|
|
297
|
+
1 | 4 5 6 3
|
|
298
|
+
2 | 7 8 6 2
|
|
299
|
+
3 | 9 8 5 1
|
|
300
|
+
4 | 9 7 4 0
|
|
301
|
+
|
|
302
|
+
|
|
303
|
+
|
|
304
|
+
************************************************************
|
|
305
|
+
*
|
|
306
|
+
* Label: RP2xS1
|
|
307
|
+
* Type: 3-D triangulation
|
|
308
|
+
* Parent: Triangulations
|
|
309
|
+
*
|
|
310
|
+
************************************************************
|
|
311
|
+
|
|
312
|
+
Size of the skeleton:
|
|
313
|
+
Tetrahedra: 3
|
|
314
|
+
Triangles: 6
|
|
315
|
+
Edges: 4
|
|
316
|
+
Vertices: 1
|
|
317
|
+
|
|
318
|
+
Tetrahedron gluing:
|
|
319
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
320
|
+
-----+-------------------------------------------------------
|
|
321
|
+
0 | 2 (023) 2 (132) 1 (023) 1 (123)
|
|
322
|
+
1 | 2 (201) 2 (310) 0 (023) 0 (123)
|
|
323
|
+
2 | 1 (120) 1 (310) 0 (012) 0 (031)
|
|
324
|
+
|
|
325
|
+
Vertices:
|
|
326
|
+
Tet | vertex: 0 1 2 3
|
|
327
|
+
-----+--------------------------
|
|
328
|
+
0 | 0 0 0 0
|
|
329
|
+
1 | 0 0 0 0
|
|
330
|
+
2 | 0 0 0 0
|
|
331
|
+
|
|
332
|
+
Edges:
|
|
333
|
+
Tet | edge: 01 02 03 12 13 23
|
|
334
|
+
-----+--------------------------------
|
|
335
|
+
0 | 0 1 1 2 2 3
|
|
336
|
+
1 | 0 1 1 2 2 3
|
|
337
|
+
2 | 2 0 1 1 0 2
|
|
338
|
+
|
|
339
|
+
Triangles:
|
|
340
|
+
Tet | face: 012 013 023 123
|
|
341
|
+
-----+------------------------
|
|
342
|
+
0 | 0 1 2 3
|
|
343
|
+
1 | 4 5 2 3
|
|
344
|
+
2 | 4 5 0 1
|
|
345
|
+
|
|
346
|
+
|
|
347
|
+
|
|
348
|
+
************************************************************
|
|
349
|
+
*
|
|
350
|
+
* Label: Note
|
|
351
|
+
* Type: Text
|
|
352
|
+
* Parent: RP2xS1
|
|
353
|
+
*
|
|
354
|
+
************************************************************
|
|
355
|
+
|
|
356
|
+
There are in fact two triangulations of this 3-manifold with three tetrahedra.
|
|
357
|
+
|
|
358
|
+
|
|
359
|
+
************************************************************
|
|
360
|
+
*
|
|
361
|
+
* Label: Tori, Annuli and Discs
|
|
362
|
+
* Type: Surface filter
|
|
363
|
+
* Parent: Container
|
|
364
|
+
*
|
|
365
|
+
************************************************************
|
|
366
|
+
|
|
367
|
+
OR filter
|
|
368
|
+
|
|
369
|
+
|
|
370
|
+
************************************************************
|
|
371
|
+
*
|
|
372
|
+
* Label: Tori and Annuli
|
|
373
|
+
* Type: Surface filter
|
|
374
|
+
* Parent: Tori, Annuli and Discs
|
|
375
|
+
*
|
|
376
|
+
************************************************************
|
|
377
|
+
|
|
378
|
+
Euler in { 0 }, orientable only, compact only
|
|
379
|
+
|
|
380
|
+
|
|
381
|
+
************************************************************
|
|
382
|
+
*
|
|
383
|
+
* Label: Discs
|
|
384
|
+
* Type: Surface filter
|
|
385
|
+
* Parent: Tori, Annuli and Discs
|
|
386
|
+
*
|
|
387
|
+
************************************************************
|
|
388
|
+
|
|
389
|
+
Euler in { 1 }, orientable only, compact only, real boundary only
|
|
390
|
+
|
|
391
|
+
|
|
392
|
+
************************************************************
|
|
393
|
+
*
|
|
394
|
+
* Label: Homology Summary
|
|
395
|
+
* Type: Script
|
|
396
|
+
* Parent: Container
|
|
397
|
+
*
|
|
398
|
+
************************************************************
|
|
399
|
+
|
|
400
|
+
Variable: tri = Triangulations
|
|
401
|
+
|
|
402
|
+
|
|
403
|
+
# See the Regina handbook for more elaborate sample Python sessions.
|
|
404
|
+
|
|
405
|
+
# Output the homology of each triangulation.
|
|
406
|
+
t = tri.getFirstTreeChild()
|
|
407
|
+
while t != None:
|
|
408
|
+
print t.getPacketLabel() + ":", t.getHomologyH1()
|
|
409
|
+
t = t.getNextTreeSibling()
|
|
410
|
+
|
|
411
|
+
|
|
412
|
+
************************************************************
|
|
413
|
+
*
|
|
414
|
+
* Label: Sample Data File
|
|
415
|
+
* Type: Container
|
|
416
|
+
* Parent: (none)
|
|
417
|
+
*
|
|
418
|
+
************************************************************
|
|
419
|
+
|
|
420
|
+
Container with 6 children, 23 descendants
|
|
421
|
+
|
|
422
|
+
|
|
423
|
+
************************************************************
|
|
424
|
+
*
|
|
425
|
+
* Label: Read Me
|
|
426
|
+
* Type: Text
|
|
427
|
+
* Parent: Sample Data File
|
|
428
|
+
*
|
|
429
|
+
************************************************************
|
|
430
|
+
|
|
431
|
+
Welcome to Regina!
|
|
432
|
+
|
|
433
|
+
A single Regina data file can store a range of objects, from 3-manifold triangulations and normal surfaces to Python scripts, PDF documents and text notes (such as the one you are reading now).
|
|
434
|
+
|
|
435
|
+
These objects are called "packets", and are arranged in a tree-like structure as you can see to the left. To view or edit a packet, just click on the packet in the tree (on some platforms, such as MacOS, you should double-click instead).
|
|
436
|
+
|
|
437
|
+
Have a play with the packets in this file to see what Regina can do.
|
|
438
|
+
|
|
439
|
+
If you ever want to know what some element of the user interface means (such as a button or a text box), just press Shift-F1 and click on the thing that you want to know more about. You can try this now with the tree in the main window, or the buttons in the toolbar. If you ever forget the Shift-F1 shortcut, you can find it in the menu under Help → What's This?
|
|
440
|
+
|
|
441
|
+
For more detailed help, try the Regina Handbook (in the Help menu, or just press F1). The handbook includes lots of screenshots and talks you through how to do many different things.
|
|
442
|
+
|
|
443
|
+
Any questions? Just mail us at regina-user@lists.sourceforge.net (or if you prefer, mail the authors directly; see Help → About for our email addresses).
|
|
444
|
+
|
|
445
|
+
Enjoy!
|
|
446
|
+
|
|
447
|
+
- The Regina development team
|
|
448
|
+
|
|
449
|
+
|
|
450
|
+
************************************************************
|
|
451
|
+
*
|
|
452
|
+
* Label: LaTeX Document
|
|
453
|
+
* Type: Attachment
|
|
454
|
+
* Parent: Sample Data File
|
|
455
|
+
*
|
|
456
|
+
************************************************************
|
|
457
|
+
|
|
458
|
+
Attachment (36228 bytes): attachment.pdf
|
|
459
|
+
|
|
460
|
+
|
|
461
|
+
************************************************************
|
|
462
|
+
*
|
|
463
|
+
* Label: 3-Manifolds
|
|
464
|
+
* Type: Container
|
|
465
|
+
* Parent: Sample Data File
|
|
466
|
+
*
|
|
467
|
+
************************************************************
|
|
468
|
+
|
|
469
|
+
Container with 4 children, 11 descendants
|
|
470
|
+
|
|
471
|
+
|
|
472
|
+
************************************************************
|
|
473
|
+
*
|
|
474
|
+
* Label: Figure 8 Knot Complement
|
|
475
|
+
* Type: 3-D triangulation
|
|
476
|
+
* Parent: 3-Manifolds
|
|
477
|
+
*
|
|
478
|
+
************************************************************
|
|
479
|
+
|
|
480
|
+
Size of the skeleton:
|
|
481
|
+
Tetrahedra: 2
|
|
482
|
+
Triangles: 4
|
|
483
|
+
Edges: 2
|
|
484
|
+
Vertices: 1
|
|
485
|
+
|
|
486
|
+
Tetrahedron gluing:
|
|
487
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
488
|
+
-----+-------------------------------------------------------
|
|
489
|
+
0 | 1 (210) 1 (230) 1 (301) 1 (321)
|
|
490
|
+
1 | 0 (210) 0 (230) 0 (301) 0 (321)
|
|
491
|
+
|
|
492
|
+
Vertices:
|
|
493
|
+
Tet | vertex: 0 1 2 3
|
|
494
|
+
-----+--------------------------
|
|
495
|
+
0 | 0 0 0 0
|
|
496
|
+
1 | 0 0 0 0
|
|
497
|
+
|
|
498
|
+
Edges:
|
|
499
|
+
Tet | edge: 01 02 03 12 13 23
|
|
500
|
+
-----+--------------------------------
|
|
501
|
+
0 | 0 1 1 0 1 0
|
|
502
|
+
1 | 0 1 1 0 1 0
|
|
503
|
+
|
|
504
|
+
Triangles:
|
|
505
|
+
Tet | face: 012 013 023 123
|
|
506
|
+
-----+------------------------
|
|
507
|
+
0 | 0 1 2 3
|
|
508
|
+
1 | 0 2 1 3
|
|
509
|
+
|
|
510
|
+
|
|
511
|
+
|
|
512
|
+
************************************************************
|
|
513
|
+
*
|
|
514
|
+
* Label: Vertex Link
|
|
515
|
+
* Type: 2-D triangulation
|
|
516
|
+
* Parent: Figure 8 Knot Complement
|
|
517
|
+
*
|
|
518
|
+
************************************************************
|
|
519
|
+
|
|
520
|
+
Size of the skeleton:
|
|
521
|
+
Triangles: 8
|
|
522
|
+
Edges: 12
|
|
523
|
+
Vertices: 4
|
|
524
|
+
|
|
525
|
+
Triangle gluing:
|
|
526
|
+
Triangle | glued to: (01) (02) (12)
|
|
527
|
+
----------+--------------------------------------
|
|
528
|
+
0 | 2 (21) 2 (01) 1 (21)
|
|
529
|
+
1 | 3 (12) 3 (02) 0 (21)
|
|
530
|
+
2 | 0 (02) 4 (12) 0 (10)
|
|
531
|
+
3 | 5 (02) 1 (02) 1 (01)
|
|
532
|
+
4 | 6 (12) 6 (02) 2 (02)
|
|
533
|
+
5 | 7 (21) 3 (01) 7 (02)
|
|
534
|
+
6 | 7 (10) 4 (02) 4 (01)
|
|
535
|
+
7 | 6 (10) 5 (12) 5 (10)
|
|
536
|
+
|
|
537
|
+
Vertices:
|
|
538
|
+
Triangle | vertex: 0 1 2
|
|
539
|
+
----------+----------------------
|
|
540
|
+
0 | 0 1 1
|
|
541
|
+
1 | 2 1 1
|
|
542
|
+
2 | 0 1 0
|
|
543
|
+
3 | 2 2 1
|
|
544
|
+
4 | 3 0 0
|
|
545
|
+
5 | 2 3 2
|
|
546
|
+
6 | 3 3 0
|
|
547
|
+
7 | 3 3 2
|
|
548
|
+
|
|
549
|
+
Edges:
|
|
550
|
+
Triangle | edge: 01 02 12
|
|
551
|
+
----------+--------------------
|
|
552
|
+
0 | 0 1 2
|
|
553
|
+
1 | 3 4 2
|
|
554
|
+
2 | 1 5 0
|
|
555
|
+
3 | 6 4 3
|
|
556
|
+
4 | 7 8 5
|
|
557
|
+
5 | 9 6 10
|
|
558
|
+
6 | 11 8 7
|
|
559
|
+
7 | 11 10 9
|
|
560
|
+
|
|
561
|
+
|
|
562
|
+
|
|
563
|
+
************************************************************
|
|
564
|
+
*
|
|
565
|
+
* Label: Tri-Quad Normal Surfaces
|
|
566
|
+
* Type: Normal surface list
|
|
567
|
+
* Parent: Figure 8 Knot Complement
|
|
568
|
+
*
|
|
569
|
+
************************************************************
|
|
570
|
+
|
|
571
|
+
Embedded, vertex surfaces
|
|
572
|
+
Coordinates: Standard normal (tri-quad)
|
|
573
|
+
Number of surfaces is 1
|
|
574
|
+
1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
575
|
+
|
|
576
|
+
|
|
577
|
+
************************************************************
|
|
578
|
+
*
|
|
579
|
+
* Label: Quad Normal Surfaces
|
|
580
|
+
* Type: Normal surface list
|
|
581
|
+
* Parent: Figure 8 Knot Complement
|
|
582
|
+
*
|
|
583
|
+
************************************************************
|
|
584
|
+
|
|
585
|
+
Embedded, vertex surfaces
|
|
586
|
+
Coordinates: Quad normal
|
|
587
|
+
Number of surfaces is 4
|
|
588
|
+
inf inf inf inf ; 0 0 1 || inf inf inf inf ; 2 0 0
|
|
589
|
+
inf inf inf inf ; 0 0 1 || inf inf inf inf ; 0 2 0
|
|
590
|
+
inf inf inf inf ; 2 0 0 || inf inf inf inf ; 0 0 1
|
|
591
|
+
inf inf inf inf ; 0 2 0 || inf inf inf inf ; 0 0 1
|
|
592
|
+
|
|
593
|
+
|
|
594
|
+
************************************************************
|
|
595
|
+
*
|
|
596
|
+
* Label: Angle Structures
|
|
597
|
+
* Type: Angle structure list
|
|
598
|
+
* Parent: Figure 8 Knot Complement
|
|
599
|
+
*
|
|
600
|
+
************************************************************
|
|
601
|
+
|
|
602
|
+
5 vertex angle structures (no restrictions):
|
|
603
|
+
1 0 0 ; 0 1 0
|
|
604
|
+
0 1 0 ; 1 0 0
|
|
605
|
+
0 0 1 ; 0 0 1
|
|
606
|
+
0 0 1 ; 1/2 1/2 0
|
|
607
|
+
1/2 1/2 0 ; 0 0 1
|
|
608
|
+
|
|
609
|
+
|
|
610
|
+
************************************************************
|
|
611
|
+
*
|
|
612
|
+
* Label: Layered Solid Torus
|
|
613
|
+
* Type: 3-D triangulation
|
|
614
|
+
* Parent: 3-Manifolds
|
|
615
|
+
*
|
|
616
|
+
************************************************************
|
|
617
|
+
|
|
618
|
+
Size of the skeleton:
|
|
619
|
+
Tetrahedra: 4
|
|
620
|
+
Triangles: 9
|
|
621
|
+
Edges: 6
|
|
622
|
+
Vertices: 1
|
|
623
|
+
|
|
624
|
+
Tetrahedron gluing:
|
|
625
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
626
|
+
-----+-------------------------------------------------------
|
|
627
|
+
0 | boundary boundary 1 (012) 1 (130)
|
|
628
|
+
1 | 0 (023) 0 (312) 2 (012) 2 (130)
|
|
629
|
+
2 | 1 (023) 1 (312) 3 (013) 3 (120)
|
|
630
|
+
3 | 2 (312) 2 (023) 3 (312) 3 (230)
|
|
631
|
+
|
|
632
|
+
Vertices:
|
|
633
|
+
Tet | vertex: 0 1 2 3
|
|
634
|
+
-----+--------------------------
|
|
635
|
+
0 | 0 0 0 0
|
|
636
|
+
1 | 0 0 0 0
|
|
637
|
+
2 | 0 0 0 0
|
|
638
|
+
3 | 0 0 0 0
|
|
639
|
+
|
|
640
|
+
Edges:
|
|
641
|
+
Tet | edge: 01 02 03 12 13 23
|
|
642
|
+
-----+--------------------------------
|
|
643
|
+
0 | 0 1 2 2 1 3
|
|
644
|
+
1 | 1 2 3 3 2 4
|
|
645
|
+
2 | 2 3 4 4 3 5
|
|
646
|
+
3 | 3 5 4 4 5 4
|
|
647
|
+
|
|
648
|
+
Triangles:
|
|
649
|
+
Tet | face: 012 013 023 123
|
|
650
|
+
-----+------------------------
|
|
651
|
+
0 | 0 1 2 3
|
|
652
|
+
1 | 2 3 4 5
|
|
653
|
+
2 | 4 5 6 7
|
|
654
|
+
3 | 7 6 8 8
|
|
655
|
+
|
|
656
|
+
|
|
657
|
+
|
|
658
|
+
************************************************************
|
|
659
|
+
*
|
|
660
|
+
* Label: Almost Normal Surfaces
|
|
661
|
+
* Type: Normal surface list
|
|
662
|
+
* Parent: Layered Solid Torus
|
|
663
|
+
*
|
|
664
|
+
************************************************************
|
|
665
|
+
|
|
666
|
+
Embedded, vertex surfaces
|
|
667
|
+
Coordinates: Standard almost normal (tri-quad-oct)
|
|
668
|
+
Number of surfaces is 33
|
|
669
|
+
1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
670
|
+
0 0 2 2 ; 0 0 0 ; 0 0 0 || 0 0 2 2 ; 0 2 0 ; 0 0 0 || 0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0
|
|
671
|
+
2 2 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 2 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0
|
|
672
|
+
0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
673
|
+
0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
674
|
+
2 2 0 0 ; 0 4 0 ; 0 0 0 || 0 0 2 2 ; 0 0 0 ; 0 2 0 || 2 2 2 2 ; 0 2 0 ; 0 0 0 || 2 2 3 3 ; 1 0 0 ; 0 0 0
|
|
675
|
+
1 1 0 0 ; 0 1 0 ; 0 0 0 || 0 0 0 0 ; 0 0 0 ; 0 1 0 || 1 1 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
676
|
+
0 0 2 2 ; 0 2 0 ; 0 0 0 || 0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0
|
|
677
|
+
0 0 0 0 ; 0 0 2 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
678
|
+
2 2 0 0 ; 0 0 5 ; 0 0 0 || 2 2 0 0 ; 0 3 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 2 0 || 2 2 1 1 ; 0 0 1 ; 0 0 0
|
|
679
|
+
0 0 0 0 ; 0 0 1 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 0 ; 0 1 0
|
|
680
|
+
4 4 0 0 ; 0 0 2 ; 0 0 0 || 2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
681
|
+
2 2 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
682
|
+
4 4 0 0 ; 0 0 3 ; 0 0 0 || 3 3 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0
|
|
683
|
+
6 6 0 0 ; 0 0 4 ; 0 0 0 || 4 4 0 0 ; 0 0 2 ; 0 0 0 || 2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0
|
|
684
|
+
4 4 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 3 ; 0 0 0 || 1 1 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 0 1
|
|
685
|
+
2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
686
|
+
3 3 1 1 ; 0 0 1 ; 0 0 0 || 2 2 0 0 ; 0 0 0 ; 0 1 0 || 1 1 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0
|
|
687
|
+
1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
688
|
+
0 0 2 2 ; 0 0 0 ; 0 2 0 || 2 2 2 2 ; 0 2 0 ; 0 0 0 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0
|
|
689
|
+
1 1 0 0 ; 0 0 0 ; 0 1 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
690
|
+
1 1 0 0 ; 0 0 0 ; 0 3 0 || 3 3 0 0 ; 0 0 1 ; 0 0 0 || 1 1 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 1 ; 0 0 0
|
|
691
|
+
0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0 || 3 3 3 3 ; 0 0 0 ; 0 0 0
|
|
692
|
+
0 0 0 0 ; 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 2 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0
|
|
693
|
+
0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
694
|
+
0 0 0 0 ; 0 2 0 ; 0 0 0 || 0 0 1 1 ; 1 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
695
|
+
0 0 1 1 ; 0 1 0 ; 0 0 0 || 0 0 1 1 ; 0 0 0 ; 0 0 1 || 1 1 0 0 ; 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 3 0 ; 0 0 0
|
|
696
|
+
0 0 0 0 ; 0 0 1 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0 || 0 0 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0 ; 0 0 0
|
|
697
|
+
2 2 0 0 ; 0 0 2 ; 0 0 0 || 1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
698
|
+
1 1 0 0 ; 0 0 0 ; 1 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 0 0 ; 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 2 0 ; 0 0 0
|
|
699
|
+
0 0 1 1 ; 0 0 0 ; 0 1 0 || 1 1 1 1 ; 0 1 0 ; 0 0 0 || 1 1 0 0 ; 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 3 0 ; 0 0 0
|
|
700
|
+
0 0 2 2 ; 0 0 0 ; 0 0 2 || 2 2 3 3 ; 1 0 0 ; 0 0 0 || 3 3 0 0 ; 3 0 0 ; 0 0 0 || 0 0 0 0 ; 0 6 0 ; 0 0 0
|
|
701
|
+
1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 ; 0 0 0
|
|
702
|
+
|
|
703
|
+
|
|
704
|
+
************************************************************
|
|
705
|
+
*
|
|
706
|
+
* Label: Fundamental Normal Surfaces
|
|
707
|
+
* Type: Normal surface list
|
|
708
|
+
* Parent: Layered Solid Torus
|
|
709
|
+
*
|
|
710
|
+
************************************************************
|
|
711
|
+
|
|
712
|
+
Embedded, fundamental surfaces
|
|
713
|
+
Coordinates: Standard normal (tri-quad)
|
|
714
|
+
Number of surfaces is 13
|
|
715
|
+
0 0 0 0 ; 0 0 1 || 0 0 0 0 ; 0 1 0 || 0 0 0 0 ; 1 0 0 || 0 0 0 0 ; 0 1 0
|
|
716
|
+
0 0 0 0 ; 0 0 2 || 0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0
|
|
717
|
+
0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0 || 1 1 0 0 ; 1 0 0 || 0 0 0 0 ; 0 2 0
|
|
718
|
+
0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
719
|
+
0 0 0 0 ; 2 0 0 || 0 0 0 0 ; 0 0 2 || 0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0
|
|
720
|
+
0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 0 0 ; 1 0 0 || 0 0 0 0 ; 0 2 0
|
|
721
|
+
0 0 1 1 ; 1 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
722
|
+
1 1 0 0 ; 1 0 0 || 0 0 0 0 ; 0 0 2 || 0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0
|
|
723
|
+
1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 0 0 ; 1 0 0 || 0 0 0 0 ; 0 2 0
|
|
724
|
+
1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 1 1 1 1 ; 0 0 0
|
|
725
|
+
2 2 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 2 || 0 0 0 0 ; 0 2 0 || 0 0 1 1 ; 1 0 0
|
|
726
|
+
2 2 0 0 ; 0 0 1 || 1 1 0 0 ; 0 0 1 || 1 1 0 0 ; 0 0 0 || 0 0 0 0 ; 0 1 0
|
|
727
|
+
4 4 0 0 ; 0 0 3 || 3 3 0 0 ; 0 0 1 || 1 1 0 0 ; 0 0 2 || 1 1 0 0 ; 0 0 1
|
|
728
|
+
|
|
729
|
+
|
|
730
|
+
************************************************************
|
|
731
|
+
*
|
|
732
|
+
* Label: Poincaré Homology Sphere
|
|
733
|
+
* Type: 3-D triangulation
|
|
734
|
+
* Parent: 3-Manifolds
|
|
735
|
+
*
|
|
736
|
+
************************************************************
|
|
737
|
+
|
|
738
|
+
Size of the skeleton:
|
|
739
|
+
Tetrahedra: 5
|
|
740
|
+
Triangles: 10
|
|
741
|
+
Edges: 6
|
|
742
|
+
Vertices: 1
|
|
743
|
+
|
|
744
|
+
Tetrahedron gluing:
|
|
745
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
746
|
+
-----+-------------------------------------------------------
|
|
747
|
+
0 | 4 (312) 3 (231) 2 (312) 1 (231)
|
|
748
|
+
1 | 4 (230) 3 (302) 2 (230) 0 (312)
|
|
749
|
+
2 | 4 (301) 3 (130) 1 (302) 0 (230)
|
|
750
|
+
3 | 4 (120) 2 (301) 1 (130) 0 (301)
|
|
751
|
+
4 | 3 (201) 2 (120) 1 (201) 0 (120)
|
|
752
|
+
|
|
753
|
+
Vertices:
|
|
754
|
+
Tet | vertex: 0 1 2 3
|
|
755
|
+
-----+--------------------------
|
|
756
|
+
0 | 0 0 0 0
|
|
757
|
+
1 | 0 0 0 0
|
|
758
|
+
2 | 0 0 0 0
|
|
759
|
+
3 | 0 0 0 0
|
|
760
|
+
4 | 0 0 0 0
|
|
761
|
+
|
|
762
|
+
Edges:
|
|
763
|
+
Tet | edge: 01 02 03 12 13 23
|
|
764
|
+
-----+--------------------------------
|
|
765
|
+
0 | 0 1 2 3 4 5
|
|
766
|
+
1 | 1 2 0 4 5 3
|
|
767
|
+
2 | 4 0 3 5 1 2
|
|
768
|
+
3 | 3 5 1 2 4 0
|
|
769
|
+
4 | 5 2 4 3 0 1
|
|
770
|
+
|
|
771
|
+
Triangles:
|
|
772
|
+
Tet | face: 012 013 023 123
|
|
773
|
+
-----+------------------------
|
|
774
|
+
0 | 0 1 2 3
|
|
775
|
+
1 | 4 5 6 3
|
|
776
|
+
2 | 7 8 6 2
|
|
777
|
+
3 | 9 8 5 1
|
|
778
|
+
4 | 9 7 4 0
|
|
779
|
+
|
|
780
|
+
|
|
781
|
+
|
|
782
|
+
************************************************************
|
|
783
|
+
*
|
|
784
|
+
* Label: RP2xS1
|
|
785
|
+
* Type: 3-D triangulation
|
|
786
|
+
* Parent: 3-Manifolds
|
|
787
|
+
*
|
|
788
|
+
************************************************************
|
|
789
|
+
|
|
790
|
+
Size of the skeleton:
|
|
791
|
+
Tetrahedra: 3
|
|
792
|
+
Triangles: 6
|
|
793
|
+
Edges: 4
|
|
794
|
+
Vertices: 1
|
|
795
|
+
|
|
796
|
+
Tetrahedron gluing:
|
|
797
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
798
|
+
-----+-------------------------------------------------------
|
|
799
|
+
0 | 2 (023) 2 (132) 1 (023) 1 (123)
|
|
800
|
+
1 | 2 (201) 2 (310) 0 (023) 0 (123)
|
|
801
|
+
2 | 1 (120) 1 (310) 0 (012) 0 (031)
|
|
802
|
+
|
|
803
|
+
Vertices:
|
|
804
|
+
Tet | vertex: 0 1 2 3
|
|
805
|
+
-----+--------------------------
|
|
806
|
+
0 | 0 0 0 0
|
|
807
|
+
1 | 0 0 0 0
|
|
808
|
+
2 | 0 0 0 0
|
|
809
|
+
|
|
810
|
+
Edges:
|
|
811
|
+
Tet | edge: 01 02 03 12 13 23
|
|
812
|
+
-----+--------------------------------
|
|
813
|
+
0 | 0 1 1 2 2 3
|
|
814
|
+
1 | 0 1 1 2 2 3
|
|
815
|
+
2 | 2 0 1 1 0 2
|
|
816
|
+
|
|
817
|
+
Triangles:
|
|
818
|
+
Tet | face: 012 013 023 123
|
|
819
|
+
-----+------------------------
|
|
820
|
+
0 | 0 1 2 3
|
|
821
|
+
1 | 4 5 2 3
|
|
822
|
+
2 | 4 5 0 1
|
|
823
|
+
|
|
824
|
+
|
|
825
|
+
|
|
826
|
+
************************************************************
|
|
827
|
+
*
|
|
828
|
+
* Label: Note
|
|
829
|
+
* Type: Text
|
|
830
|
+
* Parent: RP2xS1
|
|
831
|
+
*
|
|
832
|
+
************************************************************
|
|
833
|
+
|
|
834
|
+
There are in fact two triangulations of this 3-manifold with three tetrahedra.
|
|
835
|
+
|
|
836
|
+
|
|
837
|
+
************************************************************
|
|
838
|
+
*
|
|
839
|
+
* Label: 2-Manifolds
|
|
840
|
+
* Type: Container
|
|
841
|
+
* Parent: Sample Data File
|
|
842
|
+
*
|
|
843
|
+
************************************************************
|
|
844
|
+
|
|
845
|
+
Container with 3 children, 3 descendants
|
|
846
|
+
|
|
847
|
+
|
|
848
|
+
************************************************************
|
|
849
|
+
*
|
|
850
|
+
* Label: Octahedron Boundary
|
|
851
|
+
* Type: 2-D triangulation
|
|
852
|
+
* Parent: 2-Manifolds
|
|
853
|
+
*
|
|
854
|
+
************************************************************
|
|
855
|
+
|
|
856
|
+
Size of the skeleton:
|
|
857
|
+
Triangles: 8
|
|
858
|
+
Edges: 12
|
|
859
|
+
Vertices: 6
|
|
860
|
+
|
|
861
|
+
Triangle gluing:
|
|
862
|
+
Triangle | glued to: (01) (02) (12)
|
|
863
|
+
----------+--------------------------------------
|
|
864
|
+
0 | 3 (02) 1 (01) 4 (12)
|
|
865
|
+
1 | 0 (02) 2 (01) 5 (12)
|
|
866
|
+
2 | 1 (02) 3 (01) 6 (12)
|
|
867
|
+
3 | 2 (02) 0 (01) 7 (12)
|
|
868
|
+
4 | 7 (02) 5 (01) 0 (12)
|
|
869
|
+
5 | 4 (02) 6 (01) 1 (12)
|
|
870
|
+
6 | 5 (02) 7 (01) 2 (12)
|
|
871
|
+
7 | 6 (02) 4 (01) 3 (12)
|
|
872
|
+
|
|
873
|
+
Vertices:
|
|
874
|
+
Triangle | vertex: 0 1 2
|
|
875
|
+
----------+----------------------
|
|
876
|
+
0 | 0 1 2
|
|
877
|
+
1 | 0 2 3
|
|
878
|
+
2 | 0 3 4
|
|
879
|
+
3 | 0 4 1
|
|
880
|
+
4 | 5 1 2
|
|
881
|
+
5 | 5 2 3
|
|
882
|
+
6 | 5 3 4
|
|
883
|
+
7 | 5 4 1
|
|
884
|
+
|
|
885
|
+
Edges:
|
|
886
|
+
Triangle | edge: 01 02 12
|
|
887
|
+
----------+--------------------
|
|
888
|
+
0 | 0 1 2
|
|
889
|
+
1 | 1 3 4
|
|
890
|
+
2 | 3 5 6
|
|
891
|
+
3 | 5 0 7
|
|
892
|
+
4 | 8 9 2
|
|
893
|
+
5 | 9 10 4
|
|
894
|
+
6 | 10 11 6
|
|
895
|
+
7 | 11 8 7
|
|
896
|
+
|
|
897
|
+
|
|
898
|
+
|
|
899
|
+
************************************************************
|
|
900
|
+
*
|
|
901
|
+
* Label: Klein Bottle, version 1
|
|
902
|
+
* Type: 2-D triangulation
|
|
903
|
+
* Parent: 2-Manifolds
|
|
904
|
+
*
|
|
905
|
+
************************************************************
|
|
906
|
+
|
|
907
|
+
Size of the skeleton:
|
|
908
|
+
Triangles: 2
|
|
909
|
+
Edges: 3
|
|
910
|
+
Vertices: 1
|
|
911
|
+
|
|
912
|
+
Triangle gluing:
|
|
913
|
+
Triangle | glued to: (01) (02) (12)
|
|
914
|
+
----------+--------------------------------------
|
|
915
|
+
0 | 1 (01) 1 (20) 1 (21)
|
|
916
|
+
1 | 0 (01) 0 (20) 0 (21)
|
|
917
|
+
|
|
918
|
+
Vertices:
|
|
919
|
+
Triangle | vertex: 0 1 2
|
|
920
|
+
----------+----------------------
|
|
921
|
+
0 | 0 0 0
|
|
922
|
+
1 | 0 0 0
|
|
923
|
+
|
|
924
|
+
Edges:
|
|
925
|
+
Triangle | edge: 01 02 12
|
|
926
|
+
----------+--------------------
|
|
927
|
+
0 | 0 1 2
|
|
928
|
+
1 | 0 1 2
|
|
929
|
+
|
|
930
|
+
|
|
931
|
+
|
|
932
|
+
************************************************************
|
|
933
|
+
*
|
|
934
|
+
* Label: Klein Bottle, version 2
|
|
935
|
+
* Type: 2-D triangulation
|
|
936
|
+
* Parent: 2-Manifolds
|
|
937
|
+
*
|
|
938
|
+
************************************************************
|
|
939
|
+
|
|
940
|
+
Size of the skeleton:
|
|
941
|
+
Triangles: 2
|
|
942
|
+
Edges: 3
|
|
943
|
+
Vertices: 1
|
|
944
|
+
|
|
945
|
+
Triangle gluing:
|
|
946
|
+
Triangle | glued to: (01) (02) (12)
|
|
947
|
+
----------+--------------------------------------
|
|
948
|
+
0 | 0 (12) 1 (02) 0 (01)
|
|
949
|
+
1 | 1 (12) 0 (02) 1 (01)
|
|
950
|
+
|
|
951
|
+
Vertices:
|
|
952
|
+
Triangle | vertex: 0 1 2
|
|
953
|
+
----------+----------------------
|
|
954
|
+
0 | 0 0 0
|
|
955
|
+
1 | 0 0 0
|
|
956
|
+
|
|
957
|
+
Edges:
|
|
958
|
+
Triangle | edge: 01 02 12
|
|
959
|
+
----------+--------------------
|
|
960
|
+
0 | 0 1 0
|
|
961
|
+
1 | 2 1 2
|
|
962
|
+
|
|
963
|
+
|
|
964
|
+
|
|
965
|
+
************************************************************
|
|
966
|
+
*
|
|
967
|
+
* Label: Normal Surface Filters
|
|
968
|
+
* Type: Container
|
|
969
|
+
* Parent: Sample Data File
|
|
970
|
+
*
|
|
971
|
+
************************************************************
|
|
972
|
+
|
|
973
|
+
Container with 1 child, 3 descendants
|
|
974
|
+
|
|
975
|
+
|
|
976
|
+
************************************************************
|
|
977
|
+
*
|
|
978
|
+
* Label: Tori, Annuli and Discs
|
|
979
|
+
* Type: Surface filter
|
|
980
|
+
* Parent: Normal Surface Filters
|
|
981
|
+
*
|
|
982
|
+
************************************************************
|
|
983
|
+
|
|
984
|
+
OR filter
|
|
985
|
+
|
|
986
|
+
|
|
987
|
+
************************************************************
|
|
988
|
+
*
|
|
989
|
+
* Label: Tori and Annuli
|
|
990
|
+
* Type: Surface filter
|
|
991
|
+
* Parent: Tori, Annuli and Discs
|
|
992
|
+
*
|
|
993
|
+
************************************************************
|
|
994
|
+
|
|
995
|
+
Euler in { 0 }, orientable only, compact only
|
|
996
|
+
|
|
997
|
+
|
|
998
|
+
************************************************************
|
|
999
|
+
*
|
|
1000
|
+
* Label: Discs
|
|
1001
|
+
* Type: Surface filter
|
|
1002
|
+
* Parent: Tori, Annuli and Discs
|
|
1003
|
+
*
|
|
1004
|
+
************************************************************
|
|
1005
|
+
|
|
1006
|
+
Euler in { 1 }, orientable only, compact only, real boundary only
|
|
1007
|
+
|
|
1008
|
+
|
|
1009
|
+
************************************************************
|
|
1010
|
+
*
|
|
1011
|
+
* Label: Python Script
|
|
1012
|
+
* Type: Script
|
|
1013
|
+
* Parent: Sample Data File
|
|
1014
|
+
*
|
|
1015
|
+
************************************************************
|
|
1016
|
+
|
|
1017
|
+
Variable: tri = 3-Manifolds
|
|
1018
|
+
|
|
1019
|
+
# This Python script runs through all 3-manifold triangulations in this file
|
|
1020
|
+
# and prints the first homology of each.
|
|
1021
|
+
#
|
|
1022
|
+
# See the Regina handbook for more elaborate sample Python sessions.
|
|
1023
|
+
|
|
1024
|
+
# Output the homology of each triangulation.
|
|
1025
|
+
t = tri.getFirstTreeChild()
|
|
1026
|
+
while t != None:
|
|
1027
|
+
print t.getPacketLabel() + ":", t.getHomologyH1()
|
|
1028
|
+
t = t.getNextTreeSibling()
|
|
1029
|
+
|
|
1030
|
+
|
|
1031
|
+
************************************************************
|
|
1032
|
+
*
|
|
1033
|
+
* Label: Root
|
|
1034
|
+
* Type: Container
|
|
1035
|
+
* Parent: (none)
|
|
1036
|
+
*
|
|
1037
|
+
************************************************************
|
|
1038
|
+
|
|
1039
|
+
Container with 7 children, 7 descendants
|
|
1040
|
+
|
|
1041
|
+
|
|
1042
|
+
************************************************************
|
|
1043
|
+
*
|
|
1044
|
+
* Label: 2-D
|
|
1045
|
+
* Type: 2-D triangulation
|
|
1046
|
+
* Parent: Root
|
|
1047
|
+
*
|
|
1048
|
+
************************************************************
|
|
1049
|
+
|
|
1050
|
+
Size of the skeleton:
|
|
1051
|
+
Triangles: 2
|
|
1052
|
+
Edges: 4
|
|
1053
|
+
Vertices: 2
|
|
1054
|
+
|
|
1055
|
+
Triangle gluing:
|
|
1056
|
+
Triangle | glued to: (01) (02) (12)
|
|
1057
|
+
----------+--------------------------------------
|
|
1058
|
+
0 | 1 (12) boundary 1 (01)
|
|
1059
|
+
1 | 0 (12) boundary 0 (01)
|
|
1060
|
+
|
|
1061
|
+
Vertices:
|
|
1062
|
+
Triangle | vertex: 0 1 2
|
|
1063
|
+
----------+----------------------
|
|
1064
|
+
0 | 0 1 0
|
|
1065
|
+
1 | 1 0 1
|
|
1066
|
+
|
|
1067
|
+
Edges:
|
|
1068
|
+
Triangle | edge: 01 02 12
|
|
1069
|
+
----------+--------------------
|
|
1070
|
+
0 | 0 1 2
|
|
1071
|
+
1 | 2 3 0
|
|
1072
|
+
|
|
1073
|
+
|
|
1074
|
+
|
|
1075
|
+
************************************************************
|
|
1076
|
+
*
|
|
1077
|
+
* Label: 3-D
|
|
1078
|
+
* Type: 3-D triangulation
|
|
1079
|
+
* Parent: Root
|
|
1080
|
+
*
|
|
1081
|
+
************************************************************
|
|
1082
|
+
|
|
1083
|
+
Size of the skeleton:
|
|
1084
|
+
Tetrahedra: 2
|
|
1085
|
+
Triangles: 6
|
|
1086
|
+
Edges: 6
|
|
1087
|
+
Vertices: 2
|
|
1088
|
+
|
|
1089
|
+
Tetrahedron gluing:
|
|
1090
|
+
Tet | glued to: (012) (013) (023) (123)
|
|
1091
|
+
-----+-------------------------------------------------------
|
|
1092
|
+
0 | 1 (123) boundary boundary 1 (012)
|
|
1093
|
+
1 | 0 (123) boundary boundary 0 (012)
|
|
1094
|
+
|
|
1095
|
+
Vertices:
|
|
1096
|
+
Tet | vertex: 0 1 2 3
|
|
1097
|
+
-----+--------------------------
|
|
1098
|
+
0 | 0 1 0 1
|
|
1099
|
+
1 | 1 0 1 0
|
|
1100
|
+
|
|
1101
|
+
Edges:
|
|
1102
|
+
Tet | edge: 01 02 03 12 13 23
|
|
1103
|
+
-----+--------------------------------
|
|
1104
|
+
0 | 0 1 2 3 4 0
|
|
1105
|
+
1 | 3 4 5 0 1 3
|
|
1106
|
+
|
|
1107
|
+
Triangles:
|
|
1108
|
+
Tet | face: 012 013 023 123
|
|
1109
|
+
-----+------------------------
|
|
1110
|
+
0 | 0 1 2 3
|
|
1111
|
+
1 | 3 4 5 0
|
|
1112
|
+
|
|
1113
|
+
|
|
1114
|
+
|
|
1115
|
+
************************************************************
|
|
1116
|
+
*
|
|
1117
|
+
* Label: 4-D
|
|
1118
|
+
* Type: 4-D triangulation
|
|
1119
|
+
* Parent: Root
|
|
1120
|
+
*
|
|
1121
|
+
************************************************************
|
|
1122
|
+
|
|
1123
|
+
Size of the skeleton:
|
|
1124
|
+
Pentachora: 2
|
|
1125
|
+
Tetrahedra: 8
|
|
1126
|
+
Triangles: 12
|
|
1127
|
+
Edges: 8
|
|
1128
|
+
Vertices: 2
|
|
1129
|
+
|
|
1130
|
+
Pentachoron gluing:
|
|
1131
|
+
Pent | glued to: (0123) (0124) (0134) (0234) (1234)
|
|
1132
|
+
------+------------------------------------------------------------------
|
|
1133
|
+
0 | 1 (1234) boundary boundary boundary 1 (0123)
|
|
1134
|
+
1 | 0 (1234) boundary boundary boundary 0 (0123)
|
|
1135
|
+
|
|
1136
|
+
Vertices:
|
|
1137
|
+
Pent | vertex: 0 1 2 3 4
|
|
1138
|
+
------+------------------------------
|
|
1139
|
+
0 | 0 1 0 1 0
|
|
1140
|
+
1 | 1 0 1 0 1
|
|
1141
|
+
|
|
1142
|
+
Edges:
|
|
1143
|
+
Pent | edge: 01 02 03 04 12 13 14 23 24 34
|
|
1144
|
+
------+------------------------------------------------
|
|
1145
|
+
0 | 0 1 2 3 4 5 6 0 1 4
|
|
1146
|
+
1 | 4 5 6 7 0 1 2 4 5 0
|
|
1147
|
+
|
|
1148
|
+
Triangles:
|
|
1149
|
+
Pent | triangle: 012 013 014 023 024 034 123 124 134 234
|
|
1150
|
+
------+----------------------------------------------------
|
|
1151
|
+
0 | 0 8 7 6 5 4 3 2 1 0
|
|
1152
|
+
1 | 3 2 11 1 10 9 0 8 6 3
|
|
1153
|
+
|
|
1154
|
+
Tetrahedra:
|
|
1155
|
+
Pent | facet: 0123 0124 0134 0234 1234
|
|
1156
|
+
------+----------------------------------
|
|
1157
|
+
0 | 0 1 2 3 4
|
|
1158
|
+
1 | 4 5 6 7 0
|
|
1159
|
+
|
|
1160
|
+
|
|
1161
|
+
|
|
1162
|
+
************************************************************
|
|
1163
|
+
*
|
|
1164
|
+
* Label: 5-D
|
|
1165
|
+
* Type: 5-D triangulation
|
|
1166
|
+
* Parent: Root
|
|
1167
|
+
*
|
|
1168
|
+
************************************************************
|
|
1169
|
+
|
|
1170
|
+
Bounded orientable 5-D triangulation, f = ( 2 10 20 20 10 2 )
|
|
1171
|
+
|
|
1172
|
+
Simplex | glued to: (01234) (01235) (01245) (01345) (02345) (12345)
|
|
1173
|
+
---------+-----------------------------------------------------------------------------------
|
|
1174
|
+
0 | 1 (12345) boundary boundary boundary boundary 1 (01234)
|
|
1175
|
+
1 | 0 (12345) boundary boundary boundary boundary 0 (01234)
|
|
1176
|
+
|
|
1177
|
+
|
|
1178
|
+
|
|
1179
|
+
************************************************************
|
|
1180
|
+
*
|
|
1181
|
+
* Label: 6-D
|
|
1182
|
+
* Type: 6-D triangulation
|
|
1183
|
+
* Parent: Root
|
|
1184
|
+
*
|
|
1185
|
+
************************************************************
|
|
1186
|
+
|
|
1187
|
+
Bounded orientable 6-D triangulation, f = ( 2 12 30 40 30 12 2 )
|
|
1188
|
+
|
|
1189
|
+
Simplex | glued to: (012345) (012346) (012356) (012456) (013456) (023456) (123456)
|
|
1190
|
+
---------+------------------------------------------------------------------------------------------------------
|
|
1191
|
+
0 | 1 (123456) boundary boundary boundary boundary boundary 1 (012345)
|
|
1192
|
+
1 | 0 (123456) boundary boundary boundary boundary boundary 0 (012345)
|
|
1193
|
+
|
|
1194
|
+
|
|
1195
|
+
|
|
1196
|
+
************************************************************
|
|
1197
|
+
*
|
|
1198
|
+
* Label: 7-D
|
|
1199
|
+
* Type: 7-D triangulation
|
|
1200
|
+
* Parent: Root
|
|
1201
|
+
*
|
|
1202
|
+
************************************************************
|
|
1203
|
+
|
|
1204
|
+
Bounded orientable 7-D triangulation, f = ( 2 14 42 70 70 42 14 2 )
|
|
1205
|
+
|
|
1206
|
+
Simplex | glued to: (0123456) (0123457) (0123467) (0123567) (0124567) (0134567) (0234567) (1234567)
|
|
1207
|
+
---------+---------------------------------------------------------------------------------------------------------------------------
|
|
1208
|
+
0 | 1 (1234567) boundary boundary boundary boundary boundary boundary 1 (0123456)
|
|
1209
|
+
1 | 0 (1234567) boundary boundary boundary boundary boundary boundary 0 (0123456)
|
|
1210
|
+
|
|
1211
|
+
|
|
1212
|
+
|
|
1213
|
+
************************************************************
|
|
1214
|
+
*
|
|
1215
|
+
* Label: 8-D
|
|
1216
|
+
* Type: 8-D triangulation
|
|
1217
|
+
* Parent: Root
|
|
1218
|
+
*
|
|
1219
|
+
************************************************************
|
|
1220
|
+
|
|
1221
|
+
Bounded orientable 8-D triangulation, f = ( 2 16 56 112 140 112 56 16 2 )
|
|
1222
|
+
|
|
1223
|
+
Simplex | glued to: (01234567) (01234568) (01234578) (01234678) (01235678) (01245678) (01345678) (02345678) (12345678)
|
|
1224
|
+
---------+--------------------------------------------------------------------------------------------------------------------------------------------------
|
|
1225
|
+
0 | 1 (12345678) boundary boundary boundary boundary boundary boundary boundary 1 (01234567)
|
|
1226
|
+
1 | 0 (12345678) boundary boundary boundary boundary boundary boundary boundary 0 (01234567)
|
|
1227
|
+
|
|
1228
|
+
|
|
1229
|
+
|