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[46]:=
PacletInstall["https://www.wolframcloud.com/obj/nikm/ProcessTheoryLoader.paclet",ForceVersionInstallTrue];<<ProcessTheoryLoader`
Make sure that Diagram is working:
In[49]:=
Diagram[A,a,b]
Out[49]=
Construct a Diagram for the CNOT combinator:
In[50]:=
<<WolframInstitute`PiMachine`
In[485]:=
PiCNot["Term"]
Out[485]=
dist
id
id
swap
+
factor
In[161]:=
 | PiMachineDiagram |
Out[161]=
Multiplicative ZigZag:
In[159]:=
| PiMachineDiagram |
 | PiCombinator |
Out[159]=
Additive ZigZag:
In[160]:=
| PiMachineDiagram |
Out[160]=
""