Hi, I very much like the gcf and scf option but I'm struggling to understand exactly which gene trees would be considered both decisive and concordant.
Suppose I have a branch in the species tree with four clades around it, each containing four taxa, {A1,A2,A3,A4 ∪ B1.B2,B3B4}|{C1,C2,C3,C4 ∪ D1,D2,D3,D4}. Now,as I understand from the explanation, a gene tree is "decisive" for this branch if all these four clades A,B,C and D are non-empty. And a concardant gene tree has the same bipartition of these clades as the species tree.
However, what if a genetree has a topology that mixes taxa from the clades, so that, for example, the new topology is {A1,A2,C1,C2 ∪ B1.B2,B3,B4}|{C3,C4,A3,A4 ∪ D1,D2,D3,D4}? Is this topology concordant or not with the species tree?
In general, my question is how are the clades defined and mapped between the species tree and gene tree when the taxa vary in presence and topological position?
Many thanks.