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.