Polymake

Todo: Yadayada, wir schreiben alles auf, was wir rausgefunden haben.

Erstmal gibt's hier nur das richtig hässliche perl-skript.

Perl-skript

Mit SCHLEGEL_DIAGRAM(FACET=>x) kann die Facette ausgewählt werden, auf die projeziert wird. TODO: x ist ein Integer zwischen 0 und n-1, n = #Anzahl der Facetten. Wie sind die Facetten nummeriert?

Aus einem Schlegel_Diagramm kann man mit TRANSFORM die Matrix zur Projektion auf die Ebene in FACET erhalten.

Mit GRAPH bekommt man aus einem Polytop den zugehörigen Graphen. TODO: Welche Punkte bekommen welche Labels. Vermutung: entsprechend der Reihenfolge, in der sie beim Aufruf von VERTICES auf das Polytop ausgegeben werden.

Format der Ausgabe von Polymake des Schlegel Diagramms:

1. Zeilenweise Ausgabe der Punkte: Koordinaten getrennt durch Leerzeichen. Beispiel:

-0.5 -0.34
1.2 4.5
3.0 -4.2

2. Trennzeichen "$\n" für einfachere Weiterverarbeitung.

3. Kanten (unterrichtet) dargestellt als Tupel der Indizes, wobei diese durch ein Leerzeichen getrennt sind, in geschweiften Klammern. Beispiel:

{0 1}
{0 2}
{1 2}