Parallel Redundancy Removal in lrslib with Application to Projections

David Avis, Charles Jordan

We describe a parallel implementation in lrslib for removing redundant halfspaces and finding a minimum representation for an H-representation of a convex polyhedron. By a standard…