cosimplex simplex subsimplex n-simplex simplexity simplicial complex flag complex polyconvexity polytope demihypercube