Function Repository Resource:

CountWolframModelRules

Count canonical Wolfram model rules with a particular signature

Contributed by: Ed Pegg

ResourceFunction["CountWolframModelRules"][signature,s]

counts canonical Wolfram model rules with the specified signature, and s possible symbols.

Examples

Count the number of rules matching a simple signature and two symbols:

In[1]:=

Out[1]=

Changing the order of the rule does not change the number of rules:

In[2]:=

Out[2]=

Count the number of rules matching more complex signatures and larger symbol counts:

In[3]:=

Out[3]=

In[4]:=

Out[4]=

In[5]:=

Out[5]=

Create a table showing binary rule counts for many different signatures:

In[6]:=

In[7]:=

Out[7]=

Create a table showing ternary rule counts for many different signatures:

In[8]:=

In[9]:=

Out[9]=

Create a table showing 4-ary rule counts for many different signatures:

In[10]:=

In[11]:=

Out[11]=