hypersimplex simplex n-simplex cosimplex simplexity simplicial complex flag complex archimedean solid subhypergraph duoprism