In[]:=
Graph[ResourceFunction["MultiwayFunctionSystem"][Values[substitutionLemmas[#,x_∘y_<->(y_∘x_)∘y_]]&,(a∘b)∘a,2,"BranchialGraph"]]
Out[]=
In[]:=
Graph[ResourceFunction["MultiwayFunctionSystem"][Values[substitutionLemmas[#,x_∘y_<->(y_∘x_)∘y_]]&,(a∘b)∘a,3,"BranchialGraph"]]
Out[]=
In[]:=
Graph[ResourceFunction["MultiwayFunctionSystem"][Values[substitutionLemmas[#,x_∘y_<->(y_∘x_)∘y_]]&,(a∘b)∘a,4,"BranchialGraphStructure"]]
Out[]=
In[]:=
bbgg=Graph[ResourceFunction["MultiwayFunctionSystem"][Values[substitutionLemmas[#,x_∘y_<->(y_∘x_)∘y_]]&,(a∘b)∘a,5,"BranchialGraphStructure"]]
Out[]=
In[]:=
bbgg6=Graph[ResourceFunction["MultiwayFunctionSystem"][Values[substitutionLemmas[#,x_∘y_<->(y_∘x_)∘y_]]&,(a∘b)∘a,6,"BranchialGraphStructure"]]
Out[]=
In[]:=
Graph3D[%]
Out[]=
In[]:=
Graph[bbgg,VertexSize->(#->.3LeafCount[ToExpression[#]]&/@VertexList[bbgg])]
Out[]=
In[]:=
Graph[bbgg,VertexSize->(#->Sqrt[LeafCount[ToExpression[#]]]&/@VertexList[bbgg])]
Out[]=
Accumulative Evolution
Accumulative Evolution
Simpler rule
Simpler rule