In[]:=
MultiwaySystem[{"A""B","B""A"},"AAA",2,"BranchialGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""AB","B""A"},"AA",3,"BranchialGraph"]
Out[]=
This is a squashed version of critical pair ancestry....
In[]:=
MultiwaySystem[{"BA""AB"},"BBBAAA",3,"BranchialGraph"]
Out[]=
MultiwaySystem[{"BA""AB"},"BBBAAA",3,"BranchialGraph"]
In[]:=
MultiwaySystem[{"A""AB","B""A"},"AA",4,"BranchialGraph"]
Out[]=
In[]:=
VertexList[%]
Out[]=
{AAAA,AAABB,AABAB,AABBA,ABAAB,ABABA,ABBAA,AABBBB,ABABBB,ABBABB,ABBBAB,ABBBBA}
In[]:=
DistanceMatrix[%395,DistanceFunctionEditDistance]
Out[]=
In[]:=
GraphDistanceMatrix
//Normal
Out[]=
In[]:=
MatrixPlot/@{%399,%397}
Out[]=
In[]:=
MultiwaySystem[{"A""B"},"AAAAA",2,"BranchialGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""B"},"AAAAA",1,"BranchialGraph"]
Out[]=
In[]:=
MatrixPlot[GraphDistanceMatrix[%]]
Out[]=
In[]:=
DistanceMatrix[VertexList[MultiwaySystem[{"A""B"},"AAAAA",2,"BranchialGraph"]],DistanceFunctionEditDistance]
Out[]=
Ultrametric spaces???
Edges could be labeled with predecessors