<?xml version="1.0"?>
<reginadata engine="5.0">
<packet label="Sample Data File"
	type="Container" typeid="1"
	parent="">
<packet label="Read Me"
	type="Text" typeid="2"
	parent="Sample Data File">
  <text>Welcome to Regina!

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).

These objects are called &quot;packets&quot;, 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).

Have a play with the packets in this file to see what Regina can do.

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?

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.

Any questions?  Just mail the authors; see Help → About for our email addresses.

Enjoy!

- The Regina development team</text>
</packet> <!-- Read Me (Text) -->
<packet label="3-Manifolds"
	type="Container" typeid="1"
	id="UE9mmKV/AAA="
	parent="Sample Data File">
<packet label="Layered Solid Torus"
	type="3-Manifold Triangulation" typeid="3"
	parent="3-Manifolds">
  <tetrahedra ntet="4">
    <tet desc=""> 1 54 1 156 -1 -1 -1 -1 </tet>
    <tet desc=""> 2 54 2 156 0 135 0 120 </tet>
    <tet desc=""> 3 39 3 216 1 135 1 120 </tet>
    <tet desc=""> 3 57 3 147 2 216 2 39 </tet>
  </tetrahedra>
  <H1><abeliangroup rank="1"> </abeliangroup></H1>
<packet label="Vertex Link"
	type="2-Manifold Triangulation" typeid="15"
	parent="Layered Solid Torus">
  <triangles ntriangles="16">
    <triangle desc=""> 1 4 -1 -1 -1 -1 </triangle>
    <triangle desc=""> 2 4 3 3 0 2 </triangle>
    <triangle desc=""> 4 5 5 3 1 2 </triangle>
    <triangle desc=""> 1 3 6 5 -1 -1 </triangle>
    <triangle desc=""> 8 0 7 2 2 5 </triangle>
    <triangle desc=""> 2 3 9 5 10 5 </triangle>
    <triangle desc=""> 11 5 3 5 8 3 </triangle>
    <triangle desc=""> 12 0 8 5 4 4 </triangle>
    <triangle desc=""> 4 0 7 5 6 3 </triangle>
    <triangle desc=""> 13 2 5 5 12 3 </triangle>
    <triangle desc=""> 5 5 14 1 -1 -1 </triangle>
    <triangle desc=""> 13 5 14 4 6 5 </triangle>
    <triangle desc=""> 7 0 13 4 9 3 </triangle>
    <triangle desc=""> 12 2 9 4 11 5 </triangle>
    <triangle desc=""> 11 2 15 4 10 1 </triangle>
    <triangle desc=""> 14 2 -1 -1 -1 -1 </triangle>
  </triangles>
</packet> <!-- Vertex Link (2_Manifold Triangulation) -->
<packet label="Fundamental Normal Surfaces"
	type="Normal Surface List" typeid="6"
	parent="Layered Solid Torus">
  <params type="9" algorithm="273" flavourid="0"
	flavour="Standard normal (tri-quad)"/>
  <surface len="28" name=""> 6 1 12 1 18 1 26 1
	<euler value="-1"/>
	<orbl value="F"/>
	<twosided value="F"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 6 2 12 2 16 1 17 1 18 1 21 1 22 1 23 1 24 1
	<euler value="0"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 5 2 9 1 10 1 11 1 14 1 15 1 18 1 26 2
	<euler value="-2"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 5 2 9 1 10 1 11 1 14 1 15 1 16 1 17 1 21 1 22 1 23 1 24 1
	<euler value="0"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 4 2 13 2 19 2 23 1 24 1 25 1
	<euler value="-2"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 2 1 3 1 4 1 7 1 8 1 9 1 10 1 14 1 15 1 18 1 26 2
	<euler value="-2"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 2 1 3 1 4 1 7 1 8 1 9 1 10 1 14 1 15 1 16 1 17 1 21 1 22 1 23 1 24 1
	<euler value="0"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 0 1 1 1 4 1 13 2 19 2 23 1 24 1 25 1
	<euler value="-1"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 0 1 1 1 2 1 3 1 7 1 8 1 9 1 10 1 14 1 15 1 18 1 26 2
	<euler value="-1"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 0 1 1 1 2 1 3 1 7 1 8 1 9 1 10 1 14 1 15 1 16 1 17 1 21 1 22 1 23 1 24 1
	<euler value="1"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 0 2 1 2 13 2 19 2 23 1 24 1 25 1
	<euler value="0"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 0 2 1 2 6 1 7 1 8 1 13 1 14 1 15 1 26 1
	<euler value="0"/>
	<orbl value="F"/>
	<twosided value="F"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
  <surface len="28" name=""> 0 4 1 4 6 3 7 3 8 3 13 1 14 1 15 1 20 2 21 1 22 1 27 1
	<euler value="1"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="T"/>
	<compact value="T"/> </surface>
</packet> <!-- Fundamental Normal Surfaces (Normal Surface List) -->
</packet> <!-- Layered Solid Torus (3_Manifold Triangulation) -->
<packet label="Poincaré Homology Sphere"
	type="3-Manifold Triangulation" typeid="3"
	parent="3-Manifolds">
  <tetrahedra ntet="5">
    <tet desc=""> 1 120 2 147 3 78 4 39 </tet>
    <tet desc=""> 0 156 2 54 3 147 4 78 </tet>
    <tet desc=""> 0 57 1 135 3 45 4 147 </tet>
    <tet desc=""> 0 78 1 57 2 99 4 201 </tet>
    <tet desc=""> 0 39 1 78 2 57 3 210 </tet>
  </tetrahedra>
  <H1><abeliangroup rank="0"> </abeliangroup></H1>
  <H1Rel><abeliangroup rank="0"> </abeliangroup></H1Rel>
  <H1Bdry><abeliangroup rank="0"> </abeliangroup></H1Bdry>
  <H2><abeliangroup rank="0"> </abeliangroup></H2>
  <zeroeff value="T"/>
  <splitsfce value="F"/>
</packet> <!-- Poincaré Homology Sphere (3_Manifold Triangulation) -->
<packet label="RP² x S¹"
	type="3-Manifold Triangulation" typeid="3"
	parent="3-Manifolds">
  <tetrahedra ntet="3">
    <tet desc=""> 1 228 1 228 2 141 2 120 </tet>
    <tet desc=""> 0 228 0 228 2 39 2 210 </tet>
    <tet desc=""> 0 114 0 156 1 39 1 201 </tet>
  </tetrahedra>
  <H1><abeliangroup rank="1"> 2 </abeliangroup></H1>
  <H1Rel><abeliangroup rank="1"> 2 </abeliangroup></H1Rel>
  <H1Bdry><abeliangroup rank="0"> </abeliangroup></H1Bdry>
  <H2><abeliangroup rank="0"> 2 </abeliangroup></H2>
<packet label="Note"
	type="Text" typeid="2"
	parent="RP² x S¹">
  <text>There are in fact two triangulations of this 3-manifold with three tetrahedra.</text>
</packet> <!-- Note (Text) -->
</packet> <!-- RP² x S¹ (3_Manifold Triangulation) -->
<packet label="Whitehead Link Complement"
	type="SnapPea Triangulation" typeid="16"
	parent="3-Manifolds">
  <snappea>% Triangulation
m129
geometric_solution  3.66386238
oriented_manifold
CS_unknown

2 0
    torus   0.000000000000   0.000000000000
    torus   0.000000000000   0.000000000000

4
   1    2    3    1 
 0132 0132 0132 3201
   0    1    0    1 
  0  1 -1  0 -1  0  1  0  0  0  0  0  0  0  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0 -1  0  1  0  0 -1  1 -1  0  0  1  0  0  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  1.000000000000   1.000000000000

   0    0    3    2 
 0132 2310 3120 3120
   0    1    1    0 
  0  0  0  0  1  0 -1  0  0  0  0  0  0  0  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0 -1  1  0  0  0  0  0  0 -1  0  1  1 -1  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0.500000000000   0.500000000000

   1    0    3    3 
 3120 0132 0213 3120
   0    1    1    0 
  0 -1  1  0  0  0  0  0  0  0  0  0  0  0  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0  1  0 -1  0  0 -1  1 -1  0  0  1  0  0  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0.500000000000   0.500000000000

   2    2    1    0 
 3120 0213 3120 0132
   0    1    1    0 
  0 -1  0  1  0  0  1 -1  0  0  0  0  0  0  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0  0  0  0 -1  0  0  1 -1  1  0  0  1  0 -1  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0.500000000000   0.500000000000

</snappea>
</packet> <!-- Whitehead Link Complement (SnapPea Triangulation) -->
<packet label="Figure 8 Knot Complement"
	type="SnapPea Triangulation" typeid="16"
	parent="3-Manifolds">
  <snappea>% Triangulation
m004
geometric_solution  2.02988321
oriented_manifold
CS_unknown

1 0
    torus   0.000000000000   0.000000000000

2
   1    1    1    1 
 0132 1230 2310 2103
   0    0    0    0 
  0  0  0  0  0  0  0  0 -1  1  0  0  0  0  0  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0 -1  0  1  1  0 -1  0  0  1  0 -1 -1  0  1  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0.500000000000   0.866025403784

   0    0    0    0 
 0132 3201 3012 2103
   0    0    0    0 
  0  0  0  0  0  0  0  0  0  0  0  0  1  0 -1  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0 -1  0  1 -1  0  1  0  1  0  0 -1  0  1 -1  0
  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
  0.500000000000   0.866025403784

</snappea>
<packet label="Vertex Link"
	type="2-Manifold Triangulation" typeid="15"
	parent="Figure 8 Knot Complement">
  <triangles ntriangles="8">
    <triangle desc=""> 1 0 2 3 2 1 </triangle>
    <triangle desc=""> 0 0 3 1 3 5 </triangle>
    <triangle desc=""> 0 3 0 1 4 2 </triangle>
    <triangle desc=""> 1 5 5 0 1 1 </triangle>
    <triangle desc=""> 2 4 6 1 6 5 </triangle>
    <triangle desc=""> 7 3 3 0 7 5 </triangle>
    <triangle desc=""> 4 5 7 2 4 1 </triangle>
    <triangle desc=""> 5 5 5 3 6 4 </triangle>
  </triangles>
</packet> <!-- Vertex Link (2_Manifold Triangulation) -->
<packet label="Tri-Quad Normal Surfaces"
	type="Normal Surface List" typeid="6"
	parent="Figure 8 Knot Complement">
  <params type="5" algorithm="34" flavourid="0"
	flavour="Standard normal (tri-quad)"/>
  <surface len="14" name=""> 0 1 1 1 2 1 3 1 7 1 8 1 9 1 10 1
	<euler value="0"/>
	<orbl value="T"/>
	<twosided value="T"/>
	<connected value="T"/>
	<realbdry value="F"/>
	<compact value="T"/> </surface>
</packet> <!-- Tri_Quad Normal Surfaces (Normal Surface List) -->
<packet label="Quad Normal Surfaces"
	type="Normal Surface List" typeid="6"
	parent="Figure 8 Knot Complement">
  <params type="5" algorithm="16" flavourid="1"
	flavour="Quad normal"/>
  <surface len="6" name=""> 0 2 3 1
	<compact value="F"/> </surface>
  <surface len="6" name=""> 2 2 3 1
	<compact value="F"/> </surface>
  <surface len="6" name=""> 1 1 4 2
	<compact value="F"/> </surface>
  <surface len="6" name=""> 1 1 5 2
	<compact value="F"/> </surface>
</packet> <!-- Quad Normal Surfaces (Normal Surface List) -->
<packet label="Angle Structures"
	type="Angle Structure List" typeid="9"
	parent="Figure 8 Knot Complement">
  <angleparams tautonly="F"/>
  <struct len="7"> 1 1 3 1 6 1 </struct>
  <struct len="7"> 2 1 5 1 6 1 </struct>
  <struct len="7"> 0 1 4 1 6 1 </struct>
  <struct len="7"> 0 1 2 1 3 2 6 2 </struct>
  <struct len="7"> 1 2 4 1 5 1 6 2 </struct>
  <spanstrict value="T"/>
  <spantaut value="T"/>
</packet> <!-- Angle Structures (Angle Structure List) -->
</packet> <!-- Figure 8 Knot Complement (SnapPea Triangulation) -->
</packet> <!-- 3_Manifolds (Container) -->
<packet label="4-Manifolds"
	type="Container" typeid="1"
	parent="Sample Data File">
<packet label="Cappell-Shaneson Knot Complement"
	type="4-Manifold Triangulation" typeid="11"
	parent="4-Manifolds">
  <pentachora npent="2">
    <pent desc=""> 0 17475 1 17496 1 17937 0 16593 1 10440 </pent>
    <pent desc=""> 0 17986 1 13408 0 13576 0 17104 1 6352 </pent>
  </pentachora>
  <fundgroup>
<group generators="2">
  <reln> 0^1 1^2 0^-2 1^-3 </reln>
  <reln> 1^2 0^3 1^-1 0^-2 </reln>
</group>
  </fundgroup>
</packet> <!-- Cappell_Shaneson Knot Complement (4_Manifold Triangulation) -->
<packet label="Twisted S³ x~ S¹"
	type="4-Manifold Triangulation" typeid="11"
	parent="4-Manifolds">
  <pentachora npent="2">
    <pent desc=""> 0 13380 1 18056 1 18056 1 18056 0 2257 </pent>
    <pent desc=""> 1 13380 0 18056 0 18056 0 18056 1 2257 </pent>
  </pentachora>
<packet label="Normal Hypersurfaces"
	type="Normal Hypersurface List" typeid="13"
	parent="Twisted S³ x~ S¹">
  <params type="5" algorithm="32" flavourid="0"
	flavour="Standard normal (tet-prism)"/>
  <hypersurface len="30" name=""> 10 1 25 1 </hypersurface>
  <hypersurface len="30" name=""> 2 1 7 1 11 1 17 1 22 1 26 1 </hypersurface>
  <hypersurface len="30" name=""> 1 1 2 1 3 1 8 1 16 1 17 1 18 1 23 1 </hypersurface>
  <hypersurface len="30" name=""> 0 1 4 1 5 1 14 1 15 1 19 1 20 1 29 1 </hypersurface>
  <hypersurface len="30" name=""> 0 1 1 1 2 1 3 1 4 1 15 1 16 1 17 1 18 1 19 1 </hypersurface>
</packet> <!-- Normal Hypersurfaces (Normal Hypersurface List) -->
</packet> <!-- Twisted S³ x~ S¹ (4_Manifold Triangulation) -->
</packet> <!-- 4_Manifolds (Container) -->
<packet label="2-Manifolds"
	type="Container" typeid="1"
	parent="Sample Data File">
<packet label="Octahedron Boundary"
	type="2-Manifold Triangulation" typeid="15"
	parent="2-Manifolds">
  <triangles ntriangles="8">
    <triangle desc=""> 4 0 1 1 3 1 </triangle>
    <triangle desc=""> 5 0 2 1 0 1 </triangle>
    <triangle desc=""> 6 0 3 1 1 1 </triangle>
    <triangle desc=""> 7 0 0 1 2 1 </triangle>
    <triangle desc=""> 0 0 5 1 7 1 </triangle>
    <triangle desc=""> 1 0 6 1 4 1 </triangle>
    <triangle desc=""> 2 0 7 1 5 1 </triangle>
    <triangle desc=""> 3 0 4 1 6 1 </triangle>
  </triangles>
</packet> <!-- Octahedron Boundary (2_Manifold Triangulation) -->
<packet label="Klein Bottle, version 1"
	type="2-Manifold Triangulation" typeid="15"
	parent="2-Manifolds">
  <triangles ntriangles="2">
    <triangle desc=""> 1 1 1 5 1 0 </triangle>
    <triangle desc=""> 0 1 0 5 0 0 </triangle>
  </triangles>
</packet> <!-- Klein Bottle, version 1 (2_Manifold Triangulation) -->
<packet label="Klein Bottle, version 2"
	type="2-Manifold Triangulation" typeid="15"
	parent="2-Manifolds">
  <triangles ntriangles="2">
    <triangle desc=""> 0 4 1 0 0 2 </triangle>
    <triangle desc=""> 1 4 0 0 1 2 </triangle>
  </triangles>
</packet> <!-- Klein Bottle, version 2 (2_Manifold Triangulation) -->
</packet> <!-- 2_Manifolds (Container) -->
<packet label="Normal Surface Filters"
	type="Container" typeid="1"
	parent="Sample Data File">
<packet label="Tori, Annuli and Discs"
	type="Surface Filter" typeid="8"
	parent="Normal Surface Filters">
  <filter type="Combination filter" typeid="2">
    <op type="or"/>
  </filter>
<packet label="Tori and Annuli"
	type="Surface Filter" typeid="8"
	parent="Tori, Annuli and Discs">
  <filter type="Filter by basic properties" typeid="1">
    <euler> 0 </euler>
    <orbl value="T-"/>
    <compact value="T-"/>
  </filter>
</packet> <!-- Tori and Annuli (Surface Filter) -->
<packet label="Discs"
	type="Surface Filter" typeid="8"
	parent="Tori, Annuli and Discs">
  <filter type="Filter by basic properties" typeid="1">
    <euler> 1 </euler>
    <orbl value="T-"/>
    <compact value="T-"/>
    <realbdry value="T-"/>
  </filter>
</packet> <!-- Discs (Surface Filter) -->
</packet> <!-- Tori, Annuli and Discs (Surface Filter) -->
</packet> <!-- Normal Surface Filters (Container) -->
<packet label="Python Script"
	type="Script" typeid="7"
	parent="Sample Data File">
  <var name="tri" valueid="UE9mmKV/AAA=" value="3-Manifolds"/>
  <text># This Python script runs through all 3-manifold triangulations in this file
# and prints the first homology of each.
#
# See the Regina handbook for more elaborate sample Python sessions.

# Output the homology of each triangulation.
t = tri.firstChild()
while t != None:
	print t.label() + &quot;:&quot;, t.homology()
	t = t.nextSibling()
</text>
</packet> <!-- Python Script (Script) -->
</packet> <!-- Sample Data File (Container) -->
</reginadata>
