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[]:=
gxx=MultiwayRulesNestGraph[x_∘y_<->(y_∘x_)∘y_,(a∘b)∘a,7];
GraphDistanceMatrix[]
VertexList[gxx,]
Find cases that are small but far from root
Axiom Systems in the Wild
Axiom Systems in the Wild
In[]:=
Union[Sort/@canonicalizePatterns/@(TwoWayRule@@@Tuples[(Flatten[Groupings[#,SmallCircle->2]&/@Table[Tuples[{a,b},n],{n,3}]]/.{a->a_,b->b_}),2])]
Out[]=
In[]:=
AccumulativeTokenEventGraph[#,1,"TokenLabeling"->False,GraphLayout->"SpringElectricalEmbedding"]&/@%192
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
ATP
ATP
Hanoi
Hanoi
Groups
Groups
Cosubstitution
Cosubstitution
all cats are black
Proof Topology
Proof Topology
Lists of positions of disks, from largest to smallest
Causal Graphs
Causal Graphs
From spec
From spec
Metamathematical Phenomenology
Metamathematical Phenomenology