Dies ist der Befehl isofilter2, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
isofilter - entfernt isomorphe Strukturen aus mace4(1) Modelle
ZUSAMMENFASSUNG
Isofilter [Optionen]] Eingabedatei > Ausgabedatei
Isofilter0 [Optionen]] Eingabedatei > Ausgabedatei
Isofilter2 [Optionen]] Eingabedatei > Ausgabedatei
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die Isofilter, Isofilter0 und Isofilter2 Befehle.
If mace4(1) erzeugt mehr als eine Struktur, einige davon sind sehr wahrscheinlich
isomorph zu anderen. Das Programm Isofilter kann verwendet werden, um isomorphe Strukturen zu entfernen.
ALGORITHM
Es gibt mehrere Isofilter Varianten mit alternativen Algorithmen.
Isofilter
Verwendet den Algorithmus für Vorkommensprofile.
Isofilter2
Verwendet den Canonical Forms-Algorithmus.
OPTIONAL
Nachfolgend finden Sie eine Zusammenfassung der Optionen.
ignorieren_konstanten
Ignorieren Sie alle Konstanten während der Isomorphismustests.
aus der Ferne überprüfen
Betrachten Sie nur die aufgeführten Geschäftstätigkeit in den Isomorphietests.
Ausgabe
Nur die aufgelisteten ausgeben Geschäftstätigkeit.
wickeln Schließe die resultierenden Strukturen in ein Liste (Interpretationen). ... Ende_der_Liste.
Verwenden Sie isofilter2 online über die Dienste von onworks.net