Il s'agit de la commande isofilter2 qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
isofilter - supprime les structures isomorphes de mace4(1) modèles
SYNOPSIS
isofiltre [Options] fichier-entrée > fichier de sortie
isofiltre0 [Options] fichier-entrée > fichier de sortie
isofiltre2 [Options] fichier-entrée > fichier de sortie
DESCRIPTION
Cette page de manuel documente brièvement les isofiltre, isofiltre0 ainsi que le isofiltre2 les commandes.
If mace4(1) produit plus d'une structure, certaines d'entre elles sont très susceptibles d'être
isomorphe aux autres. Le programme isofiltre peut être utilisé pour éliminer les structures isomorphes.
ALGORITHME
Il y a plusieurs isofiltre variantes fournissant des algorithmes alternatifs.
isofiltre
Utilise l'algorithme des profils d'occurrence.
isofiltre2
Utilise l'algorithme des formes canoniques.
OPTIONS
Un résumé des options est inclus ci-dessous.
ignore_constants
Ignorez toutes les constantes pendant les tests d'isomorphisme.
vérifier
Considérez seulement la liste dans les tests d'isomorphisme.
sortie
Sortir uniquement la liste .
envelopper Enfermez les structures résultantes dans liste(interprétations). fin_de_liste.
Utilisez isofilter2 en ligne en utilisant les services onworks.net