“Facet” separation with one linear program