# hasGoodLeaf -- determines if a HyperGraph contains a good leaf

## Synopsis

• Usage:
b = hasGoodLeaf(H)
• Inputs:
• H, ,
• Outputs:
• b, , true if H contains an edge that is a good leaf

## Description

A good leaf of hypergraph H is an edge L whose intersections with all other edges form a totally ordered set. It follows that L must have a free vertex. In the graph setting, a good leaf is an edge containing a vertex of degree one. The notion of a good leaf was introduced by X. Zheng in her Ph.D. thesis (2004).

 i1 : R = QQ[a..g]; i2 : H = hyperGraph {b*c*d*e, a*b*c*d, c*d*f, d*g, e*f*g}; i3 : hasGoodLeaf(H) o3 = true i4 : getGoodLeaf(H) o4 = {a, b, c, d} o4 : List