Copyright | Clara Waldmann, 2014 |
---|---|
License | GPL-2 |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Main
Description
Hauptprogramm
Documentation
Mit Argument (Dimension) werden die Sekundärkegel mit scc berechnet.
Ohne Argument muss der Aufruf in einem Ordner stattfinden, wo schon *.coop-Dateien liegen (scc wird nicht nochmals aufgerufen)
main_for_dim :: Maybe Int -> IO () Source
eigentliche Hauptfunktion
Mit Argument (Dimension) werden die Sekundärkegel mit scc berechnet.
Ohne Argument muss der Aufruf in einem Ordner stattfinden, wo schon *.coop-Dateien liegen (scc wird nicht nochmals aufgerufen)
Möglichkeiten zur Ausgabe:
- pro Dimension Anzahl der Typen im Format: (Dimension, Anzahl der Typen)
Auszug aus der Ausgabe:
(5,1681),(6,4366),(7,9255)
- Ausgabe einer Gram-Matrix pro gefundenem Typ
(sortiert nach Dimension des Sekundärkegels) mit
Format:
- Dimension des Sekundärkegels
- Format für ISOM
Auszug aus der Ausgabe:
1 5x0 6 2 6 -2 -2 5 -2 -2 1 5 -2 -2 -1 -1 5 2 5x0 2 1 2 0 0 2 -1 -1 -1 2 -1 -1 0 0 3
enum_faces :: Set VR -> [VR] -> IO [VR] Source
Suche nach erreichbaren Knoten
Möglichkeiten zur Ausgabe:
- in jedem Schritt: Dimensionsliste der bisher gefundenen Typen und Dimensionsliste der noch zu prüfenden Typen
- falls neuer Typ gefunden wurde: Ausgabe der Dimension des Sekundärkegels, der Gram-Matrix als untere Dreiecksmatrix, Anzahl der Facetten des Sekundärkegels
unknown :: VR -> [VR] -> IO Bool Source
Test ob eine V-Repräsentation unbekannt ist in den bisher bekannten V-Repräsentationen