strdiags
Implements string diagram visualisations.
|
Class for string diagram visualisations of diagrams and shapes. |
|
Given any number of diagrams, generates their string diagrams and draws them. |
|
Given a diagram, generates the string diagram of its input and output boundaries of a given dimension, and draws them. |
|
Given a non-zero number of diagrams, generates their string diagrams and outputs a GIF animation of the sequence of their visualisations. |