This function lists all vertices of a tree. Each vertex is specified by the partition of the set of leaves formed by removing the vertex. Each partition is given as a list of sets.
|
|
|
The leaves of T in the output of vertices have a different representation from the one in the output of leaves(LeafTree).