Polyhedron algorithms have been refactored and updated. See README for
the current status.