Wolfram Function Repository
Instant-use add-on functions for the Wolfram Language
Function Repository Resource:
Find instances of a binary operator that satisfy equational constraints
ResourceFunction["FindEquationalModels"][eqns,f,vars] finds size-2 models of the operator f that appear in the equation eqns, with variables vars. | |
ResourceFunction["FindEquationalModels"][eqns,f,vars,k] finds size-k models. |
Find the "multiplication tables" for semigroups of size 2:
In[1]:= |
Out[1]= |
Find size-3 models of an equational axiom:
In[2]:= |
Out[2]= |
Find size-2 models of Wolfram's axiom:
In[3]:= |
Out[4]= |
There are no size-3 models:
In[5]:= |
Out[5]= |
This work is licensed under a Creative Commons Attribution 4.0 International License