Rekursives Rendern von Schnurdiagrammen

Schnurdiagramme können effizient durch rekursives Falten ihrer algebraischen Darstellung in Bezug auf sequenzielle und parallele Kompositionsoperatoren gerendert werden, wobei die Diagramme in binären Raumaufteilungsbäumen gespeichert und eine rechtstrapezoide Form als Invariante beibehalten werden.