facePoset -- generates the face poset of a simplicial complex

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