facePoset -- generates the face poset of a simplicial complex

Usage:

F = facePoset D
Inputs:
- D, an abstract simplicial complex,
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

Ways to use facePoset:

facePoset(SimplicialComplex)

For the programmer

The object facePoset is a method function.

The source of this document is in Posets.m2:3542:0.

facePoset -- generates the face poset of a simplicial complex

Description

See also

Ways to use facePoset:

For the programmer