polyhedral ...