In[]:=
GetRules[{n1_,k1_}{n2_,k2_}]:=Import[StringJoin["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/",ToString[n1],ToString[k1],"-",ToString[n2],ToString[k2],"c.wxf"]]
In[]:=
ci23=Pick[GetRules[{2,2}{3,2}],ParallelMapMonitored[TotalCausalInvariantQ[{#},2]&,GetRules[{2,2}{3,2}]]];
In[]:=
Length[ci23]
Out[]=
2791
In[]:=
Take[ci23,4]
Out[]=
In[]:=
First[%]
Out[]=
{{1,1},{1,1}}{{1,1},{1,1},{1,1}}
In[]:=
MakeImageCollection[ci23,{{0,0},{0,0}}];
In[]:=
Take[%176,10]
Out[]=
In[]:=
ParallelMapMonitored[WolframModelTest[#,{{0,0},{0,0}}]&,ci23];
In[]:=
First[%]
Out[]=
In[]:=
PicturesFromRules[ci23,{{0,0},{0,0}}]
One rule, one hyperedge
One rule, one hyperedge
In[]:=
ParallelMapMonitored[TotalCausalInvariantQ[{#},1]&,GetRules[{1,2}{2,2}]]
Out[]=
{True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True}
In[]:=
ParallelMapMonitored[TotalCausalInvariantQ[{#},2]&,GetRules[{1,2}{2,2}]]
Out[]=
{True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True}
In[]:=
ParallelMapMonitored[TotalCausalInvariantQ[{#},1]&,GetRules[{1,3}{2,3}]]
Out[]=
Two hyperedges
Two hyperedges
“Interesting rules”
“Interesting rules”