Macaulay2 » Documentation
Packages » Posets :: facePoset
next | previous | forward | backward | up | index | toc

facePoset -- generates the face poset of a simplicial complex

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

See also

Ways to use facePoset:

  • facePoset(SimplicialComplex)

For the programmer

The object facePoset is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Posets.m2:3542:0.