id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,work_issues,upstream,reviewer,author,merged,dependencies,stopgaps
7571,use more dicts in graph.py,ylchapuy,rlm,"This patch improves 3 methods in graph.py:

 * connected_components: we use python set instead of lists to enable fast lookup
 * blocks_and_cut_vertices: using dicts instead of lists enable us to avoid relabeling
 * girth: idem",enhancement,closed,minor,sage-4.3,graph theory,fixed,,,,N/A,Robert Miller,Yann Laigle-Chapuy,sage-4.3.alpha1,,