Implement Polyhedron.fromstring