Regina XML File Format Reference

Benjamin Burton

Revision 4.96 (2014-08-29)

Both Regina and this manual are licensed under the terms of the GNU General Public License. See the users' handbook for full license details.

This manual details the XML file format used by Regina for its data files. For information on Regina itself, see the users' handbook or visit the Regina website.

This manual is current as of 29 August 2014 for Regina 4.96.


Table of Contents

I. Data File Format
abeliangroup - An abelian group
allowstrict - Deprecated: see spanstrict
allowtaut - Deprecated: see spantaut
angleparams - Parameters for an angle structure enumeration
compact (filter) - A constraint on compactness
compact (surface) - Is a normal surface compact?
compressingdisc - Does a triangulation contain a compressing disc?
connected - Is a normal surface connected?
euler (filter) - A constraint on Euler characteristic
euler (surface) - The Euler characteristic of a normal surface
filter - A normal surface filter
filter (combination) - A logical combination surface filter
filter (properties) - A surface filter that uses basic properties
flags - Deprecated: do not use
fundgroup - The fundamental group of a triangulation
group - A group presentation
H1 - The first homology group of a triangulation
H1Bdry - The first homology group of the boundary of a triangulation
H1Rel - The relative first homology group of a triangulation
H2 - The second homology group of a triangulation
haken - Does a triangulation represent a Haken 3-manifold?
irreducible - Does a triangulation represent an irreducible 3-manifold?
line - Deprecated: see packet (script) for details
op - A single logical operation
orbl (filter) - A constraint on orientability
orbl (surface) - Is a normal surface orientable?
packet - A single packet in a data file
packet (2-manifold triangulation) - A 2-manifold triangulation packet
packet (3-manifold triangulation) - A 3-manifold triangulation packet
packet (angle structure list) - An angle structure list packet
packet (container) - A container packet
packet (normal surface list) - A normal surface list packet
packet (PDF) - A PDF packet
packet (script) - A script packet
packet (SnapPea triangulation) - A SnapPea triangulation packet
packet (surface filter) - A surface filter packet
packet (text) - A text packet
params - Parameters for a normal surface enumeration
pdf - An encoded PDF document
realbdry (filter) - A constraint on real boundary
realbdry (surface) - Does a normal surface have real boundary?
reginadata - An entire Regina data file
reln - A relation in a group presentation
snappea - The full contents of a SnapPea data file
solidtorus - Does a triangulation represent the solid torus?
spanstrict - Does an angle structure list span a strict structure?
spantaut - Does an angle structure list span a taut structure?
splitsfce - Does a triangulation have a splitting surface?
struct - A single angle structure
surface - A single normal surface
tag - An individual packet tag
tet - A single tetrahedron in a 3-manifold triangulation
tetrahedra - The tetrahedra forming a 3-manifold triangulation
text - An arbitrary amount of text
threeball - Does a triangulation represent the 3-dimensional ball?
threesphere - Does a triangulation represent the 3-sphere?
triangle - A single triangle in a 2-manifold triangulation
triangles - The triangles forming a 2-manifold triangulation
turaevviro - A single Turaev-Viro invariant for a triangulation
twosided - Is a normal surface two-sided?
var - A single script variable
zeroeff - Is a triangulation 0-efficient?