A poset which is shellable but not lexicographically shellable (Q1066923)

For those interested in shellability questions the example provided in this paper is that of a regular CW-complex which is not shellable, but whose barycentric subdivision is shellable. This is one of several recent important examples showing that shellable posets need not be lexicographically shellable. The author provides a decomposition of \(K=[0,4]^ 3\) into the union of three maximal cells whose pairwise intersections are disconnected and whose barycentric subdivision admits a shelling obtained after a computer search and which is not presented in the (short) paper under review. Altogether the approach described constitutes an interesting blend of theory, geometric tailoring and an application of the computer to replace and in some way improve upon mere pencil-and-paper efforts subject to the pains and errors thereof.