The 3-dimensional sphere has a unique minimal nonface which corresponds to the interior.
i1 : R = ZZ[a..e]; |
i2 : sphere = simplicialComplex monomialIdeal(a*b*c*d*e) o2 = | bcde acde abde abce abcd | o2 : SimplicialComplex |
i3 : facets sphere o3 = | bcde acde abde abce abcd | 1 5 o3 : Matrix R <--- R |
i4 : D = simplicialComplex {e, c*d, b*d, a*b*c, a*b, c} o4 = | e cd bd abc | o4 : SimplicialComplex |
i5 : facets D o5 = | e cd bd abc | 1 4 o5 : Matrix R <--- R |
The object facets is a method function with options.