Add polyhedral projection inverse.