activated polyhedral export