Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`Hypergraph`
ToPatternRules  |
|
| | ||||
|
| | ||||
| | |||||
▪
Every vertex occurring in lhs or rhs is replaced by an ordinary pattern variable named , numbered in order of first appearance across lhs then rhs.
v.i
▪
A vertex that appears only in rhs (one created by the rule) becomes a local variable of the resulting , so a fresh vertex is generated on every application of the rule, matching how a -style rule creates new atoms.
Module
WolframModel
▪
The rule's left-hand side is a plain list pattern that matches at the level of a list of hyperedges; apply it to a hyperedge list with or to perform the rewrite.
Replace
ResourceFunction["MultiReplace"]
Examples
(4)
Basic Examples
(2)
Convert a rule that attaches a new edge to a matched pair of vertices into a pattern rule:
In[1]:=
 | ToPatternRules |
 | HypergraphRule |
 | Hypergraph |
| Hypergraph |
Out[1]=
{{v.1_,v.2_}}Module[{v.3},{{v.1,v.2},{v.2,v.3}}]
_________________________________________________________________________________________________________________
Applying the pattern rule to a hyperedge list performs the same rewrite would, generating a fresh vertex name for the new one:
HypergraphRule
In[1]:=
Replace{{10,20}},
[{{1,2}}],
[{{1,2},{2,3}}]
 | ToPatternRules |
| HypergraphRule |
 | Hypergraph |
| Hypergraph |
Out[1]=
{10,20},20,v.3$53803
Scope
(2)
 |
|
 |
|
""