In[]:=
$Results={};
In[]:=
efile[{{a_,b_}}{{c_,d_}}]:=ToString[Row[{a,b,"-",c,d}]]
In[]:=
doenum[sig_]:=Module[{e=EnumerateWolframModelRules[sig,Automatic],f},f={Now,Export[$PhysicsDataDirectory<>"/RuleEnumerations/"<>efile[sig]<>"c.wxf",e],{sig,Length[e]}};AppendTo[$Results,f];Echo[f]]
In[]:=
est[lhs_rhs_]:=BellB[Total[Flatten[{Times@@@lhs,Times@@@rhs}]]]/Times@@Factorial[Join[First/@lhs,First/@rhs]]
In[]:=
sigslist=Select[SortBy[Flatten[Table[{{i,a}}{{j,a}},{j,6},{i,6},{a,4}]],est],est[#]<10^9&]
Out[]=
In[]:=
wanted={{{2,3}}{{3,3}},{{1,3}}{{4,3}},{{1,4}}{{2,4}}};
In[]:=
newsigs=Join[Take[sigslist,55],wanted,Complement[Drop[sigslist,55],wanted]]
Out[]=
In[]:=
doenum/@newsigs
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/11-61c.wxf,{{{1,1}}{{6,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/61-11c.wxf,{{{6,1}}{{1,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/11-51c.wxf,{{{1,1}}{{5,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/51-11c.wxf,{{{5,1}}{{1,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/11-11c.wxf,{{{1,1}}{{1,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/11-41c.wxf,{{{1,1}}{{4,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/41-11c.wxf,{{{4,1}}{{1,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/11-21c.wxf,{{{1,1}}{{2,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/11-31c.wxf,{{{1,1}}{{3,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/21-11c.wxf,{{{2,1}}{{1,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/31-11c.wxf,{{{3,1}}{{1,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/21-61c.wxf,{{{2,1}}{{6,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/61-21c.wxf,{{{6,1}}{{2,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/21-51c.wxf,{{{2,1}}{{5,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/51-21c.wxf,{{{5,1}}{{2,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/21-21c.wxf,{{{2,1}}{{2,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/21-41c.wxf,{{{2,1}}{{4,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/41-21c.wxf,{{{4,1}}{{2,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/21-31c.wxf,{{{2,1}}{{3,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/31-21c.wxf,{{{3,1}}{{2,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/31-61c.wxf,{{{3,1}}{{6,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/61-31c.wxf,{{{6,1}}{{3,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/31-31c.wxf,{{{3,1}}{{3,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/31-51c.wxf,{{{3,1}}{{5,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/51-31c.wxf,{{{5,1}}{{3,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/31-41c.wxf,{{{3,1}}{{4,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/41-31c.wxf,{{{4,1}}{{3,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/41-61c.wxf,{{{4,1}}{{6,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/61-41c.wxf,{{{6,1}}{{4,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/41-41c.wxf,{{{4,1}}{{4,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/41-51c.wxf,{{{4,1}}{{5,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/51-41c.wxf,{{{5,1}}{{4,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/51-61c.wxf,{{{5,1}}{{6,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/61-51c.wxf,{{{6,1}}{{5,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/51-51c.wxf,{{{5,1}}{{5,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/61-61c.wxf,{{{6,1}}{{6,1}},1}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/12-12c.wxf,{{{1,2}}{{1,2}},11}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/12-22c.wxf,{{{1,2}}{{2,2}},73}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-12c.wxf,{{{2,2}}{{1,2}},64}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/13-13c.wxf,{{{1,3}}{{1,3}},178}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/12-32c.wxf,{{{1,2}}{{3,2}},506}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/32-12c.wxf,{{{3,2}}{{1,2}},416}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-22c.wxf,{{{2,2}}{{2,2}},562}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/14-14c.wxf,{{{1,4}}{{1,4}},3915}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/12-42c.wxf,{{{1,2}}{{4,2}},3740}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/42-12c.wxf,{{{4,2}}{{1,2}},3011}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-32c.wxf,{{{2,2}}{{3,2}},4702}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/32-22c.wxf,{{{3,2}}{{2,2}},4688}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/13-23c.wxf,{{{1,3}}{{2,3}},9373}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/23-13c.wxf,{{{2,3}}{{1,3}},8413}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/12-52c.wxf,{{{1,2}}{{5,2}},28959}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/52-12c.wxf,{{{5,2}}{{1,2}},23211}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-42c.wxf,{{{2,2}}{{4,2}},40405}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/42-22c.wxf,{{{4,2}}{{2,2}},42955}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/32-32c.wxf,{{{3,2}}{{3,2}},48554}
»
,/Users/sw/Dropbox/Physics/Data/RuleEnumerations/23-33c.wxf,{{{2,3}}{{3,3}},79359764}
In[]:=
$Results
Out[]=