Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
DiagrammaticComputation
Guides
DiagramConversion
DiagramDrawing
DiagramGrid
DiagramRewriting
Diagrams
DiagramSurgery
FeynmanDiagrams
Ports
Tech Notes
Diagram Examples
Introduction to Diagrammatic Computation
Rewriting Diagrams
Symbols
AnnihilationRule
CapDiagram
ColumnDiagram
CommutationRule
CopyDiagram
CupDiagram
DiagramArrange
DiagramAssignPorts
DiagramCases
DiagramComposition
DiagramCopySplit
DiagramDecompose
DiagramDelete
DiagramDraw
DiagramDual
DiagramExpressionReplace
DiagramExtract
DiagramFlip
DiagramFunction
DiagramGraphics
DiagramGraphSimplify
DiagramGridHeight
DiagramGrid
DiagramGridTree
DiagramGridWidthHeight
DiagramGridWidth
DiagramHypergraph
DiagramHypergraphRule
DiagramInsert
DiagramMapAt
DiagramMap
DiagramMatchPorts
Diagram
DiagramNestReplace
DiagramNetwork
DiagramPattern
DiagramPermute
DiagramPosition
DiagramPositions
DiagramProduct
DiagramQ
DiagramReplaceList
DiagramReplace
DiagramReplacePart
DiagramReverse
DiagramRightComposition
DiagramRule
DiagramsFreePorts
DiagramsGraph
DiagramsNetGraph
DiagramSplit
DiagramsPortGraph
DiagramSubdiagrams
DiagramSum
DiagramTensor
DuplicateAnnihilationRule
DuplicateEraserRule
EmptyDiagram
EmptyDiagramQ
EmptyPortQ
EraserAnnihilationRule
EraserDiagram
EraserRule
FeynArtsTopologyGraphics
FeynmanDiagram
GridInputPorts
GridOutputPorts
IdentityDiagram
MergeDiagram
PermutationDiagram
PortDual
PortMinus
Port
PortNeutral
PortPower
PortProduct
PortQ
PortSum
PropagationRule
RemoveDiagramRule
RowDiagram
SimplifyDiagram
SingletonDiagram
SpiderDiagram
TagPort
TensorDiagram
ToDiagram
ToDiagramNetwork
TopologyGraphics
TopologyGraph
TopologyGraphs
UntagPort
WigglyArcFunction
ZeroDiagram
ZeroPortQ
Wolfram`DiagrammaticComputation`
D
i
a
g
r
a
m
H
y
p
e
r
g
r
a
p
h
R
u
l
e
D
i
a
g
r
a
m
H
y
p
e
r
g
r
a
p
h
R
u
l
e
[
r
u
l
e
]
r
e
t
u
r
n
s
t
h
e
h
y
p
e
r
g
r
a
p
h
f
o
r
m
o
f
a
D
i
a
g
r
a
m
R
u
l
e
,
e
x
p
o
s
i
n
g
h
o
w
t
h
e
L
H
S
a
n
d
R
H
S
a
r
e
m
a
t
c
h
e
d
b
y
t
h
e
r
e
w
r
i
t
i
n
g
e
n
g
i
n
e
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
▪
Useful for debugging rules: inspect this representation when a rule unexpectedly fails to match.
Examples
(
0
)
S
e
e
A
l
s
o
D
i
a
g
r
a
m
H
y
p
e
r
g
r
a
p
h
▪
D
i
a
g
r
a
m
R
u
l
e
▪
D
i
a
g
r
a
m
R
e
p
l
a
c
e
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
D
i
a
g
r
a
m
R
e
w
r
i
t
i
n
g
Hypergraph form of an identity-elimination rule:
I
n
[
1
]
:
=
D
i
a
g
r
a
m
H
y
p
e
r
g
r
a
p
h
R
u
l
e
@
D
i
a
g
r
a
m
R
u
l
e
I
d
e
n
t
i
t
y
D
i
a
g
r
a
m
[
a
]
,
E
m
p
t
y
D
i
a
g
r
a
m
[
]
O
u
t
[
1
]
=
"
"
