You are using a browser not supported by the Wolfram Cloud
Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.
I understand and wish to continue anyway »
WOLFRAM NOTEBOOK
In[]:=
allg1=Cases[Catenate[allres],(x_n_)/;n>1x]
Out[]=
In[]:=
findCanonicalCriticalPairs/@{{"AB""A","BA""ABB"},{"AB""A","BA""BAB"}}
Out[]=
{{{AA,AA},{AA,AABB},{AABB,AABB},{ABBB,ABBB},{ABBB,BA},{BA,BA}},{{AA,AA},{AA,ABAB},{ABAB,ABAB},{BA,BA},{BA,BABB},{BABB,BABB}}}
In[]:=
MultiwaySystem[{"AB""A","BA""BAB"},{"BA","BABB"},4,"EvolutionGraph"]
Out[]=
MultiwaySystem[{"AB""A","BA""BAB"},{"BA","BABB"},4,"EvolutionGraph"]
ParallelMapMonitored[#TimeConstrained[Do[If[TotalCausalInvariantQ[#,t],Return[t]],{t,7}],2]&,EnumerateSubstitutionSystemRules[Echo@#,2]]&/@Drop[allsigs,20]
In[]:=
Function[r,r(#->Do[If[ConvergentCriticalPairQ[r,#,t],Return[t]],{t,7}])&/@DeleteCases[findCanonicalCriticalPairs[r],{x_,x_}]]/@allg1
Out[]=