ported Polyhedron_Copy.