polyhedral region