Expansion

Expansion is an operator that converts a polytope's vertices into facets.