simplex subsimplex cosimplex simplexity hypersimplex simplicial complex n space hypersurface nestohedron flag complex