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
Hypergraph
Guides
Hypergraph Functionality
Tech Notes
Hypergraph Rewriting
Symbols
AdjacencyHypergraph
AdjacencyTensor
CanonicalHypergraph
CanonicalHypergraphRule
ConnectedHypergraphQ
CyclicEdge
EdgeListTagged
EdgeMultiplicity
EdgeSymmetry
EnumerateHypergraphRules
EnumerateHypergraphs
EnumerateOrderedHypergraphs
EnumerateWolframModelRules
HighlightRule
HyperedgeList
Hyperedge
Hyperedges
HyperedgesQ
Hypergraph3D
HypergraphArityReduce
HypergraphDraw
HypergraphEmbedding
HypergraphHadamardProduct
HypergraphIncidenceMatrix
HypergraphIncidence
HypergraphInsertionBracketDegree
HypergraphInsertionBracket
HypergraphInsertion
HypergraphLargeQ
Hypergraph
HypergraphQ
HypergraphRuleDraw
HypergraphRule
HypergraphRuleQ
HypergraphToGraph
HypergraphTransitionMatrix
HypergraphUnion
HypermatrixGraph
Hypermatrix
HypermatrixQ
IncidenceHypergraph
IsomorphicHypergraphQ
KoszulSign
LinkedHypergraph
OrderedHypergraphToGraph
RandomAllHypergraph
RandomConnectedHypergraph
RandomHypergraph
RandomHypergraphRule
SetHypergraphSummaryThresholds
SimpleHypergraph
SimpleHypergraphPlot3D
SimpleHypergraphPlot
SimpleHypergraphQ
ToLabeledEdges
ToLabeledPatternEdges
ToOrderedHypergraph
ToPatternRules
WolframInstitute`Hypergraph`
T
o
L
a
b
e
l
e
d
P
a
t
t
e
r
n
E
d
g
e
s
T
o
L
a
b
e
l
e
d
P
a
t
t
e
r
n
E
d
g
e
s
[
h
g
]
g
i
v
e
s
t
h
e
p
a
t
t
e
r
n
f
o
r
m
o
f
t
h
e
h
y
p
e
r
e
d
g
e
s
o
f
t
h
e
H
y
p
e
r
g
r
a
p
h
h
g
,
s
u
i
t
a
b
l
e
f
o
r
m
a
t
c
h
i
n
g
w
i
t
h
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
M
u
l
t
i
R
e
p
l
a
c
e
"
]
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
▪
T
o
L
a
b
e
l
e
d
P
a
t
t
e
r
n
E
d
g
e
s
[
hg
] starts from the same pattern
T
o
L
a
b
e
l
e
d
E
d
g
e
s
[
h
g
,
T
r
u
e
]
builds, and additionally rewrites any hyperedge whose
"
E
d
g
e
S
y
m
m
e
t
r
y
"
is not
"
O
r
d
e
r
e
d
"
(or
"
D
i
r
e
c
t
e
d
"
) so that its vertex pattern matches regardless of the order the vertices are listed in, using its edge symmetry's own permutation group.
▪
Optional second and third arguments
vertexCondition
and
edgeCondition
carry the same meaning as the corresponding arguments of
T
o
L
a
b
e
l
e
d
E
d
g
e
s
.
▪
This is the pattern
H
y
p
e
r
g
r
a
p
h
R
u
l
e
A
p
p
l
y
feeds to
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
M
u
l
t
i
R
e
p
l
a
c
e
"
]
when applying a rule's input side to a hypergraph (see
r
u
l
e
[
h
g
]
on
H
y
p
e
r
g
r
a
p
h
R
u
l
e
); for a hyperedge whose symmetry is already
"
O
r
d
e
r
e
d
"
, the result is identical to
T
o
L
a
b
e
l
e
d
E
d
g
e
s
[
h
g
,
T
r
u
e
]
.
Examples
(
3
)
Basic Examples
(
2
)
For a hyperedge with the default
"
U
n
o
r
d
e
r
e
d
"
symmetry, the pattern includes an
A
l
t
e
r
n
a
t
i
v
e
s
over the ways to permute its vertices:
I
n
[
1
]
:
=
F
r
e
e
Q
T
o
L
a
b
e
l
e
d
P
a
t
t
e
r
n
E
d
g
e
s
H
y
p
e
r
g
r
a
p
h
[
{
{
1
,
2
,
3
}
}
]
,
A
l
t
e
r
n
a
t
i
v
e
s
O
u
t
[
1
]
=
F
a
l
s
e
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
For an
"
O
r
d
e
r
e
d
"
hyperedge, no such alternative arrangement is added:
I
n
[
1
]
:
=
F
r
e
e
Q
T
o
L
a
b
e
l
e
d
P
a
t
t
e
r
n
E
d
g
e
s
H
y
p
e
r
g
r
a
p
h
[
{
{
1
,
2
,
3
}
}
,
"
E
d
g
e
S
y
m
m
e
t
r
y
"
"
O
r
d
e
r
e
d
"
]
,
A
l
t
e
r
n
a
t
i
v
e
s
O
u
t
[
1
]
=
T
r
u
e
S
c
o
p
e
(
1
)
S
e
e
A
l
s
o
T
o
L
a
b
e
l
e
d
E
d
g
e
s
▪
T
o
P
a
t
t
e
r
n
R
u
l
e
s
▪
H
y
p
e
r
g
r
a
p
h
R
u
l
e
▪
E
d
g
e
S
y
m
m
e
t
r
y
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
H
y
p
e
r
g
r
a
p
h
F
u
n
c
t
i
o
n
a
l
i
t
y
"
"