Regina 7.3 File Format Reference

Benjamin Burton

Revision 7.3 (2023-03-18)

Both Regina and this reference 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. It covers the current (third-generation) format in full detail, as well as some deprecated elements that were used in the older (second-generation) format. For information on Regina itself, see the users' handbook or visit the Regina website.


Table of Contents

I. Current Data File Format
abeliangroup - An abelian group
angles - An angle structure list packet
anon - A collection of anonymous packets
anonref - Moves an anonymous packet into the packet tree
attachment - An arbitrary file attachment
code - An arbitrary amount of Python code
compact - Is a normal surface/hypersurface compact?
components - The components of a knot/link diagram
compressingdisc - Does a triangulation contain a compressing disc?
connected - Is a normal surface connected?
connections - The connections between crossings in a knot/link diagram
container - A container packet
crossings - The individual crossings in a knot/link diagram
euler - The Euler characteristic of a normal surface
filtercomb - A logical combination surface filter
filterprop - A surface filter that uses basic properties
filtertrivial - A trivial surface filter
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?
handlebody - Does a triangulation represent an orientable handlebody?
hypersurface - A single normal hypersurface in a 4-manifold triangulation
hypersurfaces - A normal hypersurface list packet
irreducible - Does a triangulation represent an irreducible 3-manifold?
link - A knot/link packet
orbl - Is a normal surface orientable?
realbdry - Does a normal surface/hypersurface have real boundary?
regina - An entire Regina data file
reln - A relation in a group presentation
script - A script packet
simplex - A single top-dimensional simplex in a dim-dimensional triangulation
snappeadata - A SnapPea triangulation packet
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 in a 3-manifold triangulation
surfaces - A normal surface list packet
tag - A user-assigned packet tag
textdata - A text packet
threesphere - Does a triangulation represent the 3-sphere?
tri - A triangulation packet
twosided - Is a normal surface two-sided?
txi - Does a triangulation represent the product of the torus with an interval?
var - A single script variable
zeroeff - Is a triangulation 0-efficient?
II. Deprecated and Removed Elements
allowstrict - Replaced by spanstrict
allowtaut - Replaced by spantaut
angleparams - Replaced by attributes of angles
compact (filter) - Replaced by attributes of filterprop
euler (filter) - Replaced by attributes of filterprop
filter - Replaced by different elements for different filter types
filter (combination) - Replaced by filtercomb
filter (properties) - Replaced by filterprop
flags - No longer stored
line - Replaced by code
op - Replaced by attributes of filtercomb
orbl (filter) - Replaced by attributes of filterprop
packet - Replaced by different elements for different packet types
packet (2-dimensional triangulation) - Replaced by tri
packet (3-dimensional triangulation) - Replaced by tri
packet (4-dimensional triangulation) - Replaced by tri
packet (dim-dimensional triangulation) - Replaced by tri
packet (angle structure list) - Replaced by angles
packet (container) - Replaced by container
packet (link) - Replaced by link
packet (normal hypersurface list) - Replaced by hypersurfaces
packet (normal surface list) - Replaced by surfaces
packet (PDF) - Replaced by attachment
packet (script) - Replaced by script
packet (SnapPea triangulation) - Replaced by snappeadata
packet (surface filter) - Replaced by filtercomb, filterprop and filtertrivial
packet (text) - Replaced by textdata
params - Replaced by attributes of surfaces and hypersurfaces
pent - Replaced by simplex
pentachora - Replaced by tri
pdf - Replaced by attachment
realbdry (filter) - Replaced by attributes of filterprop
reginadata - Replaced by regina
simplices - Replaced by tri
snappea - Replaced by snappeadata
solidtorus - Replaced by handlebody
tet - Replaced by simplex
tetrahedra - Replaced by tri
text - Replaced by textdata and code
threeball - Replaced by handlebody
triangle - Replaced by simplex
triangles - Replaced by tri
turaevviro - No longer stored