HyperGraph == HyperGraph -- equality

Synopsis

Operator: ==
Usage:

g == h
Inputs:
- g, a hypergraph,
- h, a hypergraph,
Outputs:
- b, a Boolean value, 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

Ways to use this method: