Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Diagrams
convert types to ports | |
convert terms to diagram |
XXXX.
Install and load the ProcessTheory paclet first:
In[138]:=
PacletInstall["Wolfram/DiagrammaticComputation"];<<Wolfram`DiagrammaticComputation`
Make sure that Diagram is working:
In[140]:=
Diagram[A,a,b]
Out[140]=
Construct a Diagram for the CNOT combinator:
In[50]:=
<<WolframInstitute`PiMachine`
In[141]:=
PiCNot["Term"]
Out[141]=
dist
id
id
swap
+
factor
In[142]:=
 | PiMachineDiagram |
Out[142]=
Multiplicative ZigZag:
In[143]:=
| PiMachineDiagram |
 | PiCombinator |
Out[143]=
Additive ZigZag:
In[144]:=
| PiMachineDiagram |
Out[144]=
""