next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
RandomIdeals :: isShelling

isShelling -- determines whether a list represents a shelling of a simplicial complex.

Synopsis

Description

An ordering F1,..Fd of the facets of a simplicial complex P is shellable if (F1 ∪.. ∪Fk-1) ∩Fk is pure of dimFk -1 for all k = 2,..,d. Determines if a list of faces is a shelling order of the simplicial complex.

i1 : P = {{1, 2, 3}, {1, 2, 5}};
i2 : isShelling(P)

o2 = true
i3 : Q = {{1,2,3},{3,4,5},{2,3,4}};
i4 : isShelling(Q)

o4 = false

Ways to use isShelling :