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

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

i2 : g = graph {a*b,b*c,c*d,d*e,e*a} -- the 5-cycle

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

o2 : Graph

i3 : independenceComplex g

o3 = | ce be bd ad ac |

o3 : SimplicialComplex

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

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

o4 : HyperGraph

i5 : independenceComplex h

o5 = | bce ace abe acd abd |

o5 : SimplicialComplex

i6 : S = QQ[a..e];

i7 : g = graph {a*b,b*c,a*c,d*e,a*e}

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

o7 : Graph

i8 : Delta1 = independenceComplex g

o8 = | ce be cd bd ad |

o8 : SimplicialComplex

i9 : Delta2 = simplicialComplex edgeIdeal g

o9 = | ce be cd bd ad |

o9 : SimplicialComplex

i10 : Delta1 == Delta2

o10 = true

i11 :