truncation

operation that cuts polytope vertices, creating a new facet in place of each vertex