ImpEx

Eingabedaten (*dat-Dateien)

Grober Aufbau:

SymmetrieDefinition (PERM)

Universum (CON)

Beispiele (CON)

Die Symmetriedefinition kann auch weggelassen werden

Allgemeines

Mehrzeilenkommentare werden in (* .... *) eingefasst.

Zeilenkommentare beginnen werden mit einem Semikolon ; gekennzeichnet. Also alles was nach dem Semikolon kommt ist Kommentar.

Die reservierten Worte (PERM, FULL, SIMS, ENDPERM, CON, ENDCON ... usw.) können beliebig Groß-Klein oder durcheinander geschrieben werden

Symmetriedefinition (PERM)

Es gibt 2 Arten, die Symmetrien anzugeben:

1) Vollständig (Angabe aller Permutationen) (PERM FULL)

2) als Sims-Kette (ich weiß nicht, ob der Begriff hier korrekt verwendet ist), in dem nur "erzeugende" Permutationen angegeben werden und dann alle möglichen Kombinationen und Mehrfachanwendungen dieser Permutationen die Menge aller möglichen Permutationen bilden (PERM SIMS)

Um eine Permutation anzugeben benutzt man eine Kombination von Zahlen und Buchstaben; jedes Zeichen steht für ein Element. Grundreihenfolge ist

0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrst

Man verwendet jeweils soviel Zeichen wie notwendig. Ingesamt sind die Symmetrien also im Moment auf 62 Elemente beschränkt. Um eine Permutation anzugeben gibt man einfach die entsprechend permutierte Zeichenkette an, z.B.

06758234

Die Permutation bezieht sich immer auf primitive Merkmale und nicht auf Skalen-Merkmale (sondern auf ihre expandierte/substituierte Form).

Vollständige Angabe (PERM FULL)

PERM FULL Kommentar
  Permutation1
  Permutation2
     :
  Permutation_n
ENDPERM

Vollständige Aufzählung aller gewünschter Symmetrien. Achtung: auch die Identität (012345...) muss mit angegeben werden.

Sims-Kette (PERM SIMS)

PERM SIMS Kommentar
  Erzeugende_Permutation1
  Erzeugende_Permutation2
     :
  Erzeugende_Permutation_n
ENDPERM

Aufzählung aller erzeugender Permutationen. Wenn mehr Permutationen angegeben werden als zum Erzeugen der Gruppe benötigt werden ist das nicht schlimm. Intern wierden alle Elemente der Gruppe erzeugt und ihre Anzahl zur Kontrolle mit Ausgegeben.
Die Identität (012345...) muss man hier logischerweise nicht mit angeben.

Universum (CON)

kommt noch ...