EnglishFrenchSpanish

OnWorks favicon

trisetcmp - Online in the Cloud

Run trisetcmp in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command trisetcmp that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


trisetcmp - Compare triangulations between two Regina data files

SYNOPSIS


trisetcmp [ -m | -n ] [ -s ] file1 file2

DESCRIPTION


Compares all triangulations in the first file against all triangulations in the second
file, looking for pairs of triangulations that are combinatorially isomorphic.

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. A match occurs when some
triangulation from file1 is combinatorially isomorphic to some triangulation from file2
(i.e., identical up to a relabelling of tetrahedra and their vertices).

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.

If -s is passed then non-matches are tested in one direction only, not both; see
below for details.

-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 already be set for you when you install your
GNU/Linux system, and Regina will just use the right character set out of the box. See
your GNU/Linux system reference for further information on supporting different locales.

MACOS X USERS


If you downloaded a drag-and-drop app bundle, this utility is shipped inside it. If you
dragged Regina to the main Applications folder, you can run it as
/Applications/Regina.app/Contents/MacOS/trisetcmp.

WINDOWS USERS


The command-line utilities are installed beneath the Program Files directory; on some
machines this directory is called Program Files (x86). You can start this utility by
running c:\Program Files\Regina\Regina 4.96\bin\trisetcmp.exe.

Use trisetcmp online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    rEFInd
    rEFInd
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 2
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 3
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    tas...
    Download Music Caster
  • 4
    PyQt
    PyQt
    PyQt is the Python bindings for
    Digia's Qt cross-platform
    application development framework. It
    supports Python v2 and v3 and Qt v4 and
    Qt v5. PyQt is avail...
    Download PyQt
  • 5
    Sardi
    Sardi
    Sardi is a complete restyling and
    optimisation of svg code. 6 choices for
    your applications and 10 kind of folders
    to use in your file manager. The sardi
    icons...
    Download Sardi
  • 6
    LMMS Digital Audio Workstation
    LMMS Digital Audio Workstation
    LMMS is a free cross-platform software
    which allows you to produce music with
    your computer. If you like this project
    consider getting involved in the project
    h...
    Download LMMS Digital Audio Workstation
  • More »

Linux commands

Ad