# facePoset -- generates the face poset of a simplicial complex

## Synopsis

• Usage:
F = facePoset D
• Inputs:
• D, ,
• Outputs:
• F, an instance of the type Poset,

## Description

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