In[]:=
Quit
In[]:=
<<SetReplace`
In[]:=
ToPatternRules[{{1,2},{1,3}}{{1,2},{1,4},{2,4},{3,4}}]
Out[]=
{{v1_,v2_},{v1_,v3_}}Module[{v4},{{v1,v2},{v1,v4},{v2,v4},{v3,v4}}]
In[]:=
ToPatternRules[{{x,y},{x,z}}{{x,y},{x,w},{y,w},{z,w}}]
Out[]=
{{v1_,v2_},{v1_,v3_}}Module[{v4},{{v1,v2},{v1,v4},{v2,v4},{v3,v4}}]
In[]:=
Quit
In[]:=
<<SetReplace`
In[]:=
VerificationTest[ToPatternRules[{{1,2},{1,3}}{{1,2},{1,4},{2,4},{3,4}}],ToPatternRules[{{x,y},{x,z}}{{x,y},{x,w},{y,w},{z,w}}]]
Out[]=
In[]:=
samp=ParallelTable[RandomWolframModel[{{2,3}}{{3,3}}],100000];
In[]:=
Length[Rest[Permutations[Range[3]]]]
Out[]=
5
In[]:=
Function[perm,PrintTemporary[perm];perm->Pick[samp,ParallelMapMonitored[(FindCanonicalWolframModel[Map[#[[perm]]&,#,{2}]]===#)&,samp]]]/@Rest[Permutations[Range[3]]]
Out[]=