Determines if a list of faces is a shelling order of the simplicial complex generated by the list.
Let S be the simplicial complex generated by the list of facets L. If S is pure, then definition III.2.1 in [St] is used. That is, L1, .., Ln is a shelling order of S if the difference in the j-th and j-1-th subcomplex has a unique minimal face, for 2 ≤j ≤n.
i1 : R = QQ[a..e]; |
i2 : isShelling {a*b*c, b*c*d, c*d*e} o2 = true |
i3 : isShelling {a*b*c, c*d*e, b*c*d} o3 = false |