Wolfram Research

Function Repository Resource:

EnumerateRuleSignatures

Source Notebook

Enumerate possible rule signatures for substitution systems, Wolfram models, etc.

Contributed by: Stephen Wolfram

ResourceFunction["EnumerateRuleSignatures"][n]

gives a list of rule signatures involving an overall total of n elements.

ResourceFunction["EnumerateRuleSignatures"][n,s]

gives only cases where at least one left-hand side is at most s.

Examples

Basic Examples (2) 

Enumerate rule signatures with an overall total of 5 elements:

In[1]:=
ResourceFunction["EnumerateRuleSignatures"][5]
Out[1]=

Include only cases where at least one left-hand side has length no more than 1:

In[2]:=
ResourceFunction["EnumerateRuleSignatures"][5, 1]
Out[2]=

Resource History

Related Resources

License Information