2.3.1 Wichtige Dateien

OPTIONS.ina

In dieser Datei speichert INA (bei regulärer Termination) alle Optionen ab, die Sie während Ihrer Sitzung eingestellt haben, z.B. den Netztyp, die Ausgabeformate, die Tiefe der zu erzeugenden Erreichbarkeitsgraphen usw. Zu Beginn der nächsten Sitzung werden diese Optionen automatisch wieder eingestellt. Siehe dazu auch das Kapitel 2.5 ab Seite , in dem die Optionen vorgestellt werden, die im Optionsmenü geändert werden können. Alle anderen Einstellungen können nur an bestimmten Stellen des Programms modifiziert werden; in diesem Handbuch finden Sie Beschreibungen in den entsprechenden Kapiteln und Abschnitten.

COMMAND.ina

Diese Datei wird am Schluß einer Sitzung auf Anfrage erzeugt. In ihr werden alle während dieser Sitzung eingegebenen Kommandos abgespeichert. Wird nach einem Neustart in INA die Anfrage Same procedure as last time? mit <Y> beantwortet, so werden die gespeicherten Kommandos in der gegebenen Reihenfolge abgearbeitet, d.h. die Sitzung wird wiederholt. Wenn Sie währenddessen <H> wie halt eingegeben, geht INA wieder in den normalen Modus (Kommandos vom Terminal) über. Im Kapitel 2.4.3 wird erläutert, wie Sie auf diese Art mehrere Netze nacheinander nach dem gleichen Schema analysieren können.

SESSION.ina

Von INA werden alle während einer Sitzung erzielten Resultate (und Folgerungen) in diese Datei geschrieben. SESSION.ina wird bei Beginn der nächsten Sitzung überschrieben, Sie sollten diese Datei also vorher umbenennen, wenn sie noch von Bedeutung ist! Weitere Bemerkungen zu dieser Datei finden Sie in den Kapiteln 2.4.1, 2.4.2 und 2.4.3.

Weitere Dateien, die sich nach einem Lauf von INA im aktuellen Verzeichnis befinden können:

INVARI.hlp

Hilfsdatei für Invariantenberechnung (bei der Berechnung von minimalen semi-positiven Invarianten)

ININET.pnt

Hilfsdatei, die das Anfangsnetz enthält (wird vor der Durchführung von Reduktionsschritten gespeichert -- siehe Seite im Kapitel 5.2