trisetcmp

Langue: en

Version: 24 October 2008 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

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.