edgeContract -- Contracts an edge of a tree

Synopsis

• Usage:

  U = edgeContract(T,e)

  U = edgeContract(T,E)

• Inputs:
  • T, an instance of the type LeafTree, A tree
  • e, a set, An edge specified by the set of leaves on one side of it
  • E, a list, An edge specified by a list of the leaves on one side of it
• Outputs:
  • U, an instance of the type LeafTree, The tree obtained from T by contracting the specified edge

Description

i1 : T = leafTree(4,{{0,1}})

o1 = {{0, 1, 2, 3}, {set {0, 1}, set {0}, set {1}, set {2}, set {3}}}

o1 : LeafTree

i2 : edgeContract(T, set {0,1})

o2 = {{0, 1, 2, 3}, {set {0}, set {1}, set {2}, set {3}}}

o2 : LeafTree