tricensus - En ligne dans le Cloud

PROGRAMME:

Nom

tricensus - Former un recensement de triangulations à 3 variétés

SYNOPSIS

tricensus [ -t, --tétraèdre=tétraèdres ] [ -2, --dim2 ] [ -b, --frontière | -je, --interne
| -B, --bdryfaces=triangles ] [ -o, --orientable | -n, --non orientable ] [ -F, --fini |
-ré, --idéal ] [ -m, --minimal | -M, --minprime | -N, --minprimep2 | -h, --minhyp ] [ -Oui,
--sig | -c, --sous-conteneurs ] [ -p, --genpairs | -P, --usepairs ] fichier de sortie

tricensus --Aidez-moi

DESCRIPTION

Forme un recensement de toutes les triangulations à 3 ou 2 variétés qui satisfont à un ensemble de
conditions.

Ces conditions sont spécifiées à l'aide de divers arguments de ligne de commande. La seule condition
que vous doit fournir est le nombre de tétraèdres, mais il existe de nombreuses autres options
disponible.

Le comportement par défaut consiste à énumérer les triangulations à 3 variétés. Si vous souhaitez énumérer
les triangulations à 2 collecteurs à la place, vous devez passer --dim2.

Chaque triangulation sera sortie précisément une fois jusqu'à l'isomorphisme combinatoire. Invalide
triangulations 3-variétés (c'est-à-dire des triangulations avec des arêtes identifiées à elles-mêmes dans
inverse, ou les sommets dont les liens ont des limites mais ne sont pas des disques) ne seront pas sortis à
tout.

Au fur et à mesure que le recensement progresse, l'état d'avancement sera écrit (lentement) selon la norme
sortir. Une fois le recensement terminé, le recensement complet sera enregistré dans la sortie donnée
fichier.

Vous pouvez utiliser les options --genpairs et --usepairs diviser un recensement en plus petits morceaux.
Voir aussi tricensus-mpi, un outil plus puissant qui vous permet de distribuer un recensement à travers
un cluster de calcul haute performance.

Prudence :

Un recensement avec même un petit nombre de tétraèdres peut prendre un temps incroyablement long à
exécuter, et peut mâcher des quantités massives de mémoire. Il est recommandé d'essayer
de très petits recensements pour commencer (comme 3 ou 4 tétraèdres), et travailler vers le haut pour
établir les limites de votre machine.

Pour les très grands recensements, il est très recommandé que vous utilisez le --sig
option, qui gardera le fichier de sortie petit et réduira considérablement la mémoire
.

OPTIONS

-t, --tétraèdre=tétraèdres
Spécifie le nombre de tétraèdres utilisés pour construire les triangulations.

If --dim2 est passé, cette même option doit être utilisée pour spécifier le nombre de
des triangles à la place.

-2, --dim2
Construisez un recensement de triangulations à 2 variétés, et non de triangulations à 3 variétés.

Ceci est incompatible avec plusieurs options ; pour les autres options, il se traduit simplement
la contrainte pertinente en deux dimensions. Voir chaque option individuelle pour
détails sur la façon dont il interagit avec --dim2.

-b, --frontière
Ne produisez que des triangulations avec au moins un triangle frontière.

If --dim2 est passé, cela spécifie au moins un bord de frontière.

-je, --interne
Ne produisez que des triangulations avec tous les triangles internes (c'est-à-dire sans frontière
Triangles).

If --dim2 est passé, cela indique que toutes les arêtes doivent être internes.

-B, --bdryfaces=triangles
Ne produisez que des triangulations avec le nombre précis de triangles frontières
spécifié.

If --dim2 est passé, cela spécifie le nombre de bords de frontière.

-o, --orientable
Ne produire que des triangulations orientables.

-n, --non orientable
Ne produire que des triangulations non orientables.

-F, --fini
Ne produire que des triangulations finies (triangulations sans sommets idéaux).

Cette option ne peut pas être utilisée avec --dim2.

-ré, --idéal
Ne produisez que des triangulations avec au moins un sommet idéal. Il pourrait ou pourrait
ne pas être également des sommets internes (dont les liens sont des sphères).

Cette option ne peut pas être utilisée avec --dim2.

-m, --minimal
N'incluez pas les triangulations qui sont manifestement non minimales.

Cette option utilise une série de tests rapides qui tentent d'éliminer les
triangulations, mais qui ne sont pas toujours concluantes. Si Regina ne peut pas dire rapidement
si une triangulation est non minimale, elle placera la triangulation dans le
recensement malgré tout.

-M, --minprime
N'incluez pas les triangulations qui sont manifestement non minimales, non premières et/ou
disque-réductible.

Cela peut accélérer considérablement le recensement et réduire considérablement le nombre final de
triangulations produites.

Comme ci-dessus, cette option utilise une série de tests rapides qui ne sont pas toujours concluants.
Si Regina ne peut pas dire rapidement si une triangulation est non minimale, non première ou
disque-réductible, il placera la triangulation dans le recensement malgré tout.

Cette option ne peut pas être utilisée avec --dim2.

-N, --minprimep2
N'incluez pas les triangulations qui sont manifestement non minimales, non premières,
P2-réductible et/ou disque-réductible.

Cela peut accélérer considérablement le recensement et réduire considérablement le nombre final de
triangulations produites, encore plus que --minprime.

Comme ci-dessus, cette option utilise une série de tests rapides qui ne sont pas toujours concluants.
Si Regina ne peut pas dire rapidement si une triangulation est non-minimale, non-prime,
P2-réductible ou disque-réductible, il placera la triangulation dans le recensement
indépendamment.

Cette option ne peut pas être utilisée avec --dim2.

-h, --minhyp
Ne pas inclure les triangulations qui ne sont évidemment pas des triangulations idéales minimales
de 3-variétés hyperboliques à volume fini cuspidé.

Cela peut accélérer considérablement le recensement et réduire considérablement le nombre final de
triangulations produites.

Comme ci-dessus, cette option utilise une série de tests rapides qui ne sont pas toujours concluants.
Si Regina ne peut pas dire rapidement si une triangulation est un idéal minimal
triangulation d'une 3-variété hyperbolique de volume fini cuspidé, il placera le
triangulation dans le recensement indépendamment.

Cette option est conçue pour être utilisée uniquement avec des triangulations idéales (ainsi, par exemple,
en le combinant avec --fini or --frontière produira un message d'erreur). Cette
L'option ne peut pas non plus être utilisée avec --dim2.

-Oui, --sig
Au lieu d'écrire un fichier de données Regina complet, affichez simplement une liste d'isomorphismes
signatures.

Le fichier de sortie sera un fichier texte brut. Chaque ligne sera une courte chaîne de
lettres, chiffres et ponctuation qui encodent de manière unique une triangulation jusqu'à
isomorphisme combinatoire. Vous pouvez importer ce fichier texte depuis Regina en
en sélectionnant Fichier->Importer->Liste des signatures d'isomorphisme dans le menu.

Cette option est fortement recommandée pour les grands recensements. Tout d'abord, la sortie
fichier sera considérablement plus petit. Plus important encore, l'empreinte mémoire de
tricensus sera également beaucoup plus petit : les triangulations peuvent être écrites sur la sortie
fichier et oublié immédiatement, au lieu d'être gardé en mémoire pour construire un
fichier de données final de Regina.

-c, --sous-conteneurs
Pour chaque appariement de visage, un nouveau conteneur sera créé et le résultat
des triangulations seront placées dans ces conteneurs. Ces conteneurs seront
créé même si l'appariement des visages n'entraîne aucune triangulation.

Cette option ne peut pas être utilisée avec --sig.

-p, --genpairs
Ne générez que des appariements de visages, pas des triangulations.

La couche la plus externe du code de recensement consiste à associer les visages des individus
tétraèdres sans déterminer les permutations de collage correspondantes. Pour chaque
appariement de visage qui est produit, Regina essaiera de nombreux ensembles de collage différents
permutations et généré les triangulations correspondantes.

La génération de l'appariement de visages consomme une très petite fraction du temps d'exécution total du recensement,
et divise efficacement le recensement en plusieurs parties. Cette option vous permet de
générer rapidement une liste complète des paires de visages possibles, afin que vous puissiez nourrir
des sous-ensembles de cette liste à différentes machines sur lesquelles travailler simultanément. Vous pouvez
coordonnez cela manuellement, ou vous pouvez utiliser tricensus-mpi pour le coordonner pour vous sur
un cluster performant.

La liste de toutes les paires de visages sera écrite dans le fichier de sortie donné sous forme de texte
format (bien que vous puissiez omettre le fichier de sortie de la ligne de commande, auquel cas
les appariements de visages seront écrits sur la sortie standard). Si vous coordonnez
vos sous-recensements manuellement, vous pouvez utiliser l'option --usepairs générer
triangulations à partir d'un sous-ensemble de ces paires de visages.

Les options d'orientabilité, de finitude ou de minimalité ne peuvent pas être utilisées avec --genpairs;
à la place, vous devriez les utiliser plus tard avec --usepairs, ou les transmettre à tricensus-mpi.

Cette option n'est pas fournie avec les rapports d'avancement, bien qu'elle s'exécute généralement rapidement
assez que cela n'a pas d'importance. Vous pouvez toujours suivre l'état d'avancement en
compter les lignes dans le fichier de sortie.

If --dim2 est passé, cela génère des appariements de bords en conséquence.

-P, --usepairs
Utilisez uniquement le sous-ensemble donné d'appariements de visages pour créer les triangulations.

Chaque appariement de visages traité doit être sous forme canonique, c'est-à-dire qu'il doit s'agir d'un
représentant minimal de sa classe d'isomorphisme. Tous les appariements de visages générés à l'aide
--genpairs sont assurés de satisfaire à cette condition.

Les appariements de visage doivent être fournis sur l'entrée standard, un par ligne. Ils devraient être
répertorié dans le format produit par l'option --genpairs.

Cette option vous permet effectivement d'exécuter un sous-ensemble d'un recensement plus important. Voir --genpairs
pour plus de détails sur la façon de diviser un recensement en sous-ensembles pouvant être exécutés
simultanément sur différentes machines, ou tricensus-mpi qui peut coordonner ce
processus utilisant MPI sur un cluster hautes performances.

Les options pour les tétraèdres ou les triangles limites ne peuvent pas être utilisées avec --usepairs;
au lieu de cela, vous devriez les passer plus tôt avec --genpairs lorsque vous divisez le
recensement original en morceaux.

If --dim2 est passé, cela prend une liste d'appariements de bords en conséquence.

EXEMPLES

La commande suivante forme un recensement de tous les 3-tétraèdres fermés non orientables
triangulations et met les résultats dans le fichier résultats.rga. Pour être sur de
les triangulations sont fermées nous utilisons les options -i (pas de triangles frontières) et -f (pas d'idéal
sommets).

exemple$ tricensus -t 3 -nif résultats.rga
Lancement de la génération du recensement...
0:1 0:0 1:0 1:1 | 0:2 0:3 2:0 2:1 | 1:2 1:3 2:3 2:2
0:1 0:0 1:0 2:0 | 0:2 1:2 1:1 2:1 | 0:3 1:3 2:3 2:2
0:1 0:0 1:0 2:0 | 0:2 2:1 2:2 2:3 | 0:3 1:1 1:2 1:3
1:0 1:1 2:0 2:1 | 0:0 0:1 2:2 2:3 | 0:2 0:3 1:2 1:3
Fini.
Triangulations totales : 5
exemple$

La commande suivante forme un recensement de triangulations fermées orientables à 4 tétraèdres,
où la création du recensement est optimisée pour les triangulations minimales premières. Bien que tout
des triangulations minimales premières seront incluses, il peut y avoir des triangulations non premières ou non minimales
triangulations dans le recensement également.

exemple$ tricensus -t 4 -oifM résultats.rga
Lancement de la génération du recensement...
0:1 0:0 1:0 1:1 | 0:2 0:3 2:0 2:1 | 1:2 1:3 3:0 3:1 | 2:2...
0:1 0:0 1:0 1:1 | 0:2 0:3 2:0 3:0 | 1:2 2:2 2:1 3:1 | 1:3...
...
1:0 1:1 2:0 3:0 | 0:0 0:1 2:1 3:1 | 0:2 1:2 3:2 3:3 | 0:3...
Fini.
Triangulations totales : 17
exemple$

La commande suivante génère tous les appariements de visages pour un recensement à 5 tétraèdres dans lequel tous
les triangulations ont précisément deux triangles frontières. Les appariements de visage seront écrits
à appariements.txt, après quoi ils peuvent être décomposés et distribués pour un traitement ultérieur
date.

exemple$ tricensus --genpairs -t 5 -B 2 appariements.txt
Couples de visages totaux : 118
exemple$

Les paires de visages générées dans l'exemple précédent peuvent ensuite être étoffées en un
recensement de toutes les triangulations 3-variétés avec cinq tétraèdres, précisément deux frontières
triangles et pas de sommets idéaux comme suit. Le nombre de tétraèdres et la frontière
les triangles étaient déjà spécifiés dans la commande précédente et ne peuvent pas être fournis ici.
Les appariements de visages seront lus à partir de appariements.txt, et le recensement final sera écrit à
résultats.rga.

exemple$ tricensus --usepairs -f résultats.rga < appariements.txt
Essayer les appariements de visages...
0:1 0:0 1:0 1:1 | 0:2 0:3 2:0 2:1 | 1:2 1:3 3:0 3:1 | 2:2...
0:1 0:0 1:0 1:1 | 0:2 0:3 2:0 2:1 | 1:2 1:3 3:0 3:1 | 2:2...
...
... (parcourant les 118 appariements de visages)
...
1:0 2:0 3:0 4:0 | 0:0 2:1 3:1 4:1 | 0:1 1:1 3:2 4:2 | 0:2...
Triangulations totales : 5817
exemple$

MACOS X UTILISATEURS

Si vous avez téléchargé un ensemble d'applications par glisser-déposer, cet utilitaire est fourni à l'intérieur. Si tu
traîné Regina dans le dossier Applications principal, vous pouvez l'exécuter en tant que
/Applications/Regina.app/Contents/MacOS/tricensus.

FENÊTRES UTILISATEURS

Les utilitaires de ligne de commande sont installés sous le Programme Documents officiels annuaire; sur quelques
machines ce répertoire s'appelle Programme Documents officiels (X86). Vous pouvez démarrer cet utilitaire en
exécutez c:\Program Files\Regina\Regina 4.96\bin\tricensus.exe.

Utiliser tricensus en ligne en utilisant les services onworks.net