In[]:=
ResourceFunction["TokenEventGraph"][{{u_,v_}:>Values[substitutionLemmas[u,v,"Uniquify"->True,"Canonicalize"->True]]},{a_∘b_<->b_},3,"EventDeduplication"->True,"TokenLabeling"->False,"TokenMultiplicity"->Automatic,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->1/3]
Out[]=
In[]:=
vlist=VertexList
;
In[]:=
Histogram[LeafCount/@(vlist/.p_Pattern:>First[p]),{1}]
Out[]=
In[]:=
Counts[LeafCount/@(vlist/.p_Pattern:>First[p])]
Out[]=
52,31,75,1141,911,15355,1349,191798,4497
In[]:=
TakeLargestBy[(vlist/.p_Pattern:>First[p]),LeafCount,5]
Out[]=
{a∘bc∘(d∘(e∘(f∘(g∘((h∘i)∘b))))),a∘bc∘(d∘(e∘(f∘(g∘(h∘(i∘b)))))),a∘bc∘(d∘(e∘(f∘((g∘(h∘i))∘b)))),a∘bc∘(d∘(e∘(f∘((g∘h)∘(i∘b))))),a∘bc∘(d∘(e∘(f∘(((g∘h)∘i)∘b))))}
In[]:=
LeafCount[a∘bc∘(d∘(e∘(f∘(g∘((h∘i)∘b)))))]
Out[]=
19
In[]:=
Level[a∘bc∘(d∘(e∘(f∘(g∘((h∘i)∘b))))),{-1}]
Out[]=
{a,b,c,d,e,f,g,h,i,b}
In[]:=
Length[%]
Out[]=
10
In[]:=
TakeLargestBy[vlist,LeafCount,1]
Out[]=
{a_∘b_c_∘(d_∘(e_∘(f_∘(g_∘(h_∘(i_∘b_))))))}
Out[]=
In[]:=
TakeLargestByVertexList
,_TwoWayRule,ByteCount,10
Out[]=
{AAAAAAABAAAAAAAB,AAAAAAABAAAAAAB,AAAAAAAABB,AAAAAAABAAB,AAAAAAABAAAB,AAAAAAABAAAAAB,AAAAAAAABAAAAB,AAAAAAABAB,AAAAAAABAAAAB,AAAAAAABB}
In[]:=
VertexList
,_TwoWayRule
Out[]=
{ABB,AABAB,AABB,ABAB,BB,AAAABAAB,AAAABB,AAABAAAB,AAABAAB,AAABAB,AAABB,AABAAB,ABAAAB,ABAAB,BAAB,BAB,AAAAAAAABAAAAB,AAAAAAAABB,AAAAAAABAAAAAAAB,AAAAAAABAAAAAAB,AAAAAAABAAAAAB,AAAAAAABAAAAB,AAAAAAABAAAB,AAAAAAABAAB,AAAAAAABAB,AAAAAAABB,AAAAAABAAAAAAB,AAAAAABAAAAAB,AAAAAABAAAAB,AAAAAABAAAB,AAAAAABAAB,AAAAAABAB,AAAAAABB,AAAAABAAAAAAAB,AAAAABAAAAAAB,AAAAABAAAAAB,AAAAABAAAAB,AAAAABAAAB,AAAAABAAB,AAAAABAB,AAAAABB,AAAABAAAAAAB,AAAABAAAAAB,AAAABAAAAB,AAAABAAAB,AAAABAB,AAABAAAAAAAB,AAABAAAAAAB,AAABAAAAAB,AAABAAAAB,AABAAAAAAB,AABAAAAAB,AABAAAAB,AABAAAB,ABAAAAAAAB,ABAAAAAAB,ABAAAAAB,ABAAAAB,BAAAAAAB,BAAAAAB,BAAAAB,BAAAB}
In[]:=
ResourceFunction["TokenEventGraph"][{{u_,v_}:>Values[substitutionLemmas[u,v,"Uniquify"->True,"Canonicalize"->True]]},{a·b<->b},3,"TokenLabeling"->False,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,AspectRatio->.8]
Out[]=
In[]:=
ResourceFunction["TokenEventGraph"][{{u_,v_}:>Values[substitutionLemmas[u,v,"Uniquify"->True,"Canonicalize"->True]]},{a∘b<->b},3,"TokenLabeling"->False,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,AspectRatio->.8]
Out[]=
In[]:=
ResourceFunction["TokenEventGraph"][{{u_,v_}:>Values[substitutionLemmas[u,v,"Uniquify"->True,"Canonicalize"->True]]},{a∘b<->b},1,"TokenLabeling"->True,"TokenMultiplicity"->Automatic,"EventDeduplication"->False,AspectRatio->.8]
Out[]=
In[]:=
ResourceFunction["TokenEventGraph"][{{u_,v_}:>Values[substitutionLemmas[u,v,"Uniquify"->True,"Canonicalize"->True]]},{a∘b<->b},2,"TokenLabeling"->True,"TokenMultiplicity"->Automatic,"EventDeduplication"->False,AspectRatio->.8]