next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

Complex == Complex -- Compare two complexes.

Synopsis

Description

Checks whether C1 and C2 are equal.

i1 : K=QQ;
i2 : R=K[x_0..x_4];
i3 : C1=complex {face {x_1,x_2},face {x_2,x_3}}

o3 = {x  x  , x  x  }
       1  2    2  3

o3 : complex with 2 facets on the vertices x  x  x  x  x  
                                            0  1  2  3  4
i4 : C2=complex {face {x_2,x_3},face {x_2,x_1}}

o4 = {x  x  , x  x  }
       2  3    2  1

o4 : complex with 2 facets on the vertices x  x  x  x  x  
                                            0  1  2  3  4
i5 : C3=complex {face {x_1,x_2},face {x_2,x_4}}

o5 = {x  x  , x  x  }
       1  2    2  4

o5 : complex with 2 facets on the vertices x  x  x  x  x  
                                            0  1  2  3  4
i6 : C1==C2

o6 = true
i7 : C1==C3

o7 = false

See also

  • Face -- The class of faces of simplicial complexes.
  • face -- Generate a face.
  • Complex -- The class of all simplicial complexes.