This function enumerates all possible homeomorphically-reduced trees (no degree-2 vertices) with n leaves labeled by $0,\ldots, n-1$, including all possible labelings. The trees are represented as objects of class LeafTree.
i1 : L = labeledTrees 4 o1 = {{{0, 1, 2, 3}, {set {1, 2}, set {0}, set {1}, set {2}, set {3}}}, {{0, ------------------------------------------------------------------------ 1, 2, 3}, {set {1, 3}, set {0}, set {1}, set {2}, set {3}}}, {{0, 1, 2, ------------------------------------------------------------------------ 3}, {set {2, 3}, set {0}, set {1}, set {2}, set {3}}}, {{0, 1, 2, 3}, ------------------------------------------------------------------------ {set {0}, set {1}, set {2}, set {3}}}} o1 : List |
The object labeledTrees is a method function.