dvlatclass

CopyrightClara Waldmann, 2014
LicenseGPL-2
Safe HaskellSafe-Inferred
LanguageHaskell2010

Main

Description

Hauptprogramm

Synopsis

Documentation

main :: IO () Source

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:
    1. Dimension des Sekundärkegels
    2. 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

dinfo :: [VR] -> Map Int Int Source

Hilfsfunktion zur Ausgabe der Anzahl der Typen pro Dimension

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

parallel_and :: (a -> IO Bool) -> [a] -> IO Bool Source

Parallele Variante von logischem und auf einer Liste

Prüft, ob alle Elemente in einer Liste eine Eigenschaft erfüllen.

list_and :: (a -> IO Bool) -> [a] -> IO Bool Source

Prüft, ob alle Elemente in einer Liste eine Eigenschaft erfüllen.