Acesta este isofiltrul de comandă care poate fi rulat în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
izofiltru - elimină structurile izomorfe din mace4(1) modele
REZUMAT
izofiltru [Opțiuni] fișier de intrare > fisier de iesire
izofiltru 0 [Opțiuni] fișier de intrare > fisier de iesire
izofiltru 2 [Opțiuni] fișier de intrare > fisier de iesire
DESCRIERE
Această pagină de manual documentează pe scurt izofiltru, izofiltru 0 și izofiltru 2 comenzi.
If mace4(1) produce mai multe structuri, unele dintre ele sunt foarte probabil să fie
izomorfe celorlalți. Programul izofiltru poate fi folosit pentru a elimina structuri izomorfe.
ALGORITM
Există mai multe izofiltru variante care oferă algoritmi alternativi.
izofiltru
Utilizează algoritmul Profiluri de apariție.
izofiltru 2
Utilizează algoritmul Canonical Forms.
OPŢIUNI
Un rezumat al opțiunilor este inclus mai jos.
ignore_constante
Ignorați toate constantele în timpul testelor de izomorfism.
verifica
Luați în considerare numai cele enumerate operațiuni în testele de izomorfism.
producție
Ieșiți numai cele enumerate operațiuni.
încadra Închideți structurile rezultate în listă (interpretări). ... sfârşitul_listei.
Utilizați isofiltru online folosind serviciile onworks.net
