Questo è il comando isofilter2 che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
isofilter - rimuove le strutture isomorfe da mace4(1) modelli
SINOSSI
isofiltro [Opzioni] file di input > file di uscita
isofiltro0 [Opzioni] file di input > file di uscita
isofiltro2 [Opzioni] file di input > file di uscita
DESCRIZIONE
Questa pagina di manuale documenta brevemente il isofiltro, isofiltro0 ed isofiltro2 comandi.
If mace4(1) produce più di una struttura, è molto probabile che alcune di esse siano
isomorfo ad altri. Il programma isofiltro può essere utilizzato per rimuovere strutture isomorfe.
ALGORITMO
Ci sono molteplici isofiltro varianti che forniscono algoritmi alternativi.
isofiltro
Utilizza l'algoritmo dei profili di occorrenza.
isofiltro2
Utilizza l'algoritmo Canonical Forms.
VERSIONI
Di seguito è riportato un riepilogo delle opzioni.
ignora_costanti
Ignora tutte le costanti durante i test di isomorfismo.
dai un'occhiata
Considera solo quelli elencati operazioni nei test di isomorfismo.
produzione
Uscita solo l'elenco operazioni.
avvolgere Racchiudere le strutture risultanti in lista (interpretazioni). ... fine_della_lista.
Utilizzare isofilter2 online utilizzando i servizi onworks.net