In[]:=
MultiwaySystem[{"A""B","B""A"},"A",5,"CausalGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""B","B""A"},"A",5,"EvolutionCausalGraph"]
Out[]=
In[]:=
TotalCausalInvariantQ[{"A""B","A""C","C""A"},2]
Out[]=
True
In[]:=
MultiwaySystem[{"A""B","A""C","C""A"},"A",5,"CausalGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""B","A""C","C""A","C""D"},"A",5,"CausalGraph"]
Out[]=
In[]:=
TotalCausalInvariantQ[{"A""B","A""C","C""A","C""D"},4]
Out[]=
True
In[]:=
MultiwaySystem[{"A""B","A""C","C""A","C""D"},"A",5,"EvolutionEventsGraph"]
Out[]=
In[]:=
sigs[n_]:=DeleteDuplicates[Sort/@((Rule@@@Partition[#,2])&/@Catenate[Permutations@*Reverse/@Select[IntegerPartitions[n],EvenQ@*Length]])]
In[]:=
Catenate[EnumerateSubstitutionSystemRules[#,2]&/@sigs[2]]
Out[]=
{{AA},{AB}}
In[]:=
MultiwaySystem[{"A""B","A""C","C""A"},"A",5,"StatesGraph"]
Out[]=
Catenate[EnumerateSubstitutionSystemRules[#,2]&/@sigs[2]]
In[]:=
MultiwaySystem[{"A""B","AB""AA"},"AB",6,"CausalGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""B","AB""AA"},"AB",6,"StatesGraph"]
Out[]=
These are global CTCs...
These are global CTCs...