Polyhedral Set Operations