In[]:=
HypergraphPlot[Map[Hash,#,{2}],ImageSizeTiny]&/@NestList[SubsetReplace[#,z:{{x_,y_}}->Sequence[{x,y},{x,z}]]&,{{1,1}},4]
Out[]=
In[]:=
Graph[Rule@@@#,GraphLayout"SpringElectricalEmbedding"]&/@(NestList[SubsetReplace[#,z:{e[{x_,y_},lab_]}->Sequence[e[{x,y},{z,1}],e[{x,z},{z,2}]]]&,{e[{1,1},0]},4]/.e[x_,y_]x)
Out[]=
In[]:=
Graph[Rule@@@#,GraphLayout"SpringElectricalEmbedding"]&/@(NestList[SubsetReplace[#,z:{e[{x_,y_},lab_]}->Sequence[e[{x,y},{z,1}],e[{y,z},{z,2}]]]&,{e[{1,2},0]},4]/.e[x_,y_]x)
Out[]=
Graph[Rule@@@#,GraphLayout"SpringElectricalEmbedding"]&/@(NestList[SubsetReplace[#,z:{{{x_,y_},_}}->Sequence[{{x,y},{z,1}},e[{y,z},{z,2}]]]&,{e[{1,2},0]},4]/.e[x_,y_]x)
In[]:=
NestList[SubsetReplace[#,{{{x_,y_},e_}}->Sequence[{{x,y},{e,1}},{{y,{e}},{e,2}}]]&,{{{1,2},0}},4]
Out[]=
In[]:=
Map[#[[1]]&,#,{1}]&/@NestList[SubsetReplace[#,{f[{x_,y_},e_]}->Sequence[f[{x,y},{e,1}],f[{y,e},{e,2}]]]&,{f[{1,2},0]},4]
Out[]=
In[]:=
Graph[Rule@@@#]&/@%
Out[]=
In[]:=
Last[%216]
Out[]=
In[]:=
%[[-1,1]]
Out[]=
{{0,2},2}
In[]:=
Map[#[[1]]&,#,{1}]&/@NestList[SubsetReplace[#,{f[{x_,y_},e_]}:>Sequence[f[{x,y},Append[e,1]],f[{y,e},Append[e,2]]]]&,{f[{1,2},{}]},4]
Out[]=
In[]:=
NestList[SubsetReplace[#,{f[{x_,y_},e_]}:>Sequence[f[{x,y},Append[e,1]],f[{y,e},Append[e,2]]]]&,{f[{a,b},{}]},4]
Out[]=
Map[#[[1]]&,#,{1}]&/@NestList[SubsetReplace[#,{f[{x_,y_},e_]}:>Sequence[f[{x,y},Append[e,1]],f[{y,e},Append[e,2]]]]&,{f[{1,2},{}]},4]
In[]:=
Map[#[[1]]&,#,{1}]&/@NestList[SubsetReplace[#,{f[{x_,y_},e1_],f[{y_,z_},e2_]}:>Sequence[f[{z,y},{e1,e2,1}],f[{y,z},{e1,e2,2}],f[{z,{e1,e2,0}},{e1,e2,3}],f[{x,{e1,e2,0}},{e1,e2,4}]]]&,{f[{a,a},{1}],f[{a,a},{2}]},6]
Out[]=
In[]:=
Graph[Rule@@@#,GraphLayout"SpringElectricalEmbedding"]&/@%
Out[]=