Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Ports
A is the typed endpoint of a diagram. Every carries a list of input ports and a list of output ports; composing diagrams works by matching ports of compatible types. Ports have a small algebra of their own — they can be made dual (reversed in direction), tensored together with , summed with , raised to a power, tagged with context-specific annotations, and tested with predicates. This guide collects the operations that build and transform ports independently of the diagrams they appear in.
— — construct a symbolic port from an expression and an optional type
— — toggle a port between ingoing and outgoing
— — parallel composition (tensor) of ports
— — direct sum of ports
— — additive inverse of a port in a sum
— — repeated product of a port
— — neutral / unit port for the monoidal product
— — test whether an expression is a valid port
— — annotate a port with additional tag data
— — strip tag annotations from a port
 |
|
""