F = facePoset D
The face poset of a SimplicialComplex is the poset of faces with partial ordering given by inclusion.
i1 : R = QQ[a..d];
i2 : facePoset simplicialComplex {a*b*c, c*d} o2 = Relation Matrix: | 1 1 1 1 1 1 1 1 1 1 | | 0 1 0 0 0 1 1 0 0 1 | | 0 0 1 0 0 1 0 1 0 1 | | 0 0 0 1 0 0 1 1 1 1 | | 0 0 0 0 1 0 0 0 1 0 | | 0 0 0 0 0 1 0 0 0 1 | | 0 0 0 0 0 0 1 0 0 1 | | 0 0 0 0 0 0 0 1 0 1 | | 0 0 0 0 0 0 0 0 1 0 | | 0 0 0 0 0 0 0 0 0 1 | o2 : Poset
The object facePoset is a method function.