NAME
trisetcmp - Compare triangulations between two Regina data files
SYNOPSIS
trisetcmp [ -m | -n ] [ -s ] file1 file2
DESCRIPTION
This utility compares all triangulations in the first file against all
triangulations in the second file. Specifically, it looks to see which
triangulations from file1 are isomorphic to which triangulations from
file2.
The two given files must be Regina data files. A full list of matches
(or a full list of non-matches if -n is passed) is written to standard
output.
This utility can also do subcomplex testing instead of full isomorphism
testing. See the option -s for details.
OPTIONS
-m (default)
Output matches only. All isomorphic matches between
triangulations in file1 and triangulations in file2 will be
listed.
-n Output non-matches only. All triangulations from file1 with no
isomorphic match in file2 will be listed, and vice versa.
The behaviour of this option is slightly different when -s is
passed; in particular, non-matches are only tested in one
direction only (there is no vice versa as indicated above).
-s Instead of testing triangulations for isomorphism, test whether
one triangulation is isomorphic to a subcomplex of the other.
In the default case of -m (output matches only), this program
outputs all instances where a triangulation from file1 is
isomorphic to a subcomplex of a triangulation from file2.
In the case of -n (output non-matches only), this program
outputs all triangulations from file1 that are not isomorphic to
a subcomplex of any triangulation from file2.
INTERNATIONALISATION
If any packets contain international characters, Regina will attempt to
convert these to your local character encoding as it writes them to the
output.
You can tell Regina what character encoding to use by setting standard
locale-related environment variables, such as LANG, LC_CTYPE or LC_ALL.
For example, if LANG is set to en_AU then output will be written in the
Western European character set ISO-8859-1, and if LANG is set to
en_AU.UTF-8 then output will be written in the universal character set
UTF-8.
Typically these environment variables will have been set for you when
you installed your GNU/Linux system, and Regina should just use the
right character set out of the box. See your GNU/Linux system
reference for further information on support for different locales.
SEE ALSO
regina-kde.
AUTHOR
Regina was written by Ben Burton <bab@debian.org> with help from
others; see the documentation for full details.
12 May 2009