The pure and non-pure cases are handled separately. If S is pure, then definition III.2.1 in [St] is used. That is, S is shellable if its facets can be ordered F1, ..., Fn so that the difference in the j-th and j-1-th subcomplex has a unique minimal face, for 2 ≤j ≤n.
i1 : R = QQ[a..f]; |
i2 : isShellable simplicialComplex {a*b*c*d*e} o2 = true |
i3 : isShellable simplicialComplex {a*b*c, c*d*e} o3 = false |
i4 : isShellable simplicialComplex {a*b*c, b*c*d, c*d*e} o4 = true |
i5 : isShellable simplicialComplex {a*b*c, c*d, d*e, e*f, d*f} o5 = true |
i6 : isShellable simplicialComplex {a*b*c, c*d, d*e*f} o6 = false |