Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`Hypergraph`
ToLabeledEdges  |
|
| | ||||
|
| | ||||
|
| | ||||
▪
Two vertices given the same label symbol become the same pattern variable in the result, so ordinary Wolfram Language pattern matching already forces them to bind to equal values; two vertices given different label symbols instead get an explicit condition requiring their captured values to differ. This is the mechanism behind 's option.
"DistinctVertexLabels"
▪
The optional third argument (the pattern form's vertexCondition, default ) can be set to to omit that distinctness condition and allow differently labeled vertices to capture the same value.
True
False
▪
False
▪
is the internal representation (used by , see ) builds from a hypergraph before handing it, and a pattern built the same way, to ; is a convenience wrapper around the pattern form that additionally accounts for a hyperedge's own symmetry.
HypergraphRuleApply
rule[hg]
ResourceFunction["MultiReplace"]
Examples
(5)
Basic Examples
(3)
Pair each vertex of a hyperedge with its label:
In[1]:=
 | ToLabeledEdges |
Out[1]=
,
1 |
p |
2 |
q |
_________________________________________________________________________________________________________________
Building the pattern form instead, two vertices with different label symbols require their captured values to differ:
In[1]:=
MatchQ{{Labeled[10,"p"],Labeled[20,"q"]}},
[1x,2y,{{1,2}},True],MatchQ{{Labeled[10,"p"],Labeled[20,"p"]}},
[1x,2y,{{1,2}},True]
 | ToLabeledEdges |
| ToLabeledEdges |
Out[1]=
{True,False}
_________________________________________________________________________________________________________________
Giving both vertices the same label symbol instead requires their captured values to coincide:
In[1]:=
MatchQ{{Labeled[10,"p"],Labeled[20,"p"]}},
[1x,2x,{{1,2}},True],MatchQ{{Labeled[10,"p"],Labeled[20,"q"]}},
[1x,2x,{{1,2}},True]
| ToLabeledEdges |
| ToLabeledEdges |
Out[1]=
{True,False}
Scope
(2)
 |
|
 |
|
""