HyperGraph == HyperGraph -- equality

Synopsis

• Operator: ==
• Usage:
g == h
• Inputs:
• g, ,
• h, ,
• Outputs:
• b, , true if g and h are equal

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