extension of a polyhedron