Dieser Artikel beschreibt eine Methode zum effizienten Rendern von Schnurdiagrammen, die auf ihrer algebraischen Darstellung in Form von Termen einer freien monoidalen Kategorie oder Beweisbäumen eines Fragments der linearen Logik basiert.
Der Schlüssel ist die Speicherung der Diagramme in binären Raumaufteilungsbäumen, wobei eine rechtstrapezoide Form der Diagrammumrisse als Invariante beibehalten wird. Dies steht im Gegensatz zu bestehenden nicht-kompositionalen Ansätzen, die Graphenlayout-Techniken verwenden.
Die Autoren implementieren diese Methode in Haskell unter Verwendung einer bestehenden denotationalen Grafikbibliothek namens Diagrams. Ihre Rendering-Engine unterstützt auch das Hinzufügen von Semantik zu Diagrammen, um als Compiler zu dienen, wobei Matrixalgebra als Beispiel verwendet wird.
翻譯成其他語言
從原文內容
arxiv.org
深入探究