next | previous | forward | backward | up | top | index | toc | Macaulay2 website
EdgeIdeals :: HyperGraph == HyperGraph

HyperGraph == HyperGraph -- equality

Synopsis

Description

This function determines if two HyperGraphs are mathematically equal. Two HyperGraphs are equal if they are defined over the same ring, have the same variables, and have the same set of edges. In particular, the order of the edges and the order of variables within each edge do not matter.

i1 : R = QQ[a..f];
i2 : g = hyperGraph {{a,b,c},{b,c,d},{d,e,f}};
i3 : h = hyperGraph {{b,c,d},{a,b,c},{f,e,d}};
i4 : k = hyperGraph {{a,b},{b,c,d},{d,e,f}};
i5 : g == h

o5 = true
i6 : g == k

o6 = false