Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`Hypergraph`
EnumerateWolframModelRules  |
|
| | ||||
|
| | ||||
|
| | ||||
▪
is the underlying engine behind : the two take the same arguments, but where wraps each result in a object, returns the bare rule of two hyperedge lists, e.g. .
{{1,2}}{{1,3},{1,4}}
▪
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
(10)
Basic Examples
(2)
Enumerate the raw rules taking a single binary hyperedge to itself:
In[1]:=
 | EnumerateWolframModelRules |
Out[1]=
{{{1,1}}{{1,1}},{{1,1}}{{1,2}},{{1,1}}{{2,1}},{{1,2}}{{1,1}},{{1,2}}{{1,2}},{{1,2}}{{2,1}},{{1,2}}{{2,2}},{{1,2}}{{1,3}},{{1,2}}{{2,3}},{{1,2}}{{3,1}},{{1,2}}{{3,2}}}
_________________________________________________________________________________________________________________
Count the rules taking one binary hyperedge to two binary hyperedges:
In[1]:=
Length
[{{1,2}}{{2,2}}]
 | EnumerateWolframModelRules |
Out[1]=
73
Scope
(3)
Properties & Relations
(3)
Possible Issues
(2)
 |
|
""