Dependency Graph for polyhedra 0.4.0