Checks whether F and G are equal.
i1 : K=QQ;
i2 : R=K[x_0..x_4];
i3 : F=face {x_0,x_1} o3 = x x 0 1 o3 : face with 2 vertices
i4 : G=face {x_1,x_0} o4 = x x 1 0 o4 : face with 2 vertices
i5 : F==G o5 = true