Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`Hypergraph`
EnumerateHypergraphRules  |
|
| | ||||
|
| | ||||
|
| | ||||
▪
returns a list of objects, one representative per equivalence class of Wolfram-model-style rules with the given signature.
▪
The signature is a rule of two hyperedge specifications , each specifying hyperedges of arity , hyperedges of arity , etc.
{{m1,a1},{m2,a2},...}
m1
a1
m2
a2
▪
With no explicit atom count, all rules with up to the maximum number of atoms that the connectivity type allows are enumerated, matching the default of the Wolfram Function Repository function .
EnumerateWolframModelRules
▪
An explicit atom count s selects the rules with exactly s distinct atoms; this differs from the Wolfram Function Repository function, whose integer argument means up to s atoms.
▪
Possible connectivity types are:
▪
▪
Examples
(12)
Basic Examples
(2)
Enumerate all canonical rules with one binary hyperedge on each side:
In[1]:=
 | EnumerateHypergraphRules |
Out[1]=
,
,
,
,
,
,
,
,
,
,
Count the rules taking one binary hyperedge to two binary hyperedges: