Function Repository Resource:

RandomWolframModel

Source Notebook

Generate a random canonical Wolfram model rule with a particular signature

Contributed by: Stephen Wolfram & Max Piskunov

ResourceFunction["RandomWolframModel"][signature]

generates a random Wolfram model rule with the specified signature.

ResourceFunction["RandomWolframModel"][signature,n]

generates a random Wolfram model using at most n distinct elements.

Details and Options

The signature is given in the form lhs→rhs, where each lhs or rhs is a list of pairs {count,arity} where count gives the number of hyperedges of specified arity.

ResourceFunction["RandomWolframModel"] gives a canonical form of each rule it returns.

Examples

Basic Examples (3)

Generate a random 2₃→ 3₂ Wolfram model rule:

In[1]:=

Out[1]=

Generate a 2₃→ 3₂ Wolfram model rule, restricting to two distinct elements:

In[2]:=

Out[2]=

Generate a random 2₃→ 3₂ Wolfram model rule:

In[3]:=

Out[3]=

Generate a random 2₃2₂→4₃8₂ with at most 12 elements:

In[4]:=

Out[4]=

Generate a random rule containing two different transformations:

In[5]:=

Out[5]=

Possible Issues (2)

By default (Automatic connectedness), disconnected right-hand sides can be generated as long as all of their components are still connected to the left-hand side:

In[6]:=