-- -*- M2-comint -*- {* hash: -68808621 *}

i1 : S = QQ[a..f];

i2 : t = graph {a*b,a*c,a*e}

o2 = Graph{edges => {{a, b}, {a, c}, {a, e}}}
           ring => S
           vertices => {a, b, c, d, e, f}

o2 : Graph

i3 : isForest t

o3 = true

i4 : h = hyperGraph {a*b*c,c*d*e,b*d*f}

o4 = HyperGraph{edges => {{a, b, c}, {c, d, e}, {b, d, f}}}
                ring => S
                vertices => {a, b, c, d, e, f}

o4 : HyperGraph

i5 : isForest h

o5 = false

i6 :