Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`DiagrammaticComputation`
PropagationRule  |
| a n b 1 b n f | |
▪
Encodes the interaction-net commutation law: the process is duplicated onto each branch of the node, and the node's label is transformed by as it passes through.
f
▪
The following options can be given:
Examples
(0)
 |
|
 |
|
Propagation of a unary process through a binary node:
In[1]:=
 | PropagationRule |
Out[1]=
""