edgeContract -- contract an edge of a tree

Synopsis

• Usage:

  edgeContract(T,e)

  edgeContract(T,E)

• Inputs:
  • T, an instance of the type LeafTree,
  • 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:
  • an instance of the type LeafTree, 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