これは、Ubuntu Online、Fedora Online、Windowsオンラインエミュレーター、MACOSオンラインエミュレーターなどの複数の無料オンラインワークステーションのXNUMXつを使用してOnWorks無料ホスティングプロバイダーで実行できるコマンドtrisetcmpです。
プログラム:
NAME
trisetcmp - XNUMX つの Regina データ ファイル間の三角形分割を比較する
SYNOPSIS
trisetcmp [ -m | -n ] [ -s ] file1 file2
DESCRIPTION
最初のファイルのすべての三角形分割を XNUMX 番目のファイルのすべての三角形分割と比較します
ファイルを検索し、組み合わせ的に同型である三角形分割のペアを探します。
指定された XNUMX つのファイルは、Regina データ ファイルである必要があります。 一致の完全なリスト (または完全なリスト
不一致の場合 -n が渡されます) が標準出力に書き込まれます。 いくつかの場合に一致が発生します
からの三角測量 file1 からの三角形分割に組み合わせ的に同型である file2
(つまり、四面体とその頂点の再ラベル付けまで同一)。
このユーティリティは、完全な同形テストの代わりにサブコンプレックス テストも実行できます。 を参照してください
オプション -s 詳細については。
OPTIONS
-m (デフォルト)
出力一致のみ。 の三角形分割間のすべての同形一致 file1 と
の三角形分割 file2 リストされます。
-n 不一致のみを出力します。 からのすべての三角形分割 file1 同型一致なし
file2 がリストされ、その逆も同様です。
If -s が渡された場合、不一致は一方向のみでテストされ、両方ではありません。 見る
詳細は以下をご覧ください。
-s 同形の三角形分割をテストする代わりに、XNUMX つの三角形分割が正しいかどうかをテストします。
は他のサブコンプレックスと同形です。
デフォルトの場合 -m (出力一致のみ)、このプログラムはすべてのインスタンスを出力します
どこからの三角測量 file1 三角形分割のサブコンプレックスに同型
from file2.
の場合には -n (不一致のみを出力)、このプログラムはすべてを出力します
からの三角形分割 file1 のサブコンプレックスと同型でないもの
からの三角測量 file2.
国際化
パケットに国際文字が含まれている場合、Reginaはこれらをに変換しようとします
出力に書き込むときのローカル文字エンコード。
標準のロケール関連を設定することで、使用する文字エンコードをReginaに指示できます。
などの環境変数 言語, LC_CTYPE or LC_ALL.
たとえば、 言語 en_AUに設定すると、出力は西ヨーロッパで書き込まれます
文字セットISO-8859-1、および 言語 en_AU.UTF-8に設定すると、出力は次のように書き込まれます。
ユニバーサル文字セットUTF-8。
通常、これらの環境変数は、インストール時にすでに設定されています。
GNU / Linuxの システム、およびレジーナは箱から出してちょうど正しい文字セットを使用します。 見る
GNU / Linuxの さまざまなロケールのサポートの詳細については、システムリファレンスを参照してください。
マックOS X USERS
ドラッグアンドドロップアプリバンドルをダウンロードした場合、このユーティリティはその中に同梱されています。 もし、あんたが
ReginaをメインのApplicationsフォルダーにドラッグすると、次のように実行できます。
/アプリケーション/Regina.app/Contents/MacOS/trisetcmp。
WINDOWS USERS
コマンドラインユーティリティは、 演奏曲目 ディレクトリ; いくつかの
このディレクトリが呼び出されるマシン 演奏曲目 (X86)。 このユーティリティは、次の方法で開始できます。
c:\Program Files\Regina\Regina 4.96\bin\trisetcmp.exe を実行しています。
onworks.net サービスを使用してオンラインで trisetcmp を使用する